utils
18 years ago(no commit message)
erik [Sat, 25 Mar 2006 18:52:16 +0000 (18:52 +0000)]

18 years ago(no commit message)
erik [Sat, 25 Mar 2006 18:16:13 +0000 (18:16 +0000)]

18 years ago(no commit message)
erik [Sat, 25 Mar 2006 18:02:05 +0000 (18:02 +0000)]

18 years agoCorrected sorting of programs.
erik [Sat, 25 Mar 2006 17:43:42 +0000 (17:43 +0000)]
Corrected sorting of programs.

18 years agoPrograms for which there was already an attempt to record them will no
erik [Fri, 24 Mar 2006 13:26:47 +0000 (13:26 +0000)]
Programs for which there was already an attempt to record them will no
longer be mentioned as interesting.

18 years ago(no commit message)
erik [Fri, 24 Mar 2006 11:07:30 +0000 (11:07 +0000)]

18 years ago(no commit message)
erik [Thu, 23 Mar 2006 21:52:51 +0000 (21:52 +0000)]

18 years agoAdded priority mechanism.
erik [Thu, 23 Mar 2006 20:18:45 +0000 (20:18 +0000)]
Added priority mechanism.
Corrected stylesheets to deal with recording conflicts as well, this
status was missing.

18 years agosome extra logging.
erik [Wed, 22 Mar 2006 22:00:54 +0000 (22:00 +0000)]
some extra logging.

18 years ago(no commit message)
erik [Wed, 22 Mar 2006 21:53:58 +0000 (21:53 +0000)]

18 years ago(no commit message)
erik [Wed, 22 Mar 2006 21:36:11 +0000 (21:36 +0000)]

18 years ago(no commit message)
erik [Tue, 21 Mar 2006 22:38:58 +0000 (22:38 +0000)]

18 years ago(no commit message)
erik [Tue, 21 Mar 2006 22:30:56 +0000 (22:30 +0000)]

18 years agocheckstyle and checkdoc are now ok.
erik [Tue, 21 Mar 2006 21:51:33 +0000 (21:51 +0000)]
checkstyle and checkdoc are now ok.

18 years ago(no commit message)
erik [Tue, 21 Mar 2006 21:31:37 +0000 (21:31 +0000)]

18 years ago(no commit message)
erik [Tue, 21 Mar 2006 19:14:04 +0000 (19:14 +0000)]

18 years agorestructuring into packages.
erik [Tue, 21 Mar 2006 18:59:16 +0000 (18:59 +0000)]
restructuring into packages.

18 years ago(no commit message)
erik [Tue, 21 Mar 2006 18:47:55 +0000 (18:47 +0000)]

18 years ago(no commit message)
erik [Tue, 21 Mar 2006 18:38:40 +0000 (18:38 +0000)]

18 years ago(no commit message)
erik [Tue, 21 Mar 2006 18:13:51 +0000 (18:13 +0000)]

18 years ago(no commit message)
erik [Tue, 21 Mar 2006 16:09:01 +0000 (16:09 +0000)]

18 years ago(no commit message)
erik [Tue, 21 Mar 2006 15:43:05 +0000 (15:43 +0000)]

18 years ago(no commit message)
erik [Tue, 21 Mar 2006 15:40:27 +0000 (15:40 +0000)]

18 years ago(no commit message)
erik [Sun, 19 Mar 2006 23:09:34 +0000 (23:09 +0000)]

18 years ago(no commit message)
erik [Sun, 19 Mar 2006 23:00:33 +0000 (23:00 +0000)]

18 years ago(no commit message)
erik [Sun, 19 Mar 2006 20:12:50 +0000 (20:12 +0000)]

18 years ago(no commit message)
erik [Sun, 19 Mar 2006 20:11:54 +0000 (20:11 +0000)]

18 years ago(no commit message)
erik [Sun, 19 Mar 2006 12:40:22 +0000 (12:40 +0000)]

18 years ago(no commit message)
erik [Sun, 19 Mar 2006 00:44:19 +0000 (00:44 +0000)]

18 years ago(no commit message)
erik [Sat, 18 Mar 2006 12:10:50 +0000 (12:10 +0000)]

