| Sat, 20 Aug 2005 21:20:16 +0200 |
find out why IntegrateScript doesnt work
|
file | diff | annotate |
| Sun, 16 Jan 2005 21:15:01 +0100 |
sml: tests appenFormula, replaceFormula almost ok
|
file | diff | annotate |
| Fri, 29 Oct 2004 17:14:03 +0200 |
*** empty log message ***
|
file | diff | annotate |
| Wed, 09 Jun 2004 23:16:47 +0200 |
*** empty log message ***
|
file | diff | annotate |
| Wed, 07 Apr 2004 15:11:33 +0200 |
*** empty log message ***
|
file | diff | annotate |
| Tue, 16 Mar 2004 15:21:53 +0100 |
*** empty log message ***
|
file | diff | annotate |
| Fri, 20 Feb 2004 14:10:10 +0100 |
*** empty log message ***
|
file | diff | annotate |
| Mon, 09 Feb 2004 19:46:32 +0100 |
*** empty log message ***
|
file | diff | annotate |
| Sun, 21 Dec 2003 23:52:50 +0100 |
*** empty log message ***
|
file | diff | annotate |
| Sat, 13 Dec 2003 15:53:13 +0100 |
*** empty log message ***
|
file | diff | annotate |
| Mon, 08 Dec 2003 17:11:48 +0100 |
*** empty log message ***
|
file | diff | annotate |
| Wed, 05 Nov 2003 23:20:44 +0100 |
*** empty log message ***
|
file | diff | annotate |
| Fri, 24 Oct 2003 18:20:30 +0200 |
*** empty log message ***
|
file | diff | annotate |
| Tue, 09 Sep 2003 09:00:24 +0200 |
*** empty log message ***
|
file | diff | annotate |
| Mon, 01 Sep 2003 08:49:23 +0200 |
*** empty log message ***
|
file | diff | annotate |
| Thu, 28 Aug 2003 15:41:50 +0200 |
*** empty log message ***
|
file | diff | annotate |
| Fri, 15 Aug 2003 12:23:47 +0200 |
*** empty log message ***
|
file | diff | annotate |
| Wed, 13 Aug 2003 08:52:07 +0200 |
*** empty log message ***
|
file | diff | annotate |
| Mon, 11 Aug 2003 10:47:39 +0200 |
*** empty log message ***
|
file | diff | annotate |
| Thu, 12 Jun 2003 11:10:38 +0200 |
*** empty log message ***
|
file | diff | annotate |
| Tue, 03 Jun 2003 13:41:02 +0200 |
*** empty log message ***
|
file | diff | annotate |
| Wed, 28 May 2003 01:35:09 +0200 |
*** empty log message ***
|
file | diff | annotate |
| Sat, 17 May 2003 17:27:57 +0200 |
*** empty log message ***
|
file | diff | annotate |
| Fri, 16 May 2003 12:42:32 +0200 |
*** empty log message ***
|
file | diff | annotate |
| Thu, 15 May 2003 16:22:52 +0200 |
*** empty log message ***
|
file | diff | annotate |
| Fri, 09 May 2003 23:16:32 +0200 |
*** empty log message ***
|
file | diff | annotate |
| Thu, 02 Nov 2006 19:19:09 +0100 |
work on "sym_thm ... [.]"
|
file | diff | annotate |
| Fri, 08 Sep 2006 20:33:59 +0200 |
bugfix for autoCalculate CompleteCalc with subpbl as fst tac;
|
file | diff | annotate |
| Fri, 01 Sep 2006 15:00:42 +0200 |
Biegelinie2, intermediate SubProblem (_,["makeFunctionTo","equation"] finished
|
file | diff | annotate |
| Wed, 30 Aug 2006 12:16:45 +0200 |
preparing SK: improved reverse rewrite cancel_p
|
file | diff | annotate |
| Wed, 23 Aug 2006 19:19:42 +0200 |
prepare for SK; rev.rew. postponed until rewrite to lrd is possible
|
file | diff | annotate |
| Wed, 07 Jun 2006 17:50:06 +0200 |
removed bug in 'fun init_istate' in generate.sml (which had no effect)
|
file | diff | annotate |
| Tue, 06 Jun 2006 15:22:15 +0200 |
prepared a test for impl. interSteps for Rewrite_Set_Inst
|
file | diff | annotate |
| Tue, 06 Jun 2006 12:04:11 +0200 |
work on rule-set's auto-generated scripts for interSteps;
|
file | diff | annotate |
| Mon, 05 Jun 2006 17:39:08 +0200 |
work on rule-set's auto-generated scripts for interSteps;
|
file | diff | annotate |
| Fri, 02 Jun 2006 18:20:21 +0200 |
for interSteps added to ruleset' and corrected fun lev_pred'
|
file | diff | annotate |
| Wed, 10 May 2006 17:24:51 +0200 |
make interSteps run with norm_Rational
|
file | diff | annotate |
| Wed, 22 Feb 2006 11:15:38 +0100 |
removed argument from Model_Problem
|
file | diff | annotate |
| Sat, 10 Dec 2005 13:19:41 +0100 |
preparing for correction of 1st Take in script (initac)
|
file | diff | annotate |
| Sat, 10 Dec 2005 12:26:16 +0100 |
preparing for correction of 1st Take in script (initac)
|
file | diff | annotate |
| Thu, 01 Dec 2005 06:13:06 +0100 |
correction of handling 1st Take in script
|
file | diff | annotate |
| Thu, 01 Dec 2005 05:45:33 +0100 |
some clarification of pos preparing for correction of 1st Take in script
|
file | diff | annotate |
| Thu, 01 Dec 2005 04:57:21 +0100 |
some clarification of pos preparing for correction of 1st Take in script
|
file | diff | annotate |
| Wed, 12 Oct 2005 19:59:26 +0200 |
debugged match_ags (error from EqSystem)
|
file | diff | annotate |
| Fri, 30 Sep 2005 12:47:24 +0200 |
make [EqSystem,normalize,2x2] run, intermediate state
|
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 |
| Thu, 08 Sep 2005 08:50:44 +0200 |
changed Substitute' subte=term list, intermediate
|
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 |
| Tue, 23 Aug 2005 18:44:06 +0200 |
make Take works in ["Diff","integration"]
|
file | diff | annotate |
| Tue, 23 Aug 2005 17:08:58 +0200 |
make Take work, intermediate state
|
file | diff | annotate |
| Tue, 23 Aug 2005 14:53:30 +0200 |
make Take work, intermediate state
|
file | diff | annotate |
| Mon, 22 Aug 2005 17:03:25 +0200 |
stacs Take, Substitute added
|
file | diff | annotate |
| Thu, 17 Apr 2003 18:01:03 +0200 |
neues cvs-verzeichnis
|
file | diff | annotate |
| Mon, 31 Dec 2007 14:18:53 +0100 |
sel_rules selects _applicable_ tactics only, intermediate stae
|
file | diff | annotate |
| Tue, 10 Jul 2007 09:00:04 +0200 |
intermed.work on Diff as CAScmd: still something wrong with next position;
|
file | diff | annotate |