| 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 |
| Wed, 09 Oct 2019 12:28:46 +0200 |
[Test_Isac] NEW locate_input_tactic works in Test_Some
|
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 |
| Fri, 13 Sep 2019 18:35:51 +0200 |
lucin: cleanup thys in ProgLang, in particular Aut_Prog.thy
|
file | diff | annotate |
| Tue, 27 Aug 2019 18:05:54 +0200 |
revert comments cf.8e357be69082
|
file | diff | annotate |
| Tue, 27 Aug 2019 11:59:48 +0200 |
separate Specify/ from Interpret/
|
file | diff | annotate | base |