Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-04 12:23:54 -0700 (Fri, 04 Jun 2004)
Revision: 5851
Log message:
This update is just a rearrangement of the code to make it a bit more manageable:
- Moved a number of common types from Proof_edit to Shell_sig (the types are
all related and it is nice to have them in the same place).
- Inlined package_sig.mlz into package_info.mli (since we had a signature that
was only referred to once).
- Inlined Package_info.Package into Package_info (no need to have extra
indirection).