| 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 |
| Thu, 21 Feb 2008 14:19:57 +0100 | Tactic#showToBeginner theorems, intermed. | file | diff | annotate |
| Fri, 23 Feb 2007 09:54:37 +0100 | addedSerialVersionUID | file | diff | annotate |
| Wed, 29 Mar 2006 16:17:52 +0200 | corrected parse "Rewrite ("theorem","") for <tactic applied> | 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, 27 Aug 2004 14:58:35 +0200 | *** empty log message *** | file | diff | annotate |
| Fri, 25 Jun 2004 13:47:25 +0200 | *** empty log message *** | file | diff | annotate |