18 years ago(no commit message)
erik [Sat, 18 Mar 2006 11:51:51 +0000 (11:51 +0000)]

18 years ago(no commit message)
erik [Sat, 18 Mar 2006 11:18:34 +0000 (11:18 +0000)]

18 years ago(no commit message)
erik [Sat, 18 Mar 2006 11:17:07 +0000 (11:17 +0000)]

18 years agocheckstyleZZ
erik [Fri, 17 Mar 2006 23:22:35 +0000 (23:22 +0000)]
checkstyleZZ

18 years agocheckstyle
erik [Fri, 17 Mar 2006 22:57:21 +0000 (22:57 +0000)]
checkstyle

18 years ago(no commit message)
erik [Fri, 17 Mar 2006 22:53:04 +0000 (22:53 +0000)]

18 years ago(no commit message)
erik [Fri, 17 Mar 2006 22:50:39 +0000 (22:50 +0000)]

18 years ago(no commit message)
erik [Fri, 17 Mar 2006 22:44:29 +0000 (22:44 +0000)]

18 years ago(no commit message)
erik [Fri, 17 Mar 2006 21:38:26 +0000 (21:38 +0000)]

18 years ago(no commit message)
erik [Fri, 17 Mar 2006 21:38:00 +0000 (21:38 +0000)]

18 years ago(no commit message)
erik [Fri, 17 Mar 2006 21:37:44 +0000 (21:37 +0000)]

18 years ago(no commit message)
erik [Fri, 17 Mar 2006 21:25:29 +0000 (21:25 +0000)]

18 years ago(no commit message)
erik [Fri, 17 Mar 2006 21:24:11 +0000 (21:24 +0000)]

18 years ago(no commit message)
erik [Fri, 17 Mar 2006 21:24:03 +0000 (21:24 +0000)]

18 years ago(no commit message)
erik [Fri, 17 Mar 2006 19:31:07 +0000 (19:31 +0000)]

18 years ago(no commit message)
erik [Fri, 17 Mar 2006 18:52:58 +0000 (18:52 +0000)]

18 years ago(no commit message)
erik [Fri, 17 Mar 2006 18:49:49 +0000 (18:49 +0000)]

18 years ago(no commit message)
richard [Fri, 17 Mar 2006 18:05:41 +0000 (18:05 +0000)]

18 years ago(no commit message)
richard [Fri, 17 Mar 2006 18:05:03 +0000 (18:05 +0000)]

18 years ago(no commit message)
erik [Fri, 17 Mar 2006 09:49:54 +0000 (09:49 +0000)]

18 years ago(no commit message)
erik [Thu, 16 Mar 2006 22:56:47 +0000 (22:56 +0000)]

18 years ago(no commit message)
erik [Thu, 16 Mar 2006 21:54:50 +0000 (21:54 +0000)]

18 years ago(no commit message)
erik [Thu, 16 Mar 2006 21:53:22 +0000 (21:53 +0000)]

18 years ago(no commit message)
erik [Thu, 16 Mar 2006 21:52:59 +0000 (21:52 +0000)]

18 years ago(no commit message)
erik [Thu, 16 Mar 2006 21:52:45 +0000 (21:52 +0000)]

18 years ago(no commit message)
erik [Thu, 16 Mar 2006 19:01:03 +0000 (19:01 +0000)]

18 years ago(no commit message)
erik [Thu, 16 Mar 2006 19:00:51 +0000 (19:00 +0000)]

18 years ago(no commit message)
erik [Thu, 16 Mar 2006 19:00:30 +0000 (19:00 +0000)]

18 years ago(no commit message)
erik [Thu, 16 Mar 2006 18:59:36 +0000 (18:59 +0000)]

18 years ago(no commit message)
erik [Thu, 16 Mar 2006 18:59:11 +0000 (18:59 +0000)]

18 years ago(no commit message)
erik [Thu, 16 Mar 2006 18:58:33 +0000 (18:58 +0000)]

18 years ago(no commit message)
erik [Thu, 16 Mar 2006 18:58:08 +0000 (18:58 +0000)]

18 years ago(no commit message)
erik [Thu, 16 Mar 2006 18:57:48 +0000 (18:57 +0000)]

