| Wed, 05 Mar 2014 18:26:35 +0100 | wenzelm | more markup for inner syntax class/type names (notably for completion); | changeset | files |
| Wed, 05 Mar 2014 17:36:40 +0100 | wenzelm | tuned proofs; | changeset | files |
| Wed, 05 Mar 2014 16:16:36 +0100 | wenzelm | back to stable polyml-5.5.1, due to problems with Poly/ML SVN 1913 and HOL-Proofs (Fail "Insufficient memory"); | changeset | files |
| Wed, 05 Mar 2014 16:13:24 +0100 | wenzelm | more explicit quasi_keyword markup, for Args.$$$ material, which is somewhere in between of outer and inner syntax; | changeset | files |
| Wed, 05 Mar 2014 16:06:11 +0100 | wenzelm | unused; | changeset | files |
| Wed, 05 Mar 2014 15:25:52 +0100 | wenzelm | special treatment of method combinators like Args.$$$ keywords, although parsed via Parse.$$$; | changeset | files |
| Wed, 05 Mar 2014 15:24:06 +0100 | wenzelm | more thorough (potentially duplicate) markup, e.g. relevant for embedded Args syntax within antiquotations; | changeset | files |