Wed, 15 Jun 2005 18:31:02 +0200 | java: isac.util.tactics .. end renamed, formatted, inst_var_, import cleaned | file | diff | annotate |
Fri, 29 Jul 2005 10:48:40 +0200 | clean up authors and class-names belonging to the isac-admin | file | diff | annotate |
Sat, 05 Feb 2005 14:24:57 +0100 | sml + java: new CalcFormula (& CalcHead) | file | diff | annotate |
Tue, 23 Mar 2004 12:17:37 +0100 | *** empty log message *** | file | diff | annotate |