Commit Graph

2 Commits

Author SHA1 Message Date
seek3r
ad6f79028a added more details to acl2_tester.php 2003-01-13 11:29:41 +00:00
seek3r
1ca130b6b5 added acl2 testing script to help explain how it works 2003-01-12 20:20:16 +00:00