isabelle: Changelog

wenzelm [Thu, 20 Aug 2020 15:45:22 +0200] rev 72180

update to kodkodi-1.5.4-1;

wenzelm [Thu, 20 Aug 2020 14:22:49 +0200] rev 72179

clarified signature;

wenzelm [Wed, 19 Aug 2020 20:14:41 +0200] rev 72178

more realistic kodkod invocation, imitating command-line tool;

wenzelm [Wed, 19 Aug 2020 13:29:53 +0200] rev 72177

update to kodkodi-1.5.4; more realistic kodkod invocation;

wenzelm [Tue, 18 Aug 2020 18:23:17 +0200] rev 72176

rudiments of Scala interface for Kodkod;

wenzelm [Tue, 18 Aug 2020 17:58:35 +0200] rev 72175

updated to kodkodi-1.5.3: include KODKODI_CLASSPATH for Isabelle/Scala;

blanchet [Thu, 20 Aug 2020 11:52:46 +0200] rev 72174

basic integration of Zipperposition 2.0

blanchet [Thu, 20 Aug 2020 11:52:45 +0200] rev 72173

tuned Mirabelle comments

paulson <lp15@cam.ac.uk> [Thu, 20 Aug 2020 10:39:26 +0100] rev 72172

two more lex fixes

paulson <lp15@cam.ac.uk> [Wed, 19 Aug 2020 14:58:02 +0100] rev 72171

more lex fixes

isabelle