The Twelf Project:To do/Syntax highlighting

From The Twelf Project
Jump to: navigation, search
  • 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 identifierRob (and his talk) 13:21, 30 September 2006 (EDT)
  • %block is not recognized as a keywordRob (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)
  • 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