Mon, 13 Apr 2009 23:15:35 +0300 Oleksandr Gavenko Editor for css.
Sat, 18 Apr 2009 12:30:58 +0300 Oleksandr Gavenko Reformat and add CLI switches.
Thu, 16 Apr 2009 21:41:18 +0300 Oleksandr Gavenko About acl2.
Thu, 16 Apr 2009 21:27:12 +0300 Oleksandr Gavenko Conference & competition.
Thu, 16 Apr 2009 21:24:25 +0300 Oleksandr Gavenko pvs correction.
Thu, 16 Apr 2009 21:18:40 +0300 Oleksandr Gavenko About TPTP.
Wed, 15 Apr 2009 23:48:56 +0300 Oleksandr Gavenko Added spec link.
(0) -30 -10 -7 +7 +10 +30 +100 +300 +1000 tip