| 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 |
| Tue, 29 Dec 2015 21:54:18 +0100 | wenzelm | updated isabelle_fonts; | changeset | files |
| Tue, 29 Dec 2015 21:51:58 +0100 | wenzelm | more arrow symbols; | changeset | files |
| Tue, 29 Dec 2015 20:58:18 +0100 | wenzelm | more arrow symbols; | changeset | files |
| Tue, 29 Dec 2015 19:11:23 +0100 | wenzelm | eliminated obscure macro that is in conflict with amsmath.sty; | changeset | files |
| Tue, 29 Dec 2015 17:54:45 +0100 | wenzelm | more abbrevs; | changeset | files |