testboard: Changelog

wenzelm [Tue, 21 Sep 2021 16:23:33 +0200] rev 74697

merged

wenzelm [Tue, 21 Sep 2021 13:14:18 +0200] rev 74696

clarified antiquotations;

wenzelm [Tue, 21 Sep 2021 13:12:14 +0200] rev 74695

ML antiquotations for object-logic judgment;

wenzelm [Tue, 21 Sep 2021 12:35:38 +0200] rev 74694

proper Sign.const_typargs via Theory.add_deps_const/Theory.const_dep;

wenzelm [Tue, 21 Sep 2021 12:25:40 +0200] rev 74693

clarified modules;

wenzelm [Tue, 21 Sep 2021 12:08:41 +0200] rev 74692

clarified modules;

wenzelm [Tue, 21 Sep 2021 11:34:58 +0200] rev 74691

more uniform syntax;

wenzelm [Tue, 21 Sep 2021 11:23:18 +0200] rev 74690

permissive identification, e.g. relevant for HOL-SPARK examples running on rsync-clone;

wenzelm [Tue, 21 Sep 2021 00:20:55 +0200] rev 74689

NEWS;

wenzelm [Tue, 21 Sep 2021 00:20:47 +0200] rev 74688

bundle lattice_syntax / no_lattice_syntax supersedes theory HOL-Library.Lattice_Syntax;

testboard