summarylogtreecommitdiffstats
path: root/acl2
blob: 636e5afd1d4cd9c25f770328f96b483ac890cb93 (plain)
1
2
3
#!/bin/sh

/opt/acl2/saved_acl2 $@