japod@localhost [Tue, 30 Sep 2008 13:42:03 +0200] rev 23
adding solution 13
japod@localhost [Tue, 30 Sep 2008 13:39:55 +0200] rev 22
finishing update of solution 06 to 1.5, removing 3 files
japod@localhost [Tue, 30 Sep 2008 12:24:45 +0200] rev 21
updating solution 06 to 1.5
japod@localhost [Tue, 30 Sep 2008 12:04:26 +0200] rev 20
updating solution 12 to 1.5
japod@localhost [Tue, 30 Sep 2008 12:01:18 +0200] rev 19
updating solution 11 to 1.5
japod@localhost [Tue, 30 Sep 2008 11:59:32 +0200] rev 18
updating solution 07 to 1.5
japod@localhost [Tue, 30 Sep 2008 11:50:09 +0200] rev 17
updating solution 04 to 1.5
japod@localhost [Tue, 30 Sep 2008 11:47:02 +0200] rev 16
solution 02 updated to 1.5
Jaroslav Tulach <jaroslav.tulach@apidesign.org> [Mon, 29 Sep 2008 13:40:19 +0200] rev 15
Making compilable
Jaroslav Tulach <jaroslav.tulach@apidesign.org> [Mon, 29 Sep 2008 06:31:19 +0200] rev 14
Base for the taskx - the verification infrastructure