| Mon, 16 Sep 2013 17:13:38 +0200 | wenzelm | distinguish Proof.context vs. local_theory semantically, with corresponding naming conventions; | changeset | files |
| Mon, 16 Sep 2013 17:04:28 +0200 | wenzelm | tuned white space; | changeset | files |
| Mon, 16 Sep 2013 16:50:49 +0200 | wenzelm | adhoc check of ML sources, in addition to thy files already covered in Thy_Load; | changeset | files |
| Mon, 16 Sep 2013 16:46:52 +0200 | wenzelm | proper Isabelle symbols -- no UTF8 here; | changeset | files |
| Mon, 16 Sep 2013 14:21:07 +0200 | wenzelm | proper Cygwin mirror for Isabelle2013-1; | changeset | files |
| Mon, 16 Sep 2013 13:56:02 +0200 | wenzelm | explicit test of quick_and_dirty, which is rarely used in practice; | changeset | files |
| Mon, 16 Sep 2013 13:54:58 +0200 | wenzelm | updated to cygwin-20130916; | changeset | files |