| Wed, 30 Dec 2015 17:55:43 +0100 | wenzelm | more symbols; | changeset | files |
| Wed, 30 Dec 2015 17:45:18 +0100 | wenzelm | clarified syntax; | changeset | files |
| Wed, 30 Dec 2015 17:38:57 +0100 | wenzelm | clarified print modes; | changeset | files |
| Wed, 30 Dec 2015 17:18:32 +0100 | wenzelm | proper latex setup; | changeset | files |
| Wed, 30 Dec 2015 14:55:26 +0100 | wenzelm | proper latex setup; | changeset | files |
| Wed, 30 Dec 2015 14:05:51 +0100 | wenzelm | more symbols; | changeset | files |
| Wed, 30 Dec 2015 11:37:29 +0100 | wenzelm | isabelle update_cartouches -c -t; | changeset | files |
| Wed, 30 Dec 2015 11:32:56 +0100 | wenzelm | tuned java options; | changeset | files |
| Wed, 30 Dec 2015 11:21:54 +0100 | wenzelm | more symbols; | changeset | files |
| Tue, 29 Dec 2015 23:50:44 +0100 | wenzelm | simplified abbrevs: exploit ambiguity; | changeset | files |
| Tue, 29 Dec 2015 23:40:04 +0100 | wenzelm | more symbols; | changeset | files |
| Tue, 29 Dec 2015 23:20:11 +0100 | wenzelm | more symbols; | changeset | files |
| Tue, 29 Dec 2015 23:04:53 +0100 | wenzelm | more symbols; | changeset | files |
| Tue, 29 Dec 2015 22:41:22 +0100 | wenzelm | avoid immediate completion as ASCII versions that are still used; | changeset | files |
| Tue, 29 Dec 2015 22:21:28 +0100 | wenzelm | tuned order for isar-ref manual; | changeset | files |
| Tue, 29 Dec 2015 22:03:02 +0100 | wenzelm | more symbols; | changeset | files |