Fri, 01 Sep 2006 19:14:43 +0200 |
Biegelinie2, intermediate state (fun eval_sameFunId .. required for currying in filter)
|
file | diff | annotate |
Fri, 01 Sep 2006 15:00:42 +0200 |
Biegelinie2, intermediate SubProblem (_,["makeFunctionTo","equation"] finished
|
file | diff | annotate |
Fri, 01 Sep 2006 10:15:43 +0200 |
Biegelinie2, intermediate state in SubProblem (_,["makeFunctionTo","equation"]
|
file | diff | annotate |
Fri, 01 Sep 2006 09:25:35 +0200 |
Biegelinie2, intermediate state until SubProblem (_,[setzeRandbedingungen,Biegelinien] (excl.)
|
file | diff | annotate |
Thu, 31 Aug 2006 13:38:22 +0200 |
Biegelinie2, intermediate state
|
file | diff | annotate |
Sun, 14 May 2006 14:33:20 +0200 |
completed 'fun tac2xml' with 'Substitute cterms'; started and postponed work on reverse rewriting;
|
file | diff | annotate |
Wed, 29 Mar 2006 19:13:41 +0200 |
added exp > Rational Simplification
|
file | diff | annotate |
Thu, 09 Feb 2006 17:31:41 +0100 |
renamed 'Biegelinie : Script.ID' --> Biegelinien in pblID
|
file | diff | annotate |
Sat, 24 Dec 2005 11:35:19 +0100 |
rename getElementsFromTo --> getFormulaeFromTo
|
file | diff | annotate |
Sat, 10 Dec 2005 13:29:43 +0100 |
correction of 1st Take in script (initac) finished
|
file | diff | annotate |
Sat, 10 Dec 2005 12:26:16 +0100 |
preparing for correction of 1st Take in script (initac)
|
file | diff | annotate |
Fri, 09 Dec 2005 12:41:01 +0100 |
improve handling of 'initac's in 'fun step'
|
file | diff | annotate |
Fri, 09 Dec 2005 11:26:35 +0100 |
improve handling of 'initac's in 'fun step'
|
file | diff | annotate |
Thu, 08 Dec 2005 17:00:22 +0100 |
added 'tac2sml Take'
|
file | diff | annotate |
Thu, 01 Dec 2005 06:13:06 +0100 |
correction of handling 1st Take in script
|
file | diff | annotate |
Fri, 18 Nov 2005 19:19:22 +0100 |
new test for error observed on the front-end
|
file | diff | annotate |
Thu, 03 Nov 2005 16:58:15 +0100 |
finished smltest/../biegelinie.sml for Textbook No.7.27
|
file | diff | annotate |
Thu, 27 Oct 2005 17:08:00 +0200 |
redid rls simplify_Integral
|
file | diff | annotate |
Thu, 27 Oct 2005 14:20:17 +0200 |
coordinate rewriting for Integrate and EqSystem, intermediate
|
file | diff | annotate |
Thu, 27 Oct 2005 11:43:26 +0200 |
coordinate rewriting for Integrate and EqSystem, intermediate
|
file | diff | annotate |
Wed, 26 Oct 2005 19:25:11 +0200 |
Biegelinie IntegrierenUndKonstanteBestimmen, until 3rd integration
|
file | diff | annotate |
Thu, 22 Sep 2005 15:12:25 +0200 |
'handle_leaf' finished: currying Substitute ok, trace_script ok.
|
file | diff | annotate |
Mon, 19 Sep 2005 19:22:13 +0200 |
'handle_leaf' intermediate
|
file | diff | annotate |
Fri, 16 Sep 2005 19:46:23 +0200 |
'handle_leaf' implemented, works partially, thus still not used
|
file | diff | annotate |
Fri, 16 Sep 2005 18:02:27 +0200 |
completed srls for 'IntegrierenUnd..'
|
file | diff | annotate |
Fri, 16 Sep 2005 16:33:13 +0200 |
correction 'rewrite__set_ called with 'Erls' for ..
|
file | diff | annotate |
Wed, 14 Sep 2005 20:28:03 +0200 |
found difference with trace_rewrite:= true / false
|
file | diff | annotate |
Tue, 13 Sep 2005 19:16:01 +0200 |
struggling: IntegrierenUndKonstanteBestimmen behaves
|
file | diff | annotate |
Tue, 13 Sep 2005 18:39:09 +0200 |
struggling with eval_listexpr_ for Biegelinie
|
file | diff | annotate |
Tue, 13 Sep 2005 16:59:48 +0200 |
struggling with eval_listexpr_ for Biegelinie
|
file | diff | annotate |
Thu, 08 Sep 2005 20:48:39 +0200 |
rewrite_terms_ repaired+tested,
|
file | diff | annotate |
Wed, 07 Sep 2005 15:07:08 +0200 |
Atools.argument_of tested OK
|
file | diff | annotate |
Wed, 07 Sep 2005 14:34:02 +0200 |
added Atools.argument_of, intermediate
|
file | diff | annotate |
Wed, 07 Sep 2005 10:11:06 +0200 |
implement simplify_Integral finished
|
file | diff | annotate |
Wed, 07 Sep 2005 09:44:06 +0200 |
implement simplify_Integral, intermediate
|
file | diff | annotate |
Mon, 05 Sep 2005 12:51:55 +0200 |
considering normalform for equation system
|
file | diff | annotate |
Sun, 04 Sep 2005 15:53:56 +0200 |
repaired applicable_in;
|
file | diff | annotate |
Sun, 04 Sep 2005 13:40:02 +0200 |
corrected error with locate_gen lev_on pos in Apply_Method
|
file | diff | annotate |
Sat, 03 Sep 2005 23:00:18 +0200 |
reorganized thys for subpbls, see definitions.sml
|
file | diff | annotate |
Sat, 03 Sep 2005 14:44:34 +0200 |
Biegelinie#Script, push rootthy into subpbls, intermediate
|
file | diff | annotate |
Sat, 03 Sep 2005 11:31:57 +0200 |
Biegelinie#Script intermediate, investigate thy used in subpbls
|
file | diff | annotate |
Fri, 02 Sep 2005 22:55:26 +0200 |
Biegelinie#Script intermediate,
|
file | diff | annotate |
Fri, 02 Sep 2005 09:55:13 +0200 |
Biegelinie#Script intermediate,
|
file | diff | annotate |
Thu, 01 Sep 2005 21:18:56 +0200 |
Biegelinie#Script intermediate, still problem with math_args
|
file | diff | annotate |
Thu, 01 Sep 2005 12:48:54 +0200 |
Biegelinie#Script intermediate, (once more) removed DG
|
file | diff | annotate |
Thu, 01 Sep 2005 11:39:05 +0200 |
itms2args repaired
|
file | diff | annotate |
Thu, 01 Sep 2005 07:16:29 +0200 |
Biegelinie#Script intermediate:
|
file | diff | annotate |
Wed, 31 Aug 2005 21:10:36 +0200 |
Biegelinie#Script intermediate: FunktionsVariable added,
|
file | diff | annotate |
Wed, 31 Aug 2005 19:58:02 +0200 |
Biegelinie#Script intermediate
|
file | diff | annotate |
Wed, 31 Aug 2005 11:33:22 +0200 |
Biegelinie#Script intermediate
|
file | diff | annotate |
Mon, 29 Aug 2005 17:24:34 +0200 |
Biegelinie#Script intermediate
|
file | diff | annotate |
Mon, 29 Aug 2005 16:58:33 +0200 |
Biegelinie#Problems intermediate
|
file | diff | annotate |
Fri, 26 Aug 2005 18:14:36 +0200 |
Biegelinie, EqSystem added
|
file | diff | annotate |