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
Wed, 15 Apr 2009 00:21:45 +0300 Info about JavaScript.
Oleksandr Gavenko <gavenkoa@gmail.com> [Wed, 15 Apr 2009 00:21:45 +0300] rev 79
Info about JavaScript.
Mon, 13 Apr 2009 18:57:03 +0300 merge
Oleksandr Gavenko <gavenkoa@gmail.com> [Mon, 13 Apr 2009 18:57:03 +0300] rev 78
merge
Wed, 08 Apr 2009 21:06:41 +0300 merge
Oleksandr Gavenko <gavenkoa@gmail.com> [Wed, 08 Apr 2009 21:06:41 +0300] rev 77
merge
(0) -30 -10 -7 +7 +10 +30 +100 +300 +1000 tip