| Mon, 27 Nov 2017 11:40:41 +0100 | wenzelm | proper treatment of multi-line cartouche as rudiment of antiquotation, e.g. relevant for syntax-highlighting in Isabelle/jEdit; | changeset | files |
| Mon, 27 Nov 2017 10:36:43 +0100 | wenzelm | more symbols; | changeset | files |
| Mon, 27 Nov 2017 10:21:52 +0100 | wenzelm | prefer Input.source (via cartouche); | changeset | files |
| Mon, 27 Nov 2017 10:04:17 +0100 | wenzelm | updated documentation: JVM is always 64bit; | changeset | files |
| Sun, 26 Nov 2017 21:08:32 +0100 | wenzelm | more symbols; | changeset | files |
| Sun, 26 Nov 2017 13:19:52 +0100 | wenzelm | clarified lazy lexicons within Keywords: measurable speedup of Sessions.deps; | changeset | files |