| Thu, 24 Mar 2011 16:47:24 +0100 | wenzelm | more direct loose_bvar1; | changeset | files |
| Thu, 24 Mar 2011 13:54:39 +0100 | wenzelm | indentation; | changeset | files |
| Thu, 24 Mar 2011 11:45:39 +0100 | wenzelm | update_name: more uniform treatment of type constraints (NB: type equality is hard to establish in parse trees); | changeset | files |
| Wed, 23 Mar 2011 21:07:05 +0100 | wenzelm | added editor mode line; | changeset | files |
| Wed, 23 Mar 2011 20:57:37 +0100 | wenzelm | isolate change of Proofterm.proofs in TPTP.thy from rest of session; | changeset | files |
| Wed, 23 Mar 2011 20:51:36 +0100 | wenzelm | list Isabelle tools via perl script, which is much faster that bash plumbing, especially on Cygwin; | changeset | files |