Sat, 05 Mar 2022 10:48:45 +0100 wenzelm clarified command-line options;
Sat, 05 Mar 2022 10:44:07 +0100 wenzelm update official Isabelle release, notably for "Admin/init -R";
Fri, 04 Mar 2022 23:22:39 +0100 wenzelm more robust;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip