Tue, 04 Feb 2020 17:11:54 +0100 | lucin: rename central structure to Lucin | file | diff | annotate |
Tue, 04 Feb 2020 16:27:54 +0100 | lucin: set_found ONCE in locate_input_tactic makes "fun me" work | file | diff | annotate |
Wed, 22 Jan 2020 11:20:54 +0100 | lucin: tests towards simpl. Lucin.scan* | file | diff | annotate |