18 years ago(no commit message)
erik [Thu, 16 Mar 2006 18:57:03 +0000 (18:57 +0000)]

18 years ago(no commit message)
erik [Thu, 16 Mar 2006 18:56:43 +0000 (18:56 +0000)]

18 years ago(no commit message)
erik [Thu, 16 Mar 2006 18:56:17 +0000 (18:56 +0000)]

18 years ago(no commit message)
erik [Thu, 16 Mar 2006 18:55:55 +0000 (18:55 +0000)]

18 years ago(no commit message)
erik [Thu, 16 Mar 2006 18:55:33 +0000 (18:55 +0000)]

18 years ago(no commit message)
erik [Thu, 16 Mar 2006 18:55:19 +0000 (18:55 +0000)]

18 years ago(no commit message)
erik [Thu, 16 Mar 2006 18:54:36 +0000 (18:54 +0000)]

18 years ago(no commit message)
erik [Thu, 16 Mar 2006 18:53:49 +0000 (18:53 +0000)]

18 years ago(no commit message)
erik [Tue, 14 Mar 2006 21:56:16 +0000 (21:56 +0000)]

18 years ago(no commit message)
erik [Tue, 14 Mar 2006 21:55:54 +0000 (21:55 +0000)]

18 years ago(no commit message)
erik [Tue, 14 Mar 2006 21:55:19 +0000 (21:55 +0000)]

18 years ago(no commit message)
erik [Tue, 14 Mar 2006 21:06:53 +0000 (21:06 +0000)]

18 years ago(no commit message)
erik [Tue, 14 Mar 2006 20:57:18 +0000 (20:57 +0000)]

18 years ago(no commit message)
erik [Tue, 14 Mar 2006 20:53:54 +0000 (20:53 +0000)]

18 years ago(no commit message)
erik [Tue, 14 Mar 2006 20:53:38 +0000 (20:53 +0000)]

18 years ago(no commit message)
erik [Tue, 14 Mar 2006 20:46:43 +0000 (20:46 +0000)]

18 years ago(no commit message)
erik [Tue, 14 Mar 2006 20:45:43 +0000 (20:45 +0000)]

18 years ago(no commit message)
erik [Tue, 14 Mar 2006 20:39:25 +0000 (20:39 +0000)]

18 years ago(no commit message)
erik [Tue, 14 Mar 2006 20:39:10 +0000 (20:39 +0000)]

18 years ago(no commit message)
erik [Tue, 14 Mar 2006 20:01:45 +0000 (20:01 +0000)]

18 years ago(no commit message)
erik [Tue, 14 Mar 2006 20:01:25 +0000 (20:01 +0000)]

18 years ago(no commit message)
erik [Tue, 14 Mar 2006 19:43:45 +0000 (19:43 +0000)]

18 years ago(no commit message)
erik [Tue, 14 Mar 2006 19:43:17 +0000 (19:43 +0000)]

18 years ago(no commit message)
erik [Tue, 14 Mar 2006 19:36:06 +0000 (19:36 +0000)]

18 years ago(no commit message)
erik [Thu, 9 Mar 2006 20:23:30 +0000 (20:23 +0000)]

18 years ago(no commit message)
erik [Thu, 9 Mar 2006 20:22:57 +0000 (20:22 +0000)]

18 years ago(no commit message)
erik [Thu, 9 Mar 2006 20:22:30 +0000 (20:22 +0000)]

18 years agopdfdoc target is now also working.
erik [Thu, 9 Mar 2006 11:02:32 +0000 (11:02 +0000)]
pdfdoc target is now also working.

18 years ago(no commit message)
erik [Thu, 9 Mar 2006 10:33:55 +0000 (10:33 +0000)]

18 years agodoccheck target now working.
erik [Thu, 9 Mar 2006 10:33:00 +0000 (10:33 +0000)]
doccheck target now working.

18 years ago(no commit message)
erik [Thu, 9 Mar 2006 10:32:41 +0000 (10:32 +0000)]

18 years agoinitial version of support project with build support.
erik [Thu, 9 Mar 2006 10:09:56 +0000 (10:09 +0000)]
initial version of support project with build support.

18 years ago(no commit message)
erik [Tue, 7 Mar 2006 09:47:21 +0000 (09:47 +0000)]