| Sat, 16 Nov 2019 17:46:08 +0100 |
lucin: unify scanning to tactics
|
file | diff | annotate |
| Sat, 16 Nov 2019 17:13:52 +0100 |
lucin: consolidate Tactic, 1st
|
file | diff | annotate |
| Wed, 13 Nov 2019 15:52:03 +0100 |
lucin: renaming in structure Istate
|
file | diff | annotate |
| Wed, 13 Nov 2019 15:27:17 +0100 |
renaming in structure Env
|
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:21:51 +0100 |
separate structure Pos: POSITION
|
file | diff | annotate |
| Thu, 07 Nov 2019 11:49:00 +0100 |
lucin: remove step-construction by Rrls
|
file | diff | annotate |
| Thu, 07 Nov 2019 10:43:32 +0100 |
lucin: renaming for paper
|
file | diff | annotate |
| Thu, 07 Nov 2019 09:22:05 +0100 |
lucin: renaming for paper
|
file | diff | annotate |
| Thu, 07 Nov 2019 07:39:58 +0100 |
lucin: renaming for paper
|
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 10:41:42 +0100 |
lucin: extend Pstate with an additional flag
|
file | diff | annotate |
| Wed, 30 Oct 2019 16:46:05 +0100 |
lucin: remove remaining Pstate exhibiting internal structure
|
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 |
| Tue, 22 Oct 2019 17:35:50 +0200 |
lucin: prep. tests for appy & Co with interpretere-state
|
file | diff | annotate |
| Sat, 19 Oct 2019 14:59:09 +0200 |
lucin: assimilate signatures
|
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 |
| Sat, 05 Oct 2019 14:51:46 +0200 |
lucin: clarify signature for locate_input_tactic, prep.
|
file | diff | annotate |
| Mon, 26 Aug 2019 17:40:27 +0200 |
rename Isac.thy --> Isac_Knowledge.thy
|
file | diff | annotate |
| Thu, 22 Aug 2019 12:18:58 +0200 |
lucin: renaming from "script" to "program"
|
file | diff | annotate |
| Thu, 22 Aug 2019 11:26:14 +0200 |
lucin: clarify initialisation of ctxt by ContextC.initialise, initialise'
|
file | diff | annotate |
| Fri, 26 Jul 2019 16:34:41 +0200 |
lucin: prep. test for further improving sig. for locate_input_tactic
|
file | diff | annotate |
| Wed, 24 Jul 2019 11:30:59 +0200 |
lucin: separate interpreter-state and improve type-identifier
|
file | diff | annotate |
| Wed, 24 Jul 2019 10:35:19 +0200 |
lucin: improve type-identifiers for signatures
|
file | diff | annotate |
| Wed, 03 Jul 2019 17:17:55 +0200 |
lucin: new lucas-interpreter in comments
|
file | diff | annotate |
| Wed, 03 Jul 2019 15:30:31 +0200 |
lucin: rename scr --> program
|
file | diff | annotate |
| Wed, 03 Jul 2019 15:09:16 +0200 |
lucin: fix Test_Isac, rename aux-funs in lucas-interpreter.
|
file | diff | annotate |
| Tue, 25 Jun 2019 16:21:18 +0200 |
lucin: adapt tests to new file src/../lucas-interpreter.sml
|
file | diff | annotate |