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