aboutsummaryrefslogtreecommitdiff
path: root/jobs
ModeNameSize
-rwxr-xr-xacl2-theorems.before170logplainabout
l---------acl2-theorems.develop.before -> ./acl2-theorems.before22logplainabout
l---------acl2-theorems.develop.run -> ./acl2-theorems.run19logplainabout
-rwxr-xr-xacl2-theorems.run217logplainabout
-rwxr-xr-xacl2-verify.run263logplainabout
l---------blackjack.develop.run -> blackjack.run13logplainabout
-rwxr-xr-xblackjack.run241logplainabout
-rwxr-xr-xbuild-acl2.run55logplainabout
-rwxr-xr-xcheck-backup-of-notebooks.run406logplainabout
-rwxr-xr-xdeploy-test-tojo-tokyo.run278logplainabout
-rwxr-xr-xdeploy-www-tojo-tokyo.run250logplainabout
-rwxr-xr-xguix-operate.run57logplainabout
-rw-r--r--guix-update.conf14logplainabout
-rwxr-xr-xguix-update.run183logplainabout
-rwxr-xr-xpull-cfg.run72logplainabout
-rwxr-xr-xsicp-acl2.before166logplainabout
l---------sicp-acl2.develop.before -> ./sicp-acl2.before18logplainabout
l---------sicp-acl2.develop.run -> ./sicp-acl2.run15logplainabout
-rwxr-xr-xsicp-acl2.run217logplainabout
l---------standard-52-card-deck.develop.run -> standard-52-card-deck.run25logplainabout
-rwxr-xr-xstandard-52-card-deck.run227logplainabout
generated by cgit v1.2.3 (git 2.46.0) at 2024-09-28 10:24:53 +0000