| 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 |
| Thu, 21 Feb 2008 11:50:28 +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 |
| Sun, 26 Jun 2005 15:05:36 +0200 |
all: JUnitTest TestModel added
|
file | diff | annotate |
| Thu, 23 Jun 2005 18:25:39 +0200 |
all: separate Model from CalcHead, intermediate
|
file | diff | annotate |
| Fri, 29 Apr 2005 15:16:51 +0200 |
java: DGuide implements IToCalc NOTANYMORE, DialogGuide cleaned from IToCalc-methods
|
file | diff | annotate |
| Fri, 04 Feb 2005 14:22:17 +0100 |
java: CalcFormula extends Formula with Position
|
file | diff | annotate |
| Fri, 27 Aug 2004 14:58:35 +0200 |
*** empty log message ***
|
file | diff | annotate |
| Fri, 20 Aug 2004 15:03:33 +0200 |
*** empty log message ***
|
file | diff | annotate |
| Tue, 27 Jan 2004 09:17:56 +0100 |
*** empty log message ***
|
file | diff | annotate |