Sat, 20 Aug 2005 21:20:16 +0200 |
find out why IntegrateScript doesnt work
|
file | diff | annotate |
Mon, 25 Jul 2005 16:45:09 +0200 |
added comments
|
file | diff | annotate |
Wed, 13 Jul 2005 14:25:50 +0200 |
sinature added
|
file | diff | annotate |
Fri, 08 Jul 2005 09:17:05 +0200 |
re-org.SML-dirs & moved types to funs
|
file | diff | annotate |
Thu, 02 Nov 2006 19:19:09 +0100 |
work on "sym_thm ... [.]"
|
file | diff | annotate |
Tue, 05 Sep 2006 15:06:55 +0200 |
found error in Biegelinie2 (concerns design-flaw with curried funs in scripts %-(
|
file | diff | annotate |
Fri, 01 Sep 2006 15:00:42 +0200 |
Biegelinie2, intermediate SubProblem (_,["makeFunctionTo","equation"] finished
|
file | diff | annotate |
Wed, 30 Aug 2006 18:50:46 +0200 |
preparing SK: improved getTactic for "sym_..."
|
file | diff | annotate |
Thu, 27 Jul 2006 18:09:17 +0200 |
implemented setContext..Thy;
|
file | diff | annotate |
Thu, 27 Jul 2006 11:12:21 +0200 |
code polishing
|
file | diff | annotate |
Wed, 26 Jul 2006 19:01:11 +0200 |
debugging setContext; pbl ok
|
file | diff | annotate |
Mon, 24 Jul 2006 19:58:36 +0200 |
preparing for rewriter returning location of applying a Thm or Calc;
|
file | diff | annotate |
Mon, 24 Jul 2006 15:36:50 +0200 |
finished context for pbl met
|
file | diff | annotate |
Tue, 18 Jul 2006 17:20:46 +0200 |
sml: work on 'fun context_thy', Notappl missing
|
file | diff | annotate |
Sat, 10 Jun 2006 10:15:07 +0200 |
introduced 'type rew_ord' for 'type contthy'
|
file | diff | annotate |
Fri, 09 Jun 2006 14:01:38 +0200 |
removed a minor bug in 'fun detailstep'
|
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 13:55:06 +0200 |
work on rule-set's auto-generated scripts for interSteps;
|
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 |
Wed, 10 May 2006 17:24:51 +0200 |
make interSteps run with norm_Rational
|
file | diff | annotate |
Sat, 11 Mar 2006 17:51:13 +0100 |
encode and decode "^^^"<--->"^" at the kernels interface,
|
file | diff | annotate |
Sat, 25 Feb 2006 17:09:43 +0100 |
replaceFormula CAS-command, finished
|
file | diff | annotate |
Sat, 25 Feb 2006 15:41:59 +0100 |
replaceFormula CAS-command, intermediate
|
file | diff | annotate |
Sat, 25 Feb 2006 14:27:05 +0100 |
replaceFormula CAS-command, intermediate
|
file | diff | annotate |
Fri, 24 Feb 2006 17:15:34 +0100 |
modelProblem with complete_mod in case of Some cas
|
file | diff | annotate |
Wed, 22 Feb 2006 11:15:38 +0100 |
removed argument from Model_Problem
|
file | diff | annotate |
Tue, 03 Jan 2006 16:51:20 +0100 |
prepare pbl 'simplify'
|
file | diff | annotate |
Fri, 23 Dec 2005 18:55:49 +0100 |
added setTheory and (partially!) setDescriptions
|
file | diff | annotate |
Sat, 17 Dec 2005 15:43:49 +0100 |
finished setProblem, setMethod (both do still NOT respect
|
file | diff | annotate |
Sat, 17 Dec 2005 13:44:50 +0100 |
work on setProblem, setMethod, ...
|
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 |
Fri, 09 Dec 2005 19:05:31 +0100 |
simplified 'fun autocalc'..(Step s)
|
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 03:40:41 +0100 |
search error in <auto> Biegelinie expl.7-27
|
file | diff | annotate |
Fri, 25 Nov 2005 16:15:11 +0100 |
added initMatchProblem
|
file | diff | annotate |
Wed, 19 Oct 2005 20:05:52 +0200 |
error in TESTg_form .. check_precond .. not clear with
|
file | diff | annotate |
Wed, 19 Oct 2005 19:14:45 +0200 |
went on with EqSystem: found error in TESTg_form .. chkpre2item''
|
file | diff | annotate |
Thu, 13 Oct 2005 16:09:14 +0200 |
redesigning copy-named, intermediate
|
file | diff | annotate |
Fri, 30 Sep 2005 12:47:24 +0200 |
make [EqSystem,normalize,2x2] run, intermediate state
|
file | diff | annotate |
Fri, 30 Sep 2005 10:56:30 +0200 |
cleaned descriptions solution, equalities for EqSystem
|
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 16:59:48 +0200 |
struggling with eval_listexpr_ for Biegelinie
|
file | diff | annotate |
Tue, 13 Sep 2005 11:05:56 +0200 |
found a 'BAD DESIGN ERROR' in smltest/ME/script
|
file | diff | annotate |
Thu, 08 Sep 2005 20:48:39 +0200 |
rewrite_terms_ repaired+tested,
|
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 |
Thu, 01 Sep 2005 06:30:08 +0200 |
Biegelinie#Script intermediate: found diffapp.sml not working
|
file | diff | annotate |
Mon, 22 Aug 2005 17:03:25 +0200 |
stacs Take, Substitute added
|
file | diff | annotate |
Fri, 04 Jan 2008 16:08:52 +0100 |
for PolyMinus at Sch"arding, make p.33 confluent
|
file | diff | annotate |
Wed, 02 Jan 2008 18:13:59 +0100 |
sel_rules + sel_appl_atomic_tacs + applyTactic, intermediate state
|
file | diff | annotate |
Wed, 02 Jan 2008 09:56:26 +0100 |
sel_rules: generalize "fun assod" to Rewrite tac -- Rewrite_Set containing tac, intermediate
|
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 |