| Fri, 17 Mar 2017 20:57:20 +0100 | wenzelm | prefer database, but also accept log.gz from historic versions; | changeset | files |
| Fri, 17 Mar 2017 20:33:27 +0100 | wenzelm | more robust JDBC initialization, e.g. required for Isabelle/jEdit startup; | changeset | files |
| Fri, 17 Mar 2017 20:21:01 +0100 | wenzelm | maintain persistent session info in SQLite database instead of log file; | changeset | files |