| Thu, 31 Dec 2015 20:57:00 +0100 | wenzelm | expand hard tabs; | changeset | files |
| Thu, 31 Dec 2015 20:40:28 +0100 | wenzelm | documentation for "isabelle jedit_client"; | changeset | files |
| Thu, 31 Dec 2015 19:53:19 +0100 | wenzelm | discontinued documentation of old browser; | changeset | files |
| Thu, 31 Dec 2015 15:27:25 +0100 | wenzelm | more precise context -- potentially relevant for Eisbach dummy thm; | changeset | files |
| Thu, 31 Dec 2015 15:26:14 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 31 Dec 2015 13:12:47 +0100 | wenzelm | updated sumatra_pdf; | changeset | files |
| Thu, 31 Dec 2015 12:55:39 +0100 | wenzelm | clarified imports; | changeset | files |