Thu, 07 May 2009 23:01:37 +0300 Automated merge with file:///srv/hg/admin-doc
Oleksandr Gavenko <gavenkoa@gmail.com> [Thu, 07 May 2009 23:01:37 +0300] rev 110
Automated merge with file:///srv/hg/admin-doc
Thu, 07 May 2009 23:01:30 +0300 Compile FFmpeg with AMR support.
Oleksandr Gavenko <gavenkoa@gmail.com> [Thu, 07 May 2009 23:01:30 +0300] rev 109
Compile FFmpeg with AMR support.
Thu, 07 May 2009 22:59:27 +0300 merge
Oleksandr Gavenko <gavenkoa@gmail.com> [Thu, 07 May 2009 22:59:27 +0300] rev 108
merge
Thu, 07 May 2009 12:50:06 +0300 About conf file.
Oleksandr Gavenko <gavenkoa@gmail.com> [Thu, 07 May 2009 12:50:06 +0300] rev 107
About conf file.
Tue, 05 May 2009 17:15:57 +0300 System timer and system time.
Oleksandr Gavenko <gavenkoa@gmail.com> [Tue, 05 May 2009 17:15:57 +0300] rev 106
System timer and system time.
Tue, 21 Apr 2009 12:19:58 +0300 merge
Oleksandr Gavenko <gavenkoa@gmail.com> [Tue, 21 Apr 2009 12:19:58 +0300] rev 105
merge
Tue, 21 Apr 2009 10:18:27 +0300 Automated merge with file:///srv/hg/admin-doc
Oleksandr Gavenko <gavenkoa@gmail.com> [Tue, 21 Apr 2009 10:18:27 +0300] rev 104
Automated merge with file:///srv/hg/admin-doc
Tue, 21 Apr 2009 10:18:15 +0300 About Doxygen.
Oleksandr Gavenko <gavenkoa@gmail.com> [Tue, 21 Apr 2009 10:18:15 +0300] rev 103
About Doxygen.
Thu, 16 Apr 2009 12:02:18 +0300 e.g., i.e.
Oleksandr Gavenko <gavenkoa@gmail.com> [Thu, 16 Apr 2009 12:02:18 +0300] rev 102
e.g., i.e.
Tue, 05 May 2009 22:59:44 +0300 Set timezone on Lenny.
Oleksandr Gavenko <gavenkoa@gmail.com> [Tue, 05 May 2009 22:59:44 +0300] rev 101
Set timezone on Lenny.
Mon, 20 Apr 2009 20:30:11 +0300 About virtualbox.
Oleksandr Gavenko <gavenkoa@gmail.com> [Mon, 20 Apr 2009 20:30:11 +0300] rev 100
About virtualbox.
Mon, 20 Apr 2009 20:05:18 +0300 CMD tricks.
Oleksandr Gavenko <gavenkoa@gmail.com> [Mon, 20 Apr 2009 20:05:18 +0300] rev 99
CMD tricks.
Mon, 20 Apr 2009 19:56:04 +0300 Copy repo from SourceForge to GoogleCode.
Oleksandr Gavenko <gavenkoa@gmail.com> [Mon, 20 Apr 2009 19:56:04 +0300] rev 98
Copy repo from SourceForge to GoogleCode.
Mon, 20 Apr 2009 19:27:58 +0300 Mounting ISO Images in Solaris.
Oleksandr Gavenko <gavenkoa@gmail.com> [Mon, 20 Apr 2009 19:27:58 +0300] rev 97
Mounting ISO Images in Solaris.
Mon, 20 Apr 2009 18:52:20 +0300 Setup gmail.
Oleksandr Gavenko <gavenkoa@gmail.com> [Mon, 20 Apr 2009 18:52:20 +0300] rev 96
Setup gmail.
Sat, 18 Apr 2009 16:28:24 +0300 Blogspot and Emacs.
Oleksandr Gavenko <gavenkoa@gmail.com> [Sat, 18 Apr 2009 16:28:24 +0300] rev 95
Blogspot and Emacs.
Sat, 18 Apr 2009 16:09:23 +0300 About HOL Light.
Oleksandr Gavenko <gavenkoa@gmail.com> [Sat, 18 Apr 2009 16:09:23 +0300] rev 94
About HOL Light.
Sat, 18 Apr 2009 12:46:29 +0300 merge
Oleksandr Gavenko <gavenkoa@gmail.com> [Sat, 18 Apr 2009 12:46:29 +0300] rev 93
merge
Sat, 18 Apr 2009 12:45:27 +0300 merge
Oleksandr Gavenko <gavenkoa@gmail.com> [Sat, 18 Apr 2009 12:45:27 +0300] rev 92
merge
Thu, 16 Apr 2009 10:46:54 +0300 merge
Oleksandr Gavenko <gavenkoa@gmail.com> [Thu, 16 Apr 2009 10:46:54 +0300] rev 91
merge
Thu, 16 Apr 2009 10:42:19 +0300 faq for thunderbird.
Oleksandr Gavenko <gavenkoa@gmail.com> [Thu, 16 Apr 2009 10:42:19 +0300] rev 90
faq for thunderbird.
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.
(0) -100 -50 -30 +30 +50 +100 +300 +1000 tip