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, 29 Jul 2005 10:48:40 +0200 |
clean up authors and class-names belonging to the isac-admin
|
file | diff | annotate |
Fri, 04 Feb 2005 08:37:26 +0100 |
java + sml before inserting <POSITION> into <CALCFORM>
|
file | diff | annotate |
Fri, 25 Jun 2004 13:47:10 +0200 |
*** empty log message ***
|
file | diff | annotate |