| 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 |