| Thu, 29 Apr 2010 16:53:08 +0200 | wenzelm | avoid clash with keyword 'write'; | changeset | files |
| Thu, 29 Apr 2010 11:05:13 +0200 | wenzelm | allow mixfix syntax for fixes within a proof body -- should now work thanks to fully authentic syntax; | changeset | files |
| Thu, 29 Apr 2010 11:00:32 +0200 | wenzelm | uniform decoding of fixed/const syntax entities, allows to pass "\<^fixed>foo__" through the syntax layer (supersedes 1b7109c10b7b); | changeset | files |
| Wed, 28 Apr 2010 19:43:45 +0200 | wenzelm | disabled spurious invocation of (interactive) sledgehammer; | changeset | files |
| Wed, 28 Apr 2010 17:29:58 +0200 | wenzelm | merged | changeset | files |
| Wed, 28 Apr 2010 16:56:03 +0200 | blanchet | make Mirabelle happy | changeset | files |
| Wed, 28 Apr 2010 16:47:56 +0200 | blanchet | remove removed option | changeset | files |
| Wed, 28 Apr 2010 16:15:45 +0200 | blanchet | merge | changeset | files |