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