Fri, 27 Jul 2018 17:27:42 +0200 wenzelm proper maxidx: if x does not occur in A, its maxidx could get lost;
Fri, 27 Jul 2018 16:21:09 +0200 wenzelm tuned;
Thu, 26 Jul 2018 15:19:56 +0200 wenzelm more flexible session selection as in "isabelle jedit";
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip