| Wed, 05 Mar 2014 19:57:41 +0100 | wenzelm | tuned color (cf. jEdit FUNCTION); | changeset | files |
| Wed, 05 Mar 2014 19:52:28 +0100 | wenzelm | tuned; | changeset | files |
| 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 |