src/java/isac/util/genhtml/GenHTML.java
Thu, 17 Jan 2008 16:27:03 +0100 start-work-070517 merged into HEAD
Thu, 22 Feb 2007 14:03:18 +0100 RK070222 property files added
Thu, 27 Jul 2006 18:38:26 +0200 NC060726: Small fixes :
Thu, 20 Jul 2006 18:05:12 +0200 RK060720 all the old stuff removed
Tue, 18 Jul 2006 12:14:39 +0200 RK 060718 is now able to deal with KEStoreKeys which do not end with .xml
Mon, 10 Jul 2006 14:13:07 +0200 RK 060710 creates theories now too
Tue, 14 Mar 2006 14:56:32 +0100 now generating the *_nomodel for the met-files
Sun, 26 Feb 2006 09:06:20 +0100 nomodel stylesheet
Thu, 23 Feb 2006 16:14:45 +0100 meeting ML (corrections) and NC (comments)
Thu, 23 Feb 2006 08:58:25 +0100 implemented the new paths
Wed, 22 Feb 2006 10:03:26 +0100 renamed KEStoreConstants --> KEStorePaths
Tue, 21 Feb 2006 15:51:22 +0100 fixed paths on KEStore
Thu, 16 Feb 2006 15:21:55 +0100 fixed path changed to my personal setting
Tue, 14 Feb 2006 08:53:01 +0100 encoding special characters for XML-parser
Fri, 10 Feb 2006 18:47:05 +0100 marked 'fixed path' for re-engineering
Wed, 01 Feb 2006 16:00:45 +0100 corrected use of encodeEntities
Wed, 28 Sep 2005 19:08:12 +0200 GenHTML is now working with the KEStore directly
Thu, 22 Sep 2005 11:21:06 +0200 implemented the error-log for xml-generation
Sun, 18 Sep 2005 11:09:48 +0200 removed the ".xml* in the generated files,
Fri, 29 Jul 2005 10:48:40 +0200 clean up authors and class-names belonging to the isac-admin
Wed, 13 Jul 2005 11:15:44 +0200 created Stylesheets for pbl and meth (for users and authors)
Mon, 04 Jul 2005 16:44:30 +0200 meetings with MK ML JL SR AG, preparing team-day 050706
Mon, 27 Jun 2005 15:01:06 +0200 MK: cosmetics
Fri, 24 Jun 2005 12:47:47 +0200 java: introduce tryMatch, tryRefine; intermediate 0
Mon, 20 Jun 2005 10:55:17 +0200 MK cosmetics
Mon, 20 Jun 2005 10:17:26 +0200 MK cosmetics
Thu, 02 Sep 2004 15:20:52 +0200 *** empty log message ***
Wed, 01 Sep 2004 15:47:40 +0200 *** empty log message ***
Mon, 30 Aug 2004 18:57:59 +0200 *** empty log message ***
Mon, 07 Jun 2004 20:32:54 +0200 *** empty log message ***
Mon, 07 Jun 2004 16:17:40 +0200 GenHTML takes one parameter for the destination to put the generated files to
Mon, 07 Jun 2004 08:44:23 +0200 initial genhtlm commit - creates static html-pages without the need ob the browser-servlet
Wed, 06 Jul 2005 11:27:02 +0200 ML: comitting after merge
Wed, 06 Jul 2005 11:20:15 +0200 ML: after merging
Wed, 06 Jul 2005 11:08:50 +0200 ML: implemented a testcase for generating a html-file out of ine xml-file
Thu, 30 Jun 2005 12:03:59 +0200 java GenHTML added a testline
Tue, 16 Oct 2007 11:41:16 +0200 de/encode for "<" and ">" (sml + java), intermediate state