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;
Walther Neuper <walther.neuper@jku.at> [Tue, 13 Apr 2021 14:07:17 +0200] rev 60190
repair setup for session "Doc" cf.751b8a13c271
Walther Neuper <walther.neuper@jku.at> [Tue, 13 Apr 2021 13:20:05 +0200] rev 60189
trial with setup for session "Doc", unsuccessful