summaryrefslogtreecommitdiffstats
path: root/academic/acl2/acl2
blob: 65892c9f9e9b06af380bab1e01b5b205f6fb9c87 (plain) (blame) 
1
2
3
4

#!/bin/sh

export ACL2_SYSTEM_BOOKS=/opt/acl2/books/
/opt/acl2/saved_acl2 $@
generated by cgit v1.2.3 (git 2.26.2) at 2024-05-09 07:24:03 +0000