| Thu, 31 Dec 2015 21:43:54 +0100 | wenzelm | updated to SML/NJ 110.79; | changeset | files |
| Thu, 31 Dec 2015 21:24:58 +0100 | wenzelm | misc tuning for release; | changeset | files |
| Thu, 31 Dec 2015 21:06:09 +0100 | wenzelm | misc updates for release; | changeset | files |
| 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 |
| Thu, 31 Dec 2015 12:43:09 +0100 | wenzelm | clarified directory structure; | changeset | files |
| Thu, 31 Dec 2015 12:37:16 +0100 | wenzelm | updated isabelle_fonts; | changeset | files |
| Thu, 31 Dec 2015 12:20:10 +0100 | wenzelm | proper diamond from lasy10; | changeset | files |
| Thu, 31 Dec 2015 00:07:42 +0100 | wenzelm | modernized defs; | changeset | files |
| Wed, 30 Dec 2015 22:09:44 +0100 | wenzelm | more symbols; | changeset | files |
| Wed, 30 Dec 2015 22:05:00 +0100 | wenzelm | more symbols; | changeset | files |
| Wed, 30 Dec 2015 21:57:52 +0100 | wenzelm | isabelle update_cartouches -c -t; | changeset | files |
| Wed, 30 Dec 2015 21:56:12 +0100 | wenzelm | more symbols; | changeset | files |
| Wed, 30 Dec 2015 21:52:00 +0100 | wenzelm | more symbols; | changeset | files |
| Wed, 30 Dec 2015 21:35:21 +0100 | wenzelm | more symbols; | changeset | files |
| Wed, 30 Dec 2015 21:23:38 +0100 | wenzelm | clarified print modes; | changeset | files |
| Wed, 30 Dec 2015 21:10:19 +0100 | wenzelm | updated print modes; | changeset | files |
| Wed, 30 Dec 2015 21:05:15 +0100 | wenzelm | modernized Isabelle document markup; | changeset | files |
| Wed, 30 Dec 2015 20:50:08 +0100 | wenzelm | clarified print modes: Isabelle symbols are used by default, but "latex" mode needs to be for some syntax forms; | changeset | files |
| Wed, 30 Dec 2015 20:30:42 +0100 | wenzelm | clarified print modes; | changeset | files |
| Wed, 30 Dec 2015 20:24:43 +0100 | wenzelm | more symbols; | changeset | files |
| Wed, 30 Dec 2015 20:12:26 +0100 | wenzelm | more symbols; | changeset | files |
| Wed, 30 Dec 2015 20:11:19 +0100 | wenzelm | removed junk; | changeset | files |