| Sun, 10 Dec 2017 18:31:41 +0100 | wenzelm | re-implemented "isabelle document" in Isabelle/Scala, include latex_errors here; | changeset | files |
| Sun, 10 Dec 2017 14:50:44 +0100 | wenzelm | removed Emacs legacy; | changeset | files |
| Sun, 10 Dec 2017 14:45:12 +0100 | wenzelm | more robust Windows support; | changeset | files |