| Thu, 24 Jul 2014 00:24:00 +0200 | blanchet | use termtab instead of (perhaps overly sensitive) thmtab | changeset | files |
| Thu, 24 Jul 2014 00:24:00 +0200 | blanchet | use the noted theorem whenever possible, because it has a named derivation (leading to cleaner proof terms) | changeset | files |
| Wed, 23 Jul 2014 23:16:44 +0200 | wenzelm | tuned message; | changeset | files |
| Wed, 23 Jul 2014 23:08:22 +0200 | wenzelm | added action "isabelle.options" (despite problems with initial window size); | changeset | files |
| Wed, 23 Jul 2014 21:02:45 +0200 | wenzelm | more official Thy_Info.script_thy; | changeset | files |
| Wed, 23 Jul 2014 21:01:28 +0200 | wenzelm | more frugal edits; | changeset | files |
| Wed, 23 Jul 2014 18:16:04 +0200 | wenzelm | enable hires explictly, as seen for other high-end Java applications on the Web; | changeset | files |
| Wed, 23 Jul 2014 18:14:59 +0200 | wenzelm | more markup; | changeset | files |