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 |