| Fri, 03 Nov 2006 18:15:55 +0100 |
wneuper |
bugfix for inform with final result (gave ??.empty at ([],Res))
start_Take
|
changeset |
files
|
| Fri, 03 Nov 2006 14:30:32 +0100 |
wneuper |
made [simplification,for_polynomials] ready for inform
start_Take
|
changeset |
files
|
| Fri, 03 Nov 2006 10:51:51 +0100 |
wneuper |
"sym_thm ... [.]" fixed with "fun string_of_thmI"
start_Take
|
changeset |
files
|
| Thu, 02 Nov 2006 19:19:09 +0100 |
wneuper |
work on "sym_thm ... [.]"
start_Take
|
changeset |
files
|
| Thu, 02 Nov 2006 17:16:17 +0100 |
wneuper |
working on inform with simplify rational 2, checks in test
start_Take
|
changeset |
files
|
| Thu, 02 Nov 2006 16:51:12 +0100 |
wneuper |
working on inform with simplify rational 2
start_Take
|
changeset |
files
|
| Thu, 02 Nov 2006 16:08:45 +0100 |
wneuper |
working on inform with simplify rational, new appendFormula outcommented
start_Take
|
changeset |
files
|
| Thu, 02 Nov 2006 10:56:09 +0100 |
wneuper |
working on inform with simplify rational
start_Take
|
changeset |
files
|
| Sun, 22 Oct 2006 15:30:39 +0200 |
wneuper |
repaired the input of CAS-commands
start_Take
|
changeset |
files
|
| Sun, 22 Oct 2006 10:32:35 +0200 |
wneuper |
was root before
start_Take
|
changeset |
files
|
| Sun, 22 Oct 2006 10:28:37 +0200 |
wneuper |
<NEW> worksheet has space "__________" for CAS-command
start_Take
|
changeset |
files
|
| Thu, 19 Oct 2006 17:35:39 +0200 |
wneuper |
<NEW> worksheet starts as blank
start_Take
|
changeset |
files
|
| Tue, 03 Oct 2006 16:53:46 +0200 |
wneuper |
run isatool browser_info
start_Take
|
changeset |
files
|
| Sat, 30 Sep 2006 11:39:40 +0200 |
wneuper |
began with inform for Simplify
start_Take
|
changeset |
files
|
| Mon, 25 Sep 2006 16:55:17 +0200 |
wneuper |
before start detailing norm_Rational and norm_Poly
start_Take
|
changeset |
files
|
| Sun, 17 Sep 2006 00:32:14 +0200 |
wneuper |
Biegelinie2 works with exp 7.70 ONLY
start_Take
|
changeset |
files
|
| Sun, 17 Sep 2006 00:06:07 +0200 |
wneuper |
Biegelinie2 with autoCalculate, intermediate state
start_Take
|
changeset |
files
|
| Sat, 16 Sep 2006 23:07:37 +0200 |
wneuper |
eqsystem 4x4, intermediate state;
start_Take
|
changeset |
files
|
| Sat, 16 Sep 2006 21:29:08 +0200 |
wneuper |
eqsystem 4x4, intermediate state;
start_Take
|
changeset |
files
|
| Sat, 16 Sep 2006 12:57:11 +0200 |
wneuper |
improved error-reporting in modeling;
start_Take
|
changeset |
files
|
| Thu, 14 Sep 2006 16:18:55 +0200 |
wneuper |
generalized type for predicate went through the tests
start_Take
|
changeset |
files
|
| Thu, 14 Sep 2006 16:14:01 +0200 |
wneuper |
eqsystem 4x4, intermediate state
start_Take
|
changeset |
files
|
| Thu, 14 Sep 2006 15:29:45 +0200 |
wneuper |
eqsystem 4x4, intermediate state
start_Take
|
changeset |
files
|
| Thu, 14 Sep 2006 09:27:48 +0200 |
wneuper |
eqsystem 4x4, intermediate state
start_Take
|
changeset |
files
|
| Fri, 08 Sep 2006 20:33:59 +0200 |
wneuper |
bugfix for autoCalculate CompleteCalc with subpbl as fst tac;
start_Take
|
changeset |
files
|
| Fri, 08 Sep 2006 09:02:48 +0200 |
wneuper |
before searching error in Biegelinie2 with autoCalculate
start_Take
|
changeset |
files
|
| Thu, 07 Sep 2006 16:46:30 +0200 |
wneuper |
completed "SubProblem setzeRandbedingungen", test ok
start_Take
|
changeset |
files
|
| Wed, 06 Sep 2006 10:03:22 +0200 |
wneuper |
quick and dirty fix of handling script-environments at curried script-tactics
start_Take
|
changeset |
files
|
| Wed, 06 Sep 2006 08:44:45 +0200 |
wneuper |
searching for design-flaw with "fun upd_env_opt"
start_Take
|
changeset |
files
|
| Tue, 05 Sep 2006 17:06:37 +0200 |
wneuper |
checked tests for cancel_p
start_Take
|
changeset |
files
|
| Tue, 05 Sep 2006 16:54:36 +0200 |
wneuper |
merge mailed copy from SK
start_Take
|
changeset |
files
|
| Tue, 05 Sep 2006 16:46:29 +0200 |
wneuper |
checked tests for cancel_p
start_Take
|
changeset |
files
|
| Tue, 05 Sep 2006 16:06:48 +0200 |
wneuper |
checking rational.sml SK + WN
start_Take
|
changeset |
files
|
| Tue, 05 Sep 2006 15:06:55 +0200 |
wneuper |
found error in Biegelinie2 (concerns design-flaw with curried funs in scripts %-(
start_Take
|
changeset |
files
|
| Tue, 05 Sep 2006 10:10:27 +0200 |
wneuper |
fun poly2term returns (a+b) instead (1*a+1*b);
start_Take
|
changeset |
files
|
| Mon, 04 Sep 2006 16:56:33 +0200 |
wneuper |
SK intermediate
start_Take
|
changeset |
files
|
| Mon, 04 Sep 2006 15:53:35 +0200 |
wneuper |
SK 'fun mv_poly2str'
start_Take
|
changeset |
files
|
| Mon, 04 Sep 2006 15:50:33 +0200 |
wneuper |
SK 'fun mv_poly2str'
start_Take
|
changeset |
files
|
| Mon, 04 Sep 2006 14:10:45 +0200 |
wneuper |
SK start
start_Take
|
changeset |
files
|
| Mon, 04 Sep 2006 14:08:09 +0200 |
wneuper |
SK start
start_Take
|
changeset |
files
|
| Sat, 02 Sep 2006 17:13:31 +0200 |
wneuper |
Biegelinie2, intermediate state: error in setzeRandb*Ein
start_Take
|
changeset |
files
|
| Fri, 01 Sep 2006 19:14:43 +0200 |
wneuper |
Biegelinie2, intermediate state (fun eval_sameFunId .. required for currying in filter)
start_Take
|
changeset |
files
|
| Fri, 01 Sep 2006 17:48:27 +0200 |
wneuper |
Biegelinie2, intermediate state (fun eval_same_funid)
start_Take
|
changeset |
files
|
| Fri, 01 Sep 2006 15:00:42 +0200 |
wneuper |
Biegelinie2, intermediate SubProblem (_,["makeFunctionTo","equation"] finished
start_Take
|
changeset |
files
|
| Fri, 01 Sep 2006 10:15:43 +0200 |
wneuper |
Biegelinie2, intermediate state in SubProblem (_,["makeFunctionTo","equation"]
start_Take
|
changeset |
files
|
| Fri, 01 Sep 2006 09:25:35 +0200 |
wneuper |
Biegelinie2, intermediate state until SubProblem (_,[setzeRandbedingungen,Biegelinien] (excl.)
start_Take
|
changeset |
files
|
| Thu, 31 Aug 2006 13:38:22 +0200 |
wneuper |
Biegelinie2, intermediate state
start_Take
|
changeset |
files
|
| Thu, 31 Aug 2006 10:49:48 +0200 |
wneuper |
preparing SK: comments in tests
start_Take
|
changeset |
files
|
| Thu, 31 Aug 2006 10:33:44 +0200 |
wneuper |
preparing SK: comments in tests
start_Take
|
changeset |
files
|
| Thu, 31 Aug 2006 08:27:39 +0200 |
wneuper |
preparing SK: improved getTactic for "sym_..."
start_Take
|
changeset |
files
|
| Wed, 30 Aug 2006 18:50:46 +0200 |
wneuper |
preparing SK: improved getTactic for "sym_..."
start_Take
|
changeset |
files
|
| Wed, 30 Aug 2006 12:16:45 +0200 |
wneuper |
preparing SK: improved reverse rewrite cancel_p
start_Take
|
changeset |
files
|
| Tue, 29 Aug 2006 13:30:35 +0200 |
wneuper |
preparing SK: improve reverse rewrite cancel_p, intermediate state
start_Take
|
changeset |
files
|
| Tue, 29 Aug 2006 11:43:53 +0200 |
wneuper |
preparing SK: improve reverse rewrite cancel_p, intermediate state
start_Take
|
changeset |
files
|
| Tue, 29 Aug 2006 10:07:24 +0200 |
wneuper |
preparing SK: improve reverse rewrite cancel_p, intermediate state
start_Take
|
changeset |
files
|
| Fri, 25 Aug 2006 16:46:20 +0200 |
wneuper |
repair reverse rewrite; has been broken by extending 'type rule' with 'Rls_'
start_Take
|
changeset |
files
|
| Thu, 24 Aug 2006 12:51:16 +0200 |
wneuper |
prepare for SK; cleanup files
start_Take
|
changeset |
files
|
| Wed, 23 Aug 2006 19:19:42 +0200 |
wneuper |
prepare for SK; rev.rew. postponed until rewrite to lrd is possible
start_Take
|
changeset |
files
|
| Wed, 23 Aug 2006 09:15:43 +0200 |
wneuper |
preparing SK06, before 'interSteps for cancel_p'
start_Take
|
changeset |
files
|
| Fri, 28 Jul 2006 18:54:58 +0200 |
wneuper |
thy elements store_*d in *.ML-files are NOT overwritten in Isac.ML
start_Take
|
changeset |
files
|