| Thu, 14 Sep 2006 16:14:01 +0200 |
eqsystem 4x4, intermediate state
|
file | diff | annotate |
| Thu, 14 Sep 2006 15:29:45 +0200 |
eqsystem 4x4, intermediate state
|
file | diff | annotate |
| Thu, 14 Sep 2006 09:27:48 +0200 |
eqsystem 4x4, intermediate state
|
file | diff | annotate |
| Fri, 08 Sep 2006 20:33:59 +0200 |
bugfix for autoCalculate CompleteCalc with subpbl as fst tac;
|
file | diff | annotate |
| Fri, 21 Jul 2006 15:56:52 +0200 |
sml: added guh2kestoreID for checkContext
|
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 |
| Mon, 17 Jul 2006 10:17:33 +0200 |
sml: thydata2xml goes through
|
file | diff | annotate |
| Wed, 10 May 2006 17:56:10 +0200 |
add calls for prep_rls; introduce coding standard for such calls (not yet followed with all calls!)
|
file | diff | annotate |
| Fri, 20 Jan 2006 18:46:44 +0100 |
prepare thy_hierarchy with minimal effort: paire ruleset'
|
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 |
| Thu, 27 Oct 2005 11:43:26 +0200 |
coordinate rewriting for Integrate and EqSystem, intermediate
|
file | diff | annotate |
| Wed, 26 Oct 2005 15:48:11 +0200 |
finished EqSystem 'top_down_substitution', 'normalize' #1 for Biegelinie
|
file | diff | annotate |
| Wed, 26 Oct 2005 11:19:38 +0200 |
SubProblem 'top_down_substitution', intermediate
|
file | diff | annotate |
| Fri, 21 Oct 2005 19:32:35 +0200 |
went on with EqSystem 'normalize' until SubProblem 'top_down_substitution'
|
file | diff | annotate |
| Fri, 21 Oct 2005 14:40:03 +0200 |
equalities became :: tobooll
|
file | diff | annotate |
| Wed, 19 Oct 2005 17:24:10 +0200 |
went on with EqSystem: search error possibly in script-interpreter
|
file | diff | annotate |
| Fri, 14 Oct 2005 19:55:47 +0200 |
went on with EqSystem
|
file | diff | annotate |
| Thu, 13 Oct 2005 06:46:22 +0200 |
reestablished concept 'copy-named' (which seems notyet thouroughly designe)
|
file | diff | annotate |
| Wed, 12 Oct 2005 19:59:26 +0200 |
debugged match_ags (error from EqSystem)
|
file | diff | annotate |
| Fri, 07 Oct 2005 19:18:20 +0200 |
renamed smltest/ME/modspec.sml to calchead.sml according to sml/..
|
file | diff | annotate |
| Fri, 07 Oct 2005 18:41:35 +0200 |
completed pbls in EqSystem
|
file | diff | annotate |
| Fri, 07 Oct 2005 18:04:28 +0200 |
before changing sign. of occur_exactly_in
|
file | diff | annotate |
| Fri, 07 Oct 2005 17:04:03 +0200 |
solve EqSystem by rewrite_ finished, tested
|
file | diff | annotate |
| Thu, 06 Oct 2005 20:41:44 +0200 |
adding isolate_bdvs for EqSystem, intermediate
|
file | diff | annotate |
| Fri, 30 Sep 2005 19:22:57 +0200 |
Rls normalize_system under construction
|
file | diff | annotate |
| Fri, 30 Sep 2005 18:31:41 +0200 |
Rls normalize_system under construction
|
file | diff | annotate |
| Fri, 30 Sep 2005 17:26:25 +0200 |
Rls normalize_system under construction
|
file | diff | annotate |
| Fri, 30 Sep 2005 17:01:15 +0200 |
eval_order_system added
|
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 12:05:27 +0200 |
intermediately saving a blind correction
|
file | diff | annotate |
| Fri, 30 Sep 2005 10:56:30 +0200 |
cleaned descriptions solution, equalities for EqSystem
|
file | diff | annotate |
| Thu, 29 Sep 2005 19:35:34 +0200 |
implement EqSystem pbls, mets; intermediate
|
file | diff | annotate |
| Mon, 26 Sep 2005 19:15:05 +0200 |
eval_occur_exactly_in for EqSystem added
|
file | diff | annotate |
| Sat, 24 Sep 2005 09:55:37 +0200 |
occur_exactly_in for EqSystem started
|
file | diff | annotate |
| Thu, 22 Sep 2005 17:12:05 +0200 |
renamed System to EqSystem
|
file | diff | annotate |