| Fri, 01 Sep 2006 10:15:43 +0200 |
Biegelinie2, intermediate state in SubProblem (_,["makeFunctionTo","equation"]
|
file | diff | annotate |
| Fri, 01 Sep 2006 09:25:35 +0200 |
Biegelinie2, intermediate state until SubProblem (_,[setzeRandbedingungen,Biegelinien] (excl.)
|
file | diff | annotate |
| Thu, 31 Aug 2006 13:38:22 +0200 |
Biegelinie2, intermediate state
|
file | diff | annotate |
| Thu, 24 Aug 2006 12:51:16 +0200 |
prepare for SK; cleanup files
|
file | diff | annotate |
| Fri, 28 Jul 2006 18:54:58 +0200 |
thy elements store_*d in *.ML-files are NOT overwritten in Isac.ML
|
file | diff | annotate |
| Fri, 28 Jul 2006 17:30:20 +0200 |
store_* theory-elements added, inhibit overwriting in Isac.ML does not yet work
|
file | diff | annotate |
| Thu, 20 Jul 2006 16:09:41 +0200 |
sml: 'type met' added {guh, authors, ...}, missing: check_guh_unique, tests
|
file | diff | annotate |
| Thu, 20 Jul 2006 10:54:50 +0200 |
sml: 'type pbt' added {guh, authors, ...}, missing: check_guh_unique, tests
|
file | diff | annotate |
| Wed, 19 Jul 2006 16:49:06 +0200 |
cleared doubled code on 'fun subst2str''
|
file | diff | annotate |
| Sat, 10 Jun 2006 10:15:07 +0200 |
introduced 'type rew_ord' for 'type contthy'
|
file | diff | annotate |
| Thu, 09 Feb 2006 17:31:41 +0100 |
renamed 'Biegelinie : Script.ID' --> Biegelinien in pblID
|
file | diff | annotate |
| Fri, 13 Jan 2006 11:37:59 +0100 |
deleted "val theorem'" (longexisting shortcut by "assoc_thm'"!)
|
file | diff | annotate |
| Thu, 03 Nov 2005 16:58:15 +0100 |
finished smltest/../biegelinie.sml for Textbook No.7.27
|
file | diff | annotate |
| Fri, 28 Oct 2005 18:25:12 +0200 |
working on simplify_System
|
file | diff | annotate |
| Thu, 27 Oct 2005 14:20:17 +0200 |
coordinate rewriting for Integrate and EqSystem, intermediate
|
file | diff | annotate |
| Wed, 26 Oct 2005 19:25:11 +0200 |
Biegelinie IntegrierenUndKonstanteBestimmen, until 3rd integration
|
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:22:13 +0200 |
'handle_leaf' intermediate
|
file | diff | annotate |
| Fri, 16 Sep 2005 18:02:27 +0200 |
completed srls for 'IntegrierenUnd..'
|
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 |
| Tue, 13 Sep 2005 16:59:48 +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 20:48:39 +0200 |
rewrite_terms_ repaired+tested,
|
file | diff | annotate |
| Mon, 05 Sep 2005 12:51:55 +0200 |
considering normalform for equation system
|
file | diff | annotate |
| Sat, 03 Sep 2005 14:44:34 +0200 |
Biegelinie#Script, push rootthy into subpbls, 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 12:48:54 +0200 |
Biegelinie#Script intermediate, (once more) removed DG
|
file | diff | annotate |
| Wed, 31 Aug 2005 21:10:36 +0200 |
Biegelinie#Script intermediate: FunktionsVariable added,
|
file | diff | annotate |
| Mon, 29 Aug 2005 16:57:42 +0200 |
kbtest removed (again?): actual versions are in systest/IsacKnowledge for some time
|
file | diff | annotate |
| Mon, 29 Aug 2005 14:42:14 +0200 |
Biegelinie#Problems intermediate
|
file | diff | annotate |
| Fri, 26 Aug 2005 18:14:36 +0200 |
Biegelinie, EqSystem added
|
file | diff | annotate |