From Don Smith,
March 31, 2004:

Accomplishments:
    Implemented Intuitionistic Propositional Prover for Focussing calculus
    Made a different version that uses Dyckhoff's technique for implication
    Downloaded SWI Prolog and got familiar with its module system and features (like call_with_depth_limit for iterative deepening)
    Created various modules:  utilities, test cases, prover (focussing), proverD(focussing with Dyckhoff)
    Made several dozen test cases (propositional)
    Made routines for checking test cases.
    Made routines for generating (and trying to prove) random formulas of a specified depth.
    Made routines for comparing different provers.
   Wrote classical propositional tautology checker (to help check intuitionistic prover)
    Wrote syntax translator from the (similar) syntax of LeanTap
    Got LeanTap running (for comparison), including its collection of test cases
    Translated check and syn from asst.sml
    Downloaded and installed CVS for Windows, along with Python (needed for cvs)