| Wed, 15 Jan 2020 19:46:04 +0100 | wenzelm | tuned -- avoid deprecated constructors; | changeset | files |
| Wed, 15 Jan 2020 19:45:06 +0100 | wenzelm | proper comparison of Option values, following hint by IntelliJ; | changeset | files |
| Wed, 15 Jan 2020 16:18:24 +0100 | wenzelm | unused -- clone of Option.apply; | changeset | files |
| Wed, 15 Jan 2020 15:05:33 +0100 | wenzelm | added "isabelle scala_project" to support e.g. IntelliJ IDEA; | changeset | files |