Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2003-08-18 02:40:30 -0700 (Mon, 18 Aug 2003)
Revision: 4845
Log message:

      Towards compiling UNITY.
      

Changes	Path
+1 -1	metaprl/editor/ml/mpconfig
Properties	metaprl/theories/experimental/unity
Added	metaprl/theories/experimental/unity/Files
Properties	metaprl/theories/experimental/unity/Files
Added	metaprl/theories/experimental/unity/Makefile
Properties	metaprl/theories/experimental/unity/Makefile
Added	metaprl/theories/experimental/unity/OMakefile
Properties	metaprl/theories/experimental/unity/OMakefile
Added	metaprl/theories/experimental/unity/unity_ast.ml
Properties	metaprl/theories/experimental/unity/unity_ast.ml
Added	metaprl/theories/experimental/unity/unity_ast.mli
Properties	metaprl/theories/experimental/unity/unity_ast.mli
Added	metaprl/theories/experimental/unity/unity_source.ml
Properties	metaprl/theories/experimental/unity/unity_source.ml
Added	metaprl/theories/experimental/unity/unity_source.mli
Properties	metaprl/theories/experimental/unity/unity_source.mli
Added	metaprl/theories/experimental/unity/unity_test.ml
Properties	metaprl/theories/experimental/unity/unity_test.ml
Added	metaprl/theories/experimental/unity/unity_test.mli
Properties	metaprl/theories/experimental/unity/unity_test.mli
Added	metaprl/theories/experimental/unity/unity_theory.ml
Properties	metaprl/theories/experimental/unity/unity_theory.ml
Added	metaprl/theories/experimental/unity/unity_theory.mli
Properties	metaprl/theories/experimental/unity/unity_theory.mli
Added	metaprl/theories/experimental/unity/unity_translate.ml
Properties	metaprl/theories/experimental/unity/unity_translate.ml
Added	metaprl/theories/experimental/unity/unity_translate.mli
Properties	metaprl/theories/experimental/unity/unity_translate.mli
Added	metaprl/theories/experimental/unity/unity_util.ml
Properties	metaprl/theories/experimental/unity/unity_util.ml
Added	metaprl/theories/experimental/unity/unity_util.mli
Properties	metaprl/theories/experimental/unity/unity_util.mli