| Mon, 03 Nov 2014 14:50:27 +0100 | wenzelm | eliminated unused int_only flag (see also c12484a27367); | changeset | files |
| Mon, 03 Nov 2014 14:31:15 +0100 | wenzelm | eliminated obsolete Proof.goal_message -- print outcome more directly; | changeset | files |
| Mon, 03 Nov 2014 09:25:23 +0100 | wenzelm | updated to scala-2.11.4; | changeset | files |
| Sun, 02 Nov 2014 23:13:31 +0100 | wenzelm | less ambitious isatest: polyml-5.3.0 has problems with big sessions like HOL-Proofs; | changeset | files |
| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | changeset | files |
| Sun, 02 Nov 2014 18:21:14 +0100 | wenzelm | prefer \setisabellecontext; | changeset | files |
| Sun, 02 Nov 2014 18:16:19 +0100 | wenzelm | modernized header; | changeset | files |
| Sun, 02 Nov 2014 17:58:35 +0100 | wenzelm | modernized header; | changeset | files |