Wed, 15 Jun 2005 18:31:02 +0200 | java: isac.util.tactics .. end renamed, formatted, inst_var_, import cleaned | file | diff | annotate |
Thu, 21 Feb 2008 16:48:59 +0100 | Tactic#showToBeginner theorems, finished. | 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 |
Fri, 25 Jun 2004 13:47:10 +0200 | *** empty log message *** | file | diff | annotate |