| Fri, 24 Apr 2015 19:08:43 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 24 Apr 2015 16:12:20 +0200 | wenzelm | tuned message, in accordance to ML side; | changeset | files |
| 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 |