| Fri, 24 Apr 2015 15:02:12 +0200 | wenzelm | tuned settings to avoid sporadic crashes; | changeset | files |
| Fri, 24 Apr 2015 14:56:47 +0200 | wenzelm | clarified settings for default Poly/ML version: test the actual Isabelle component; | changeset | files |
| Wed, 22 Apr 2015 23:26:14 +0200 | blanchet | avoid binding warning in Nitpick | changeset | files |
| Wed, 22 Apr 2015 19:52:29 +0200 | blanchet | doc | changeset | files |
| Wed, 22 Apr 2015 20:16:28 +0200 | wenzelm | clarified permissions; | changeset | files |
| Wed, 22 Apr 2015 20:14:43 +0200 | wenzelm | allow diagnostic proof commands with skip_proofs; | changeset | files |
| Wed, 22 Apr 2015 19:48:32 +0200 | wenzelm | tuned signature; | changeset | files |