Fri, 16 Jun 2006 17:11:02 +0200 |
wneuper |
NC tried to solve RMI-problems with isacserver at IST
|
changeset |
files
|
Fri, 16 Jun 2006 16:14:19 +0200 |
nsimic |
NC060616: formatting
|
changeset |
files
|
Fri, 16 Jun 2006 16:13:22 +0200 |
nsimic |
NC 060616:
|
changeset |
files
|
Fri, 16 Jun 2006 16:13:22 +0200 |
nsimic |
NC 060616:
|
changeset |
files
|
Fri, 16 Jun 2006 16:13:22 +0200 |
nsimic |
NC 060616:
|
changeset |
files
|
Fri, 09 Jun 2006 10:02:09 +0200 |
wneuper |
updated (last) TODOs for NC
|
changeset |
files
|
Thu, 08 Jun 2006 14:14:14 +0200 |
nsimic |
NC 060608
|
changeset |
files
|
Fri, 02 Jun 2006 10:51:18 +0200 |
wneuper |
README added for convenience
|
changeset |
files
|
Fri, 02 Jun 2006 09:41:48 +0200 |
wneuper |
the last typos and formatting before presentation
|
changeset |
files
|
Fri, 02 Jun 2006 08:38:06 +0200 |
wneuper |
cleaning up outcommented code
|
changeset |
files
|
Thu, 01 Jun 2006 23:07:05 +0200 |
mlang |
new version of the documentation
|
changeset |
files
|
Thu, 01 Jun 2006 23:07:05 +0200 |
mlang |
new version of the documentation
|
changeset |
files
|
Thu, 01 Jun 2006 23:07:05 +0200 |
mlang |
new version of the documentation
|
changeset |
files
|
Thu, 01 Jun 2006 23:07:05 +0200 |
mlang |
new version of the documentation
|
changeset |
files
|
Thu, 01 Jun 2006 23:07:05 +0200 |
mlang |
new version of the documentation
|
changeset |
files
|
Thu, 01 Jun 2006 23:07:04 +0200 |
mlang |
new version of the documentation
|
changeset |
files
|
Thu, 01 Jun 2006 19:25:12 +0200 |
wneuper |
new state in NCs work after meeting
|
changeset |
files
|
Mon, 29 May 2006 16:13:42 +0200 |
wneuper |
??? some update
|
changeset |
files
|
Mon, 29 May 2006 16:11:03 +0200 |
wneuper |
??? some update
|
changeset |
files
|
Mon, 29 May 2006 16:08:46 +0200 |
wneuper |
prepare ML finishing his Bakk
|
changeset |
files
|
Mon, 29 May 2006 16:08:46 +0200 |
wneuper |
prepare ML finishing his Bakk
|
changeset |
files
|
Mon, 29 May 2006 16:05:05 +0200 |
wneuper |
prepare NC finishing worksheet
|
changeset |
files
|
Fri, 19 May 2006 11:51:02 +0200 |
nsimic |
NC060519:
|
changeset |
files
|
Fri, 19 May 2006 10:12:25 +0200 |
nsimic |
NC : close window added to WindowApplication
|
changeset |
files
|
Thu, 18 May 2006 19:16:23 +0200 |
wneuper |
alle Fehler auf Papier angemerkt bis S.18, schwierige Teile im Code, markiert mit %WN060518
|
changeset |
files
|
Thu, 18 May 2006 19:16:23 +0200 |
wneuper |
alle Fehler auf Papier angemerkt bis S.18, schwierige Teile im Code, markiert mit %WN060518
|
changeset |
files
|
Thu, 18 May 2006 19:16:23 +0200 |
wneuper |
alle Fehler auf Papier angemerkt bis S.18, schwierige Teile im Code, markiert mit %WN060518
|
changeset |
files
|
Thu, 18 May 2006 17:27:38 +0200 |
wneuper |
added WorksheetDialog#getAssumptions, display on Worksheet pending
|
changeset |
files
|
Wed, 17 May 2006 19:36:26 +0200 |
mlang |
now hopefully linux conform
|
changeset |
files
|
Wed, 17 May 2006 19:02:16 +0200 |
mlang |
latex syntax corrected
|
changeset |
files
|
Wed, 17 May 2006 16:35:43 +0200 |
wneuper |
krempler/fig/eps/* and krempler/fig/other/* are tar'ed one level higher now.
|
changeset |
files
|
Mon, 15 May 2006 20:00:44 +0200 |
mlang |
ML Documentation
|
changeset |
files
|
Mon, 15 May 2006 20:00:44 +0200 |
mlang |
ML Documentation
|
changeset |
files
|
Sun, 14 May 2006 14:31:32 +0200 |
wneuper |
update READMEs for export xml to html
|
changeset |
files
|
Sat, 13 May 2006 13:36:55 +0200 |
wneuper |
repaired bug introduced from Vers.1.68 to 1.69 (modelProblem _not_ on "correct" CalcHead)
|
changeset |
files
|
Sat, 13 May 2006 11:16:00 +0200 |
wneuper |
tried to improve error-msg 'file not found' from MiniBrowser (without success)
|
changeset |
files
|
Fri, 12 May 2006 11:09:33 +0200 |
wneuper |
prepare Bakk-Arbeit with ML
|
changeset |
files
|
Fri, 12 May 2006 09:15:22 +0200 |
wneuper |
shifted + renamed TestStyleSheets.java --> CheckXMLdata.java
|
changeset |
files
|
Fri, 12 May 2006 09:15:22 +0200 |
wneuper |
shifted + renamed TestStyleSheets.java --> CheckXMLdata.java
|
changeset |
files
|
Wed, 10 May 2006 19:34:48 +0200 |
wneuper |
make interSteps run with norm_Rational
|
changeset |
files
|
Wed, 10 May 2006 19:34:48 +0200 |
wneuper |
make interSteps run with norm_Rational
|
changeset |
files
|
Wed, 10 May 2006 19:34:48 +0200 |
wneuper |
make interSteps run with norm_Rational
|
changeset |
files
|
Wed, 10 May 2006 19:33:28 +0200 |
wneuper |
gave title-page to ML
|
changeset |
files
|
Wed, 10 May 2006 19:33:28 +0200 |
wneuper |
gave title-page to ML
|
changeset |
files
|
Wed, 10 May 2006 19:33:28 +0200 |
wneuper |
gave title-page to ML
|
changeset |
files
|
Mon, 24 Apr 2006 18:43:26 +0200 |
wneuper |
found a simple way to use log4j with eclipse 3.1 and java 5
|
changeset |
files
|
Fri, 21 Apr 2006 12:43:11 +0200 |
wneuper |
added exp root-equ, systems, calculus; exec checked ok.
|
changeset |
files
|
Thu, 20 Apr 2006 18:33:00 +0200 |
wneuper |
added exp Simp_Rat_Double, Equ_Uni_Poly, Equ_Uni_Rat, runs checked.
|
changeset |
files
|
Thu, 20 Apr 2006 18:20:03 +0200 |
wneuper |
regular update
|
changeset |
files
|
Thu, 20 Apr 2006 18:20:03 +0200 |
wneuper |
regular update
|
changeset |
files
|
Fri, 07 Apr 2006 19:14:49 +0200 |
wneuper |
prepared URs for AK
|
changeset |
files
|
Wed, 29 Mar 2006 19:13:41 +0200 |
wneuper |
added exp > Rational Simplification
|
changeset |
files
|
Wed, 29 Mar 2006 16:17:52 +0200 |
wneuper |
corrected parse "Rewrite ("theorem","") for <tactic applied>
|
changeset |
files
|
Wed, 29 Mar 2006 16:17:52 +0200 |
wneuper |
corrected parse "Rewrite ("theorem","") for <tactic applied>
|
changeset |
files
|
Wed, 29 Mar 2006 16:17:52 +0200 |
wneuper |
corrected parse "Rewrite ("theorem","") for <tactic applied>
|
changeset |
files
|
Fri, 24 Mar 2006 18:19:09 +0100 |
wneuper |
prepare thesis ML
|
changeset |
files
|
Fri, 24 Mar 2006 18:19:09 +0100 |
wneuper |
prepare thesis ML
|
changeset |
files
|
Fri, 24 Mar 2006 18:19:09 +0100 |
wneuper |
prepare thesis ML
|
changeset |
files
|
Fri, 24 Mar 2006 18:12:28 +0100 |
wneuper |
due to change in SML-kernel (^ instead of ^^^)
|
changeset |
files
|
Fri, 24 Mar 2006 18:12:28 +0100 |
wneuper |
due to change in SML-kernel (^ instead of ^^^)
|
changeset |
files
|