| Mon, 16 Dec 2019 15:56:20 +0100 | rollback | file | diff | annotate |
| Mon, 16 Dec 2019 15:38:13 +0100 | shift datatype appl: Chead --> Applicable | file | diff | annotate |
| Sat, 30 Nov 2019 15:43:14 +0100 | lucin: prep. next_tactic_result, Accept_Tac2 takes ctxt in addition | 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 |
| 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 |
| Sat, 26 Oct 2019 13:03:16 +0200 | separate common base for Specify and Interpret | file | diff | annotate | base |