Sat, 18 Apr 2009 12:30:58 +0300 Reformat and add CLI switches.
Oleksandr Gavenko <gavenkoa@gmail.com> [Sat, 18 Apr 2009 12:30:58 +0300] rev 86
Reformat and add CLI switches.
Thu, 16 Apr 2009 21:41:18 +0300 About acl2.
Oleksandr Gavenko <gavenkoa@gmail.com> [Thu, 16 Apr 2009 21:41:18 +0300] rev 85
About acl2.
(0) -30 -10 -2 +2 +10 +30 +100 +300 +1000 tip