Milawa Sources Readme

Files

  Sources/COPYING
    -- Obligatory copy of the GNU General Public License

  Sources/OMakefile
  Sources/OMakeroot
    -- Build files for OMake

  Sources/milawa.lisp 
    -- The core proof checker (complete and stand-alone) 

  Sources/report-time.rb
    -- Tool for seeing which events took longest to process


Subdirectories:

  Sources/ACL2/  
    -- Main directory: ACL2 proofs + User Interface + Bootstrapping
    -- Basically everything you want is here.

  Sources/Build/
    -- Supporting files for the build system

  Sources/Isabelle/
    -- Preliminary work on formalizing the Milawa core in Isabelle/HOL
       (old, incomplete, probably terrible!)

  Sources/Support/
    -- I put my supporting programs (Lisp implementations, addjob, ruby, 
       omake, ocaml, etc.) into this directory.  It's not part of SVN
       and isn't important for other folks who want to build.

  Sources/Proofs/
    -- Proof files that have been generated during the bootstrapping 
       process.  These are the files for our "final checks".