| 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 |