| Sat, 20 Aug 2005 21:20:16 +0200 |
find out why IntegrateScript doesnt work
|
file | diff | annotate |
| Thu, 17 Feb 2005 15:35:04 +0100 |
sml-050217a-fetchApplicableTactics now behaves like getTactic
|
file | diff | annotate |
| Sat, 23 Oct 2004 10:28:20 +0200 |
*** empty log message ***
|
file | diff | annotate |
| Wed, 09 Jun 2004 23:16:47 +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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |