Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-06-14 16:15:39 -0700 (Wed, 14 Jun 2000)
Revision: 3015
Log message:

      I reformatted the TODO file from Emacs "outline" mode to a numbered text file.
      We want to have numbers so that we can refer to items.
      
      When items are added to or removed from BUGS and TODO files, we should not do
      any renumbering to make sure the numbers stay the same.
      
      Fixed a small problem with ITT <-> Jprover interface.
      

Changes	Path
+1 -0	metaprl/BUGS
+1 -1	metaprl/theories/itt/itt_logic.ml