wenzelm [Sat, 17 Apr 2021 20:41:09 +0200] rev 60200
avoid changes to Isabelle sources:
use existing ML pretty printing for Position.T and Token.T;
use copies SPARK FDL modules for experimentation, instead of modified originals;
wenzelm [Sat, 17 Apr 2021 20:37:13 +0200] rev 60199
avoid experimental changes to Isabelle sources;
Walther Neuper <walther.neuper@jku.at> [Sat, 17 Apr 2021 18:44:27 +0200] rev 60198
deleted ~~/contrib
Walther Neuper <walther.neuper@jku.at> [Sat, 17 Apr 2021 18:35:43 +0200] rev 60197
user requirements on terms
wenzelm [Sat, 17 Apr 2021 17:53:30 +0200] rev 60196
make this appear like a repository clone of Isabelle2021 --- with proper Admin directory (e.g. required to build jars on the spot);
wenzelm [Sat, 17 Apr 2021 17:51:44 +0200] rev 60195
proper file name;
wenzelm [Sat, 17 Apr 2021 17:49:46 +0200] rev 60194
add missing files;
wenzelm [Fri, 16 Apr 2021 23:57:40 +0200] rev 60193
missing file from Isabelle2021;
wenzelm [Fri, 16 Apr 2021 22:29:23 +0200] rev 60192
prefer symbolic directories $ISABELLE_ISAC and $ISABELLE_ISAC_TEST, instead of re-using ~~ for $ISABELLE_HOME;
wenzelm [Fri, 16 Apr 2021 22:13:43 +0200] rev 60191
more explicit components;