| Thu, 22 Dec 2016 11:12:18 +0100 | Walther Neuper | note on policy for "open" structures | changeset | files |
| Thu, 22 Dec 2016 10:39:45 +0100 | Walther Neuper | (partially) closed Ctree works with Test_Isac | changeset | files |
| Thu, 22 Dec 2016 10:25:49 +0100 | Walther Neuper | --- closed structure Ctree | changeset | files |
| Wed, 21 Dec 2016 11:27:22 +0100 | Walther Neuper | added structure Ctree : CALC_TREEE | changeset | files |
| Wed, 21 Dec 2016 10:33:33 +0100 | Walther Neuper | cleaned code in ctree.sml | changeset | files |
| Wed, 21 Dec 2016 09:21:26 +0100 | Walther Neuper | added structure Solve INTERMEDIATELY | changeset | files |
| Wed, 21 Dec 2016 08:57:47 +0100 | Walther Neuper | added structure Applicable INTERMEDIATELY | changeset | files |
| Mon, 19 Dec 2016 10:37:44 +0100 | Walther Neuper | renamed structure to Generate : GENERATE_CALC_TREE | changeset | files |
| Mon, 19 Dec 2016 09:02:41 +0100 | Walther Neuper | cleaned signature MODEL_SPECIFY | changeset | files |
| Sun, 18 Dec 2016 16:27:41 +0100 | Walther Neuper | added structure Specify : MODEL_SPECIFY | changeset | files |
| Wed, 14 Dec 2016 14:20:25 +0100 | Walther Neuper | signature for redesigned mout | changeset | files |
| Wed, 14 Dec 2016 10:45:41 +0100 | Walther Neuper | redesigned inout, mout (since 2003 for interface Kernel - Java) | changeset | files |
| Wed, 14 Dec 2016 09:37:01 +0100 | Walther Neuper | added structure Ctree : CALC_TREE | changeset | files |
| Mon, 12 Dec 2016 18:08:13 +0100 | Walther Neuper | added structure Chead : CALC_HEAD | changeset | files |
| Wed, 30 Nov 2016 13:05:08 +0100 | Walther Neuper | finished reformatting Inform | changeset | files |
| Wed, 30 Nov 2016 12:09:24 +0100 | Walther Neuper | added structure Rtools : REWRITE_TOOLS | changeset | files |
| Thu, 24 Nov 2016 14:33:42 +0100 | Walther Neuper | added structure Inform : INPUT_FORMULAS | changeset | files |
| Tue, 22 Nov 2016 10:42:21 +0100 | Walther Neuper | added structure Math_Engine : MATH_ENGINE | changeset | files |
| Mon, 21 Nov 2016 12:47:02 +0100 | Walther Neuper | added structure Kernel: KERNEL | changeset | files |
| Thu, 17 Nov 2016 16:40:27 +0100 | Walther Neuper | close structures again after Test_Isac | changeset | files |
| Mon, 14 Nov 2016 15:51:10 +0100 | Walther Neuper | LUCAS_INTERPRETER works in tests | changeset | files |
| Sat, 12 Nov 2016 17:21:43 +0100 | Walther Neuper | --- polished LUCAS_INTERPRETER | changeset | files |
| Thu, 27 Oct 2016 10:48:24 +0200 | Walther Neuper | tuned | changeset | files |
| Thu, 27 Oct 2016 10:48:10 +0200 | Walther Neuper | rename get_calculation* to adhoc_thm* | changeset | files |
| Thu, 27 Oct 2016 09:53:54 +0200 | Walther Neuper | FINISED simplify handling of theorems | changeset | files |
| Thu, 20 Oct 2016 10:26:29 +0200 | Walther Neuper | simplify handling of theorems | changeset | files |
| Tue, 18 Oct 2016 12:05:03 +0200 | Walther Neuper | back-track after desing error in previous changeset | changeset | files |
| Sun, 16 Oct 2016 13:58:46 +0200 | Walther Neuper | === note on "tricky combination of (string, term) for theorems in Isac" | changeset | files |
| Mon, 10 Oct 2016 18:24:14 +0200 | Walther Neuper | transport terms in theorems to frontend | changeset | files |
| Thu, 06 Oct 2016 17:03:44 +0200 | Walther Neuper | PIDE: removed xml for TTY interface of Isabelle2013-2 | changeset | files |
| Wed, 05 Oct 2016 13:09:54 +0200 | Walther Neuper | cleaned tests from autoCalculate' (removed ') | changeset | files |
| Wed, 05 Oct 2016 10:51:25 +0200 | Walther Neuper | tuned | changeset | files |
| Fri, 09 Sep 2016 10:44:05 +0200 | Walther Neuper | insertion sort: resolve type clash | changeset | files |
| Thu, 08 Sep 2016 14:58:48 +0200 | Walther Neuper | insertion sort: method for stepwise construction | changeset | files |
| Thu, 08 Sep 2016 13:28:36 +0200 | Walther Neuper | insertion sort: changed delimiter | changeset | files |
| Sun, 28 Aug 2016 12:32:57 +0200 | Walther Neuper | insertion sort with CAS-cmd | changeset | files |
| Sat, 27 Aug 2016 17:14:45 +0200 | Walther Neuper | tuned | changeset | files |
| Sat, 27 Aug 2016 17:13:10 +0200 | Walther Neuper | insertion sort RUNs with math-engine | changeset | files |
| Sat, 27 Aug 2016 16:57:18 +0200 | Walther Neuper | improve error messages for writing Isac programs | changeset | files |
| Sat, 27 Aug 2016 11:26:28 +0200 | Walther Neuper | push "ERROR in creating the environment.." up to math-engine | changeset | files |
| Sat, 27 Aug 2016 10:56:42 +0200 | Walther Neuper | actually updated code according to previous changeset | changeset | files |
| Sat, 27 Aug 2016 10:38:26 +0200 | Walther Neuper | excluded "ERROR in creating the environment.." FROM "helpless" | changeset | files |
| Sat, 27 Aug 2016 09:40:52 +0200 | Walther Neuper | test for tactic Specify_Method | changeset | files |
| Sat, 27 Aug 2016 05:04:53 +0200 | Walther Neuper | improved error message | changeset | files |
| Fri, 26 Aug 2016 12:25:03 +0200 | Walther Neuper | separate 'type xlist' for Lucas-Interpretation | changeset | files |
| Fri, 26 Aug 2016 12:02:43 +0200 | Walther Neuper | tuned | changeset | files |
| Thu, 25 Aug 2016 14:57:58 +0200 | Walther Neuper | insertion sort RUNs by rewriting | changeset | files |
| Thu, 25 Aug 2016 08:19:58 +0200 | Walther Neuper | simplified insertion sort | changeset | files |
| Wed, 24 Aug 2016 17:27:54 +0200 | Walther Neuper | tuned | changeset | files |
| Wed, 24 Aug 2016 17:25:40 +0200 | Walther Neuper | reactivate InsSort | changeset | files |
| Sat, 06 Aug 2016 14:50:25 +0200 | Walther Neuper | adapted test to 970f55da9b00 | changeset | files |
| Sat, 06 Aug 2016 14:35:29 +0200 | Walther Neuper | reactivate test for CAScmd | changeset | files |
| Mon, 25 Jul 2016 08:07:35 +0200 | Walther Neuper | polish method for presentation | changeset | files |
| Fri, 08 Jul 2016 15:54:44 +0200 | Walther Neuper | === CalFormulas carry libisabelle-Term from kernel to frontend | changeset | files |
| Fri, 08 Jul 2016 15:17:50 +0200 | Walther Neuper | Test_Isac OK with headline of CalcHead carrying a term | changeset | files |
| Wed, 06 Jul 2016 14:05:05 +0200 | Walther Neuper | === kernel version which requires update in isac-java | changeset | files |
| Fri, 20 May 2016 11:34:09 +0200 | Walther Neuper | TERM: unify XML for Formula <-- term | changeset | files |
| Fri, 20 May 2016 11:04:29 +0200 | Walther Neuper | TERM: unify XML for Formula --> term | changeset | files |
| Thu, 12 May 2016 11:23:15 +0200 | Walther Neuper | improved term-creation-tool | changeset | files |
| Thu, 12 May 2016 10:14:10 +0200 | Walther Neuper | update term-creation-tool to present state of handling input of terms | changeset | files |