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