Sun, 24 May 2020 21:01:51 +0200 wenzelm proper stack_limit;
Sun, 24 May 2020 20:59:34 +0200 wenzelm clarified signature;
Sun, 24 May 2020 20:35:24 +0200 wenzelm more accurate classpath for "isabelle scala";
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip