| Fri, 03 Nov 2006 18:15:55 +0100 |
bugfix for inform with final result (gave ??.empty at ([],Res))
|
file | diff | annotate |
| Fri, 03 Nov 2006 10:51:51 +0100 |
"sym_thm ... [.]" fixed with "fun string_of_thmI"
|
file | diff | annotate |
| Thu, 02 Nov 2006 19:19:09 +0100 |
work on "sym_thm ... [.]"
|
file | diff | annotate |
| Thu, 02 Nov 2006 10:56:09 +0100 |
working on inform with simplify rational
|
file | diff | annotate |
| Wed, 06 Sep 2006 10:03:22 +0200 |
quick and dirty fix of handling script-environments at curried script-tactics
|
file | diff | annotate |
| Wed, 06 Sep 2006 08:44:45 +0200 |
searching for design-flaw with "fun upd_env_opt"
|
file | diff | annotate |
| Fri, 01 Sep 2006 15:00:42 +0200 |
Biegelinie2, intermediate SubProblem (_,["makeFunctionTo","equation"] finished
|
file | diff | annotate |
| Thu, 27 Jul 2006 18:54:47 +0200 |
work on error in locate_gen: ([1],Frm)-->([2],Res)
|
file | diff | annotate |
| Tue, 06 Jun 2006 12:04:11 +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 |
| 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 |
| Wed, 19 Oct 2005 19:14:45 +0200 |
went on with EqSystem: found error in TESTg_form .. chkpre2item''
|
file | diff | annotate |
| Wed, 19 Oct 2005 17:24:10 +0200 |
went on with EqSystem: search error possibly in script-interpreter
|
file | diff | annotate |
| Thu, 13 Oct 2005 19:46:05 +0200 |
redesigning copy-named commented at 'type met ', finished
|
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:05:27 +0200 |
intermediately saving a blind correction
|
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 21:20:50 +0200 |
'handle_leaf' intermediate
|
file | diff | annotate |
| Mon, 19 Sep 2005 19:56:58 +0200 |
'handle_leaf' intermediate
|
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 19:22:38 +0200 |
'handle_leaf' runs, eval_listexpr_ stil 2-times called
|
file | diff | annotate |
| Fri, 16 Sep 2005 19:01:49 +0200 |
'handle_leaf' runs, call not yet cleaned
|
file | diff | annotate |
| Fri, 16 Sep 2005 18:53:49 +0200 |
prepared for 'handle_leaf'
|
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 18:39:09 +0200 |
struggling with eval_listexpr_ for Biegelinie
|
file | diff | annotate |
| Tue, 13 Sep 2005 14:09:13 +0200 |
considering Take as 'initac'
|
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 08:50:44 +0200 |
changed Substitute' subte=term list, intermediate
|
file | diff | annotate |
| Wed, 07 Sep 2005 21:42:55 +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 |
| Sat, 03 Sep 2005 23:00:18 +0200 |
reorganized thys for subpbls, see definitions.sml
|
file | diff | annotate |
| Sat, 03 Sep 2005 12:52:16 +0200 |
Biegelinie#Script, push rootthy into subpbls, intermediate
|
file | diff | annotate |
| Fri, 02 Sep 2005 22:55:26 +0200 |
Biegelinie#Script intermediate,
|
file | diff | annotate |
| Fri, 02 Sep 2005 10:06:03 +0200 |
Biegelinie#Script intermediate,
|
file | diff | annotate |
| Fri, 02 Sep 2005 09:55:13 +0200 |
Biegelinie#Script intermediate,
|
file | diff | annotate |
| Fri, 02 Sep 2005 08:55:42 +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 11:39:05 +0200 |
itms2args repaired
|
file | diff | annotate |
| Fri, 26 Aug 2005 16:37:39 +0200 |
init_scrstate now optionally takes Finds,too,
|
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 |
| 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 14:42:04 +0100 |
sel_rules: generalize "fun assod" to Rewrite tac -- Rewrite_Set containing tac, stopped withou success.
|
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 |
| Mon, 31 Dec 2007 17:56:24 +0100 |
sel_rules: sel_appl_atomic_tacs finished
|
file | diff | annotate |
| Mon, 31 Dec 2007 14:18:53 +0100 |
sel_rules selects _applicable_ tactics only, intermediate stae
|
file | diff | annotate |