1. November 2008
    1. Week 1
    2. Week 2/3

November 2008

Week 1

  • familiarizing with javacc
  • syntax of MathML understood
  • one way for notation declaration in ASCII, need to be agreed on it.

Week 2/3

  • meeting with Christoph about the ASCII syntax.
  • Done #133, but still more testing for more complex examples.
  • code for variables
  • working on application and binders, need confirmation about the real syntax.