The Twelf Project:To do/Syntax highlighting

• An identifier within a lemma without a leading <- is interpreted as a new keyword (is this fixable?)

Done

• * is not recognized as part of an identifier — Rob (and his talk) 13:21, 30 September 2006 (EDT)
• %block is not recognized as a keyword — Rob (and his talk) 13:21, 30 September 2006 (EDT)
• %infix, %postfix, %prefix not keywords.  — Tom 7 10:49, 5 October 2006 (EDT) — Rob (and his talk) 19:06, 5 October 2006 (EDT)
• Doesn't dig many other characters in identifiers: > < &, etc.  — Tom 7 10:49, 5 October 2006 (EDT)

• Made some fixes, other ones will be more complicated (because it's actually syntax higlighting &gt, not >) — Rob (and his talk) 19:06, 5 October 2006 (EDT)

• Whoa: CPS conversion (scroll down)  — Tom 7 19:11, 5 October 2006 (EDT)

• I think I fixed all the crazy stuff. Did I fix all the crazy stuff? — Rob (and his talk) 00:51, 7 October 2006 (EDT)

• fuNNY : type.

  looks bad.  — Varming Sat Oct 7 00:52:14 EDT 2006