Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-01-19 17:39:06 -0800 (Thu, 19 Jan 2006)
Revision: 8519
Log message:

      Cleaning up things after Jason's big "shared r/o installation" commit,
      including:
      
      - Cleaning up the dups between the editor/ml and support/editor.
      
      - Moved all the compiled test files (as opposed to test files that are
        indended to be used on the MetaPRL command line) from editor/ml/tests to
        theories/itt/tests
      
      - Updated all the places that still pointed to editor/ml/svnversion.txt to use
        to support/editor/svnversion.txt or $(LIB)/svnversion.txt as appropriate.
      
      - Added a LibInstall function for installing things into the $(LIB) directory
        and LibSubInstall for installing things into subdirectories of the $(LIB)
        directory.
      

Changes  Path
+20 -24 metaprl/OMakefile
Deleted metaprl/OMakefile_config
Deleted metaprl/OMakefile_full
+1 -1 metaprl/OMakeroot_install
Deleted metaprl/editor/ml/BOO008-3.p
Deleted metaprl/editor/ml/GEN.p
+7 -24 metaprl/editor/ml/OMakefile
Deleted metaprl/editor/ml/nuprl_sig.mlz
Copied metaprl/editor/ml/tests/BOO008-3.p
Copied metaprl/editor/ml/tests/GEN.p
Deleted metaprl/editor/ml/tests/czf.ml
Deleted metaprl/editor/ml/tests/expand-itt.ml
Deleted metaprl/editor/ml/tests/prop-pigeon.ml
Deleted metaprl/editor/ml/tests/prop-pigeon.mli
Deleted metaprl/editor/ml/tests/seq_addrs_test.ml
Deleted metaprl/editor/ml/tests/test.ml
Deleted metaprl/editor/ml/tests/test.mli
+1 -1 metaprl/editor/ml/tests/tptp-gen.ml
Copied metaprl/mk/load_config
+1 -4 metaprl/support/OMakefile
Deleted metaprl/support/editor/BOO008-3.p
Deleted metaprl/support/editor/GEN.p
+1 -0 metaprl/support/editor/OMakefile
Deleted metaprl/support/editor/QUICKSTART
Deleted metaprl/support/editor/mpconfig
Deleted metaprl/support/editor/mpdebug
Deleted metaprl/support/editor/mpdebug-top
Deleted metaprl/support/editor/mpgossip
Deleted metaprl/support/editor/mpkonsole
Deleted metaprl/support/editor/mpkonsole-large
Deleted metaprl/support/editor/mpopt
Deleted metaprl/support/editor/mpopt.bat
Deleted metaprl/support/editor/mprun
Deleted metaprl/support/editor/mpserver
Deleted metaprl/support/editor/mpshell
Deleted metaprl/support/editor/mptop
Deleted metaprl/support/editor/mptop.bat
Deleted metaprl/support/editor/mpxterm
Deleted metaprl/support/editor/mpxterm-large
Deleted metaprl/support/editor/x.ml
+2 -5 metaprl/support/shell/inputs/OMakefile
+2 -0 metaprl/theories/itt/tests/OMakefile
Copied metaprl/theories/itt/tests/prop-pigeon.ml
Copied metaprl/theories/itt/tests/prop-pigeon.mli
Copied metaprl/theories/itt/tests/test.ml
Copied metaprl/theories/itt/tests/test.mli
+4 -4 metaprl/util/check-status.sh
+1 -1 metaprl/util/do-check-all.sh