| Fri, 29 Nov 2019 15:22:29 +0100 |
lucin: fun determine_next_tactic gets envisaged arguments
|
file | diff | annotate |
| Mon, 25 Nov 2019 16:39:52 +0100 |
lucin: renaming in scanning the parse-tree
|
file | diff | annotate |
| Tue, 19 Nov 2019 14:19:44 +0100 |
lucin: improve naming for constructors in scans
|
file | diff | annotate |
| Sat, 16 Nov 2019 20:11:28 +0100 |
lucin: simplify scan for locate_input_tactic according to 86f2102fd7a8
|
file | diff | annotate |
| Thu, 14 Nov 2019 16:24:42 +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 15:27:17 +0100 |
renaming in structure Env
|
file | diff | annotate |
| Thu, 07 Nov 2019 10:43:32 +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 18:34:29 +0100 |
lucin: renaming for paper
|
file | diff | annotate |
| Mon, 04 Nov 2019 11:40:29 +0100 |
[Test_Isac] lucin: remove Istate.get_*, unnecessary for record.
|
file | diff | annotate |
| Mon, 04 Nov 2019 09:04:23 +0100 |
[Test_Isac] lucin: reorganise args of appy, assy & Co
|
file | diff | annotate |
| Thu, 31 Oct 2019 13:38:25 +0100 |
[Test_Isac] lucin: make istate a record for pattern matching
|
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 |
| Sat, 26 Oct 2019 13:03:16 +0200 |
separate common base for Specify and Interpret
|
file | diff | annotate | base |