TODO
                            -----


TODO tasks.
-----------
    
    2004-08-24

    * See what can be used from the IQT effort. Genrate interactive exercise
      from static xml.

    2004-09-09.

    * Modify theories to support all kind of queries (methods with a given
      name, metadata, backwards and forwards entailments, etc).
    * Add support for input testing (permutations, polynomials, etc).