| Tue, 04 Feb 2020 16:45:36 +0100 | Walther Neuper | lucin: clarify path handling | changeset | files |
| Tue, 04 Feb 2020 16:30:44 +0100 | Walther Neuper | tuned | changeset | files |
| Tue, 04 Feb 2020 16:27:54 +0100 | Walther Neuper | lucin: set_found ONCE in locate_input_tactic makes "fun me" work | changeset | files |
| Sat, 25 Jan 2020 12:45:51 +0100 | Walther Neuper | tuned | changeset | files |
| Thu, 23 Jan 2020 11:12:09 +0100 | Walther Neuper | repair last changeset, rename set_skip -> set_found (according last change) | changeset | files |
| Thu, 23 Jan 2020 10:48:57 +0100 | Walther Neuper | lucin: renaming due to simpler scanning (Istate .. found_accept) | changeset | files |
| Wed, 22 Jan 2020 17:32:45 +0100 | Walther Neuper | lucin: simpler Lucin.scan_up works, but ERROR "LI.find_next_step without result" outcommented | changeset | files |
| Wed, 22 Jan 2020 11:44:56 +0100 | Walther Neuper | lucin: Accept_Tac sets to Skip_ (later: found = true) instead of AppUndef_ (later false) | changeset | files |
| Wed, 22 Jan 2020 11:20:54 +0100 | Walther Neuper | lucin: tests towards simpl. Lucin.scan* | changeset | files |
| Tue, 21 Jan 2020 09:09:11 +0100 | Walther Neuper | lucin: towards simplifying Lucin.scan* | changeset | files |
| Mon, 20 Jan 2020 14:38:46 +0100 | Walther Neuper | determine structure for TODO.thy | changeset | files |
| Mon, 20 Jan 2020 11:48:59 +0100 | Walther Neuper | postpone separation of Tactic | changeset | files |
| Mon, 20 Jan 2020 11:11:56 +0100 | Walther Neuper | lucin: cleanup Istate (doubled code in Istate_Def) | changeset | files |
| Sun, 19 Jan 2020 16:38:07 +0100 | Walther Neuper | tuned | changeset | files |
| Fri, 17 Jan 2020 14:10:10 +0100 | Walther Neuper | tuned | changeset | files |
| Fri, 17 Jan 2020 13:47:19 +0100 | Walther Neuper | lucin: cleanup code | changeset | files |
| Fri, 17 Jan 2020 13:14:11 +0100 | Walther Neuper | lucin: introduce Calc.T and Program.T | changeset | files |
| Fri, 17 Jan 2020 12:37:21 +0100 | Walther Neuper | lucin: renaming | changeset | files |
| Thu, 16 Jan 2020 15:17:06 +0100 | Walther Neuper | just notes | changeset | files |
| Wed, 15 Jan 2020 13:50:16 +0100 | Walther Neuper | lucin: rename completed | changeset | files |
| Wed, 15 Jan 2020 12:12:44 +0100 | Walther Neuper | lucin: rename fun *2 to fun * with expectation to unify fun * with fun *1 | changeset | files |
| Wed, 15 Jan 2020 12:01:13 +0100 | Walther Neuper | tuned | changeset | files |
| Wed, 15 Jan 2020 11:47:38 +0100 | Walther Neuper | preps for IJCAR paper | changeset | files |
| Mon, 30 Dec 2019 11:16:00 +0100 | Walther Neuper | lucin: add session for IJCAR paper | changeset | files |
| Mon, 23 Dec 2019 16:58:36 +0100 | Walther Neuper | shift code from mathengine-stateless.sml to Step.do_next | changeset | files |
| Mon, 23 Dec 2019 16:38:09 +0100 | Walther Neuper | rm code replaced in previous change set | changeset | files |
| Mon, 23 Dec 2019 15:41:36 +0100 | Walther Neuper | separate Step_Specify, Step_Solve, Step for do_next and by_tactic | changeset | files |
| Mon, 23 Dec 2019 11:12:24 +0100 | Walther Neuper | lucin: unify signatures of Step* | changeset | files |
| Sat, 21 Dec 2019 18:05:13 +0100 | Walther Neuper | lucin: unify do_next postponed | changeset | files |
| Sat, 21 Dec 2019 16:45:10 +0100 | Walther Neuper | lucin: unify do_next, partially | changeset | files |
| Sat, 21 Dec 2019 16:07:18 +0100 | Walther Neuper | lucin: unify Step_Solve.by_tactic -- Lucin(NEW).by_tactic, partially | changeset | files |
| Sat, 21 Dec 2019 15:17:46 +0100 | Walther Neuper | lucin: prep. unify Step_Solve.by_tactic -- Lucin(NEW).by_tactic | changeset | files |
| Sat, 21 Dec 2019 13:34:02 +0100 | Walther Neuper | shift appropriate funs to Pos. | changeset | files |
| Sat, 21 Dec 2019 13:04:56 +0100 | Walther Neuper | lucin: prep. unify Step_Solve.by_tactic -- Lucin(NEW).by_tactic | changeset | files |
| Fri, 20 Dec 2019 10:24:52 +0100 | Walther Neuper | ok again Test_Isac_Short since last 2 change sets | changeset | files |
| Fri, 20 Dec 2019 09:57:45 +0100 | Walther Neuper | cleanup code | changeset | files |
| Fri, 20 Dec 2019 09:41:11 +0100 | Walther Neuper | remove unused fun mk_tac'_, get_form | changeset | files |
| Thu, 19 Dec 2019 17:41:51 +0100 | Walther Neuper | tuned | changeset | files |
| Thu, 19 Dec 2019 17:37:25 +0100 | Walther Neuper | lucin: unify fun.ids. for locate_input_tactic | changeset | files |
| Thu, 19 Dec 2019 16:53:52 +0100 | Walther Neuper | lucin: update TODO | changeset | files |
| Thu, 19 Dec 2019 16:41:57 +0100 | Walther Neuper | cleanup fun solve, shift from Solve --> Step_Solve | changeset | files |
| Thu, 19 Dec 2019 12:40:17 +0100 | Walther Neuper | lucin: various investigations (a chaos change set) | changeset | files |
| Wed, 18 Dec 2019 15:33:27 +0100 | Walther Neuper | prep. intro. of Step | changeset | files |
| Wed, 18 Dec 2019 14:48:43 +0100 | Walther Neuper | cleanup, unify code for Check_Postcond' | changeset | files |
| Wed, 18 Dec 2019 12:40:49 +0100 | Walther Neuper | cleanup OLD NEW | changeset | files |
| Wed, 18 Dec 2019 11:34:10 +0100 | Walther Neuper | tuned | changeset | files |
| Wed, 18 Dec 2019 11:31:31 +0100 | Walther Neuper | lucin: plan for new identifiers of steps | changeset | files |
| Wed, 18 Dec 2019 11:02:32 +0100 | Walther Neuper | hack until review of Specify | changeset | files |
| Tue, 17 Dec 2019 17:52:48 +0100 | Walther Neuper | revert previous changeset, see TODO.thy | changeset | files |
| Tue, 17 Dec 2019 17:19:34 +0100 | Walther Neuper | shift tactic.sml after ctree.sml, leave tactic-def.sml before | changeset | files |
| Tue, 17 Dec 2019 16:35:29 +0100 | Walther Neuper | tuned | changeset | files |
| Tue, 17 Dec 2019 16:33:24 +0100 | Walther Neuper | tuned | changeset | files |
| Tue, 17 Dec 2019 16:31:46 +0100 | Walther Neuper | lucin: shift Istate into Interpret/ from MathEngBasic | changeset | files |
| Mon, 16 Dec 2019 15:56:20 +0100 | Walther Neuper | rollback | changeset | files |
| Mon, 16 Dec 2019 15:38:13 +0100 | Walther Neuper | shift datatype appl: Chead --> Applicable | changeset | files |
| Mon, 16 Dec 2019 14:03:16 +0100 | Walther Neuper | lucin: re-build determine_next_tactic, "ONE ERROR" outcommented | changeset | files |
| Sat, 14 Dec 2019 13:36:40 +0100 | Walther Neuper | remove tracing, which interfere with current investigations | changeset | files |
| Sat, 14 Dec 2019 09:41:17 +0100 | Walther Neuper | lucin: drop unnecessary call of determine_next_tactic | changeset | files |
| Fri, 13 Dec 2019 15:56:10 +0100 | Walther Neuper | lucin: prep.re-build of determine_next_tactic in Test_Some.thy: return values used | changeset | files |
| Thu, 12 Dec 2019 10:09:29 +0100 | Walther Neuper | lucin: cleanup fun interpret_leaf | changeset | files |