src/Pure/Thy/present.scala
Wed, 15 Apr 2015 15:27:45 +0200 wenzelm tuned signature, clarified modules;
Tue, 14 May 2013 19:30:21 +0200 wenzelm tuned signature;
Wed, 13 Mar 2013 15:08:38 +0100 wenzelm do not absorb I/O errors;
Tue, 12 Mar 2013 22:44:03 +0100 wenzelm proper path -- I/O was hidden due to permissiveness;
Tue, 12 Mar 2013 20:03:04 +0100 wenzelm include session description in chapter index;
Tue, 12 Mar 2013 16:47:24 +0100 wenzelm discontinued "isabelle usedir" option -r (reset session path);
Thu, 03 Jan 2013 20:42:18 +0100 wenzelm maintain session index on Scala side, for more determistic results;
less more (0) tip