Thu, 16 Apr 2009 10:41:47 +0300 Top computer.
Oleksandr Gavenko <gavenkoa@gmail.com> [Thu, 16 Apr 2009 10:41:47 +0300] rev 89
Top computer.
Tue, 14 Apr 2009 17:09:59 +0300 Printer search.
Oleksandr Gavenko <gavenkoa@gmail.com> [Tue, 14 Apr 2009 17:09:59 +0300] rev 88
Printer search.
Mon, 13 Apr 2009 23:15:35 +0300 Editor for css.
Oleksandr Gavenko <gavenkoa@gmail.com> [Mon, 13 Apr 2009 23:15:35 +0300] rev 87
Editor for css.
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.
Thu, 16 Apr 2009 21:27:12 +0300 Conference & competition.
Oleksandr Gavenko <gavenkoa@gmail.com> [Thu, 16 Apr 2009 21:27:12 +0300] rev 84
Conference & competition.
Thu, 16 Apr 2009 21:24:25 +0300 pvs correction.
Oleksandr Gavenko <gavenkoa@gmail.com> [Thu, 16 Apr 2009 21:24:25 +0300] rev 83
pvs correction.
Thu, 16 Apr 2009 21:18:40 +0300 About TPTP.
Oleksandr Gavenko <gavenkoa@gmail.com> [Thu, 16 Apr 2009 21:18:40 +0300] rev 82
About TPTP.
Wed, 15 Apr 2009 23:48:56 +0300 Added spec link.
Oleksandr Gavenko <gavenkoa@gmail.com> [Wed, 15 Apr 2009 23:48:56 +0300] rev 81
Added spec link.
Wed, 15 Apr 2009 00:21:55 +0300 Automated merge with file:///srv/hg/admin-doc
Oleksandr Gavenko <gavenkoa@gmail.com> [Wed, 15 Apr 2009 00:21:55 +0300] rev 80
Automated merge with file:///srv/hg/admin-doc
(0) -10 +10 +100 +300 +1000 tip