src/Pure/library.scala
Tue, 14 May 2013 15:40:18 +0200 wenzelm more frugal line termination, to cope with huge log files (see also 016cb7d8f297);
Tue, 14 May 2013 13:46:33 +0200 wenzelm more scalable Library.separate -- NB: JVM has tiny fixed-size stack;
Thu, 04 Apr 2013 17:58:47 +0200 wenzelm tuned signature -- concentrate GUI tools;
Sat, 12 Jan 2013 20:13:34 +0100 wenzelm tuned font size, notably for current HD displays;
Sat, 12 Jan 2013 17:28:07 +0100 wenzelm tuned signature;
Sat, 12 Jan 2013 15:00:48 +0100 wenzelm immediate theory progress for build_dialog;
Fri, 14 Dec 2012 21:50:21 +0100 wenzelm tuned error dialog;
less more (0) -30 -10 -7 tip