Sat, 14 Dec 2019 13:36:40 +0100 |
remove tracing, which interfere with current investigations
|
file | diff | annotate |
Fri, 29 Nov 2019 15:22:29 +0100 |
lucin: fun determine_next_tactic gets envisaged arguments
|
file | diff | annotate |
Wed, 27 Nov 2019 18:47:26 +0100 |
lucin: push ctxt further into interpreter
|
file | diff | annotate |
Tue, 26 Nov 2019 17:06:12 +0100 |
lucin: cleanup ContextC, partially
|
file | diff | annotate |
Sat, 16 Nov 2019 17:13:52 +0100 |
lucin: consolidate Tactic, 1st
|
file | diff | annotate |
Thu, 14 Nov 2019 12:08:05 +0100 |
tuned
|
file | diff | annotate |
Thu, 14 Nov 2019 12:00:13 +0100 |
tuned
|
file | diff | annotate |
Wed, 13 Nov 2019 15:52:03 +0100 |
lucin: renaming in structure Istate
|
file | diff | annotate |
Wed, 13 Nov 2019 12:06:40 +0100 |
lucin: suppose determine_next_tactic unnecessary in solve Apply_Method'
|
file | diff | annotate |
Wed, 13 Nov 2019 10:28:35 +0100 |
open Pos with Ctree; !!!in previous changeset no Build_Isac!!!
|
file | diff | annotate |
Wed, 13 Nov 2019 10:21:51 +0100 |
separate structure Pos: POSITION
|
file | diff | annotate |
Wed, 06 Nov 2019 15:08:27 +0100 |
lucin: args of appy, assy & Co reorganised
|
file | diff | annotate |
Mon, 04 Nov 2019 11:40:29 +0100 |
[Test_Isac] lucin: remove Istate.get_*, unnecessary for record.
|
file | diff | annotate |
Thu, 31 Oct 2019 13:48:06 +0100 |
tuned
|
file | diff | annotate |
Thu, 31 Oct 2019 10:41:42 +0100 |
lucin: extend Pstate with an additional flag
|
file | diff | annotate |
Wed, 30 Oct 2019 13:59:49 +0100 |
lucin: rule-set for evaluation works in istate
|
file | diff | annotate |
Wed, 30 Oct 2019 11:02:41 +0100 |
lucin: extend istate with rule-set vor evaluation
|
file | diff | annotate |
Sun, 27 Oct 2019 12:10:57 +0100 |
lucin: replace Istate.safe by Istate.appy_
|
file | diff | annotate |
Sat, 19 Oct 2019 11:01:11 +0200 |
lucin: cleanup args in lucas-interpreter, assy works
|
file | diff | annotate |
Fri, 18 Oct 2019 17:00:36 +0200 |
lucin: cleanup args in lucas-interpreter, new assy with errors outcommented
|
file | diff | annotate |
Thu, 10 Oct 2019 19:54:51 +0200 |
[Test_Isac] NEW locate_input_tactic works except 3 tests in Knowledge/polyminus.sml
|
file | diff | annotate |
Wed, 09 Oct 2019 12:28:46 +0200 |
[Test_Isac] NEW locate_input_tactic works in Test_Some
|
file | diff | annotate |
Tue, 08 Oct 2019 15:32:42 +0200 |
[Test_Isac] cp NEW locate_input_tactic from Test_Some to src ..
|
file | diff | annotate |
Mon, 07 Oct 2019 17:21:47 +0200 |
tuned
|
file | diff | annotate |
Mon, 07 Oct 2019 11:11:32 +0200 |
tuned
|
file | diff | annotate |
Sat, 05 Oct 2019 11:47:02 +0200 |
lucin: clarify signature for locate_input_tactic, prep.
|
file | diff | annotate |
Sun, 22 Sep 2019 14:51:29 +0200 |
remove updates for test-mode, i.e. an accident from previous changeset
|
file | diff | annotate |
Sun, 22 Sep 2019 14:47:35 +0200 |
lucin: shift ListC.thy into ProgLang
|
file | diff | annotate |
Tue, 03 Sep 2019 12:40:27 +0200 |
lucin: reorganise theories in ProgLang
|
file | diff | annotate |
Wed, 28 Aug 2019 11:21:26 +0200 |
reorganised MathEngine/ BridgeLibisabelle/
|
file | diff | annotate | base |