| Sat, 20 Aug 2005 21:20:16 +0200 |
find out why IntegrateScript doesnt work
|
file | diff | annotate |
| Sat, 20 Aug 2005 19:10:30 +0200 |
integration: compile script (Rewrite_Set_Inst seems to enforce
|
file | diff | annotate |
| Sat, 20 Aug 2005 18:25:14 +0200 |
integration by rewrite_set, still trying
|
file | diff | annotate |
| Sat, 20 Aug 2005 15:15:41 +0200 |
add_new_c: trials with get_pair finished, search error in eval__true
|
file | diff | annotate |
| Fri, 19 Aug 2005 18:27:16 +0200 |
add_new_c for integration, still trying
|
file | diff | annotate |
| Tue, 16 Aug 2005 17:41:06 +0200 |
work on integration methods
|
file | diff | annotate |
| Tue, 16 Aug 2005 13:28:32 +0200 |
work on integration pbl, met
|
file | diff | annotate |
| Sun, 14 Aug 2005 13:42:54 +0200 |
added integration
|
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 |
| Fri, 28 Oct 2005 15:45:13 +0200 |
simplify_Integral finished
|
file | diff | annotate |
| Thu, 27 Oct 2005 17:08:00 +0200 |
redid rls simplify_Integral
|
file | diff | annotate |
| Wed, 26 Oct 2005 15:48:11 +0200 |
finished EqSystem 'top_down_substitution', 'normalize' #1 for Biegelinie
|
file | diff | annotate |
| Fri, 30 Sep 2005 19:22:57 +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 |
| Thu, 29 Sep 2005 19:35:34 +0200 |
implement EqSystem pbls, mets; intermediate
|
file | diff | annotate |
| Thu, 29 Sep 2005 17:50:08 +0200 |
cleanup identifiers for rulesets
|
file | diff | annotate |
| Wed, 07 Sep 2005 10:11:06 +0200 |
implement simplify_Integral finished
|
file | diff | annotate |
| Wed, 07 Sep 2005 09:44:06 +0200 |
implement simplify_Integral, intermediate
|
file | diff | annotate |
| Mon, 05 Sep 2005 12:51:55 +0200 |
considering normalform for equation system
|
file | diff | annotate |
| Sun, 28 Aug 2005 16:09:45 +0200 |
Scripts/scrtools#is_dsc improved
|
file | diff | annotate |
| Sun, 28 Aug 2005 13:47:10 +0200 |
prohibit "FF + c = x ^^^ 3 / 3 + x + c", intermediate state
|
file | diff | annotate |
| Mon, 22 Aug 2005 17:03:25 +0200 |
stacs Take, Substitute added
|
file | diff | annotate |