src/Pure/Thy/present.scala
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