Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-01-21 16:37:23 -0800 (Sat, 21 Jan 2006)
Revision: 8555
Log message:

      Keep all the scripts in support/editor. All the scripts that are postentially
      applicable will be installed and linked into editor/ml. Irrelevant scripts
      (such as mprun when MPRUN_ENABLED is false and mpgossip when ENSROOT is
      undefined) will be ignored.
      

Changes  Path
+39 -0 metaprl/OMakefile_theories
+5 -9 metaprl/editor/ml/OMakefile
Deleted metaprl/editor/ml/mpdebug
Deleted metaprl/editor/ml/mpdebug-top
Deleted metaprl/editor/ml/mpgossip
Deleted metaprl/editor/ml/mpkonsole
Deleted metaprl/editor/ml/mpkonsole-large
Deleted metaprl/editor/ml/mprun
Deleted metaprl/editor/ml/mpserver
Deleted metaprl/editor/ml/mpshell
Deleted metaprl/editor/ml/mpxterm
Deleted metaprl/editor/ml/mpxterm-large
+1 -1 metaprl/support/editor/OMakefile
Copied metaprl/support/editor/mpdebug
Copied metaprl/support/editor/mpdebug-top
Copied metaprl/support/editor/mpgossip
Copied metaprl/support/editor/mpkonsole
Copied metaprl/support/editor/mpkonsole-large
Copied metaprl/support/editor/mprun
Copied metaprl/support/editor/mpserver
+4 -0 metaprl/support/editor/mpserver
Copied metaprl/support/editor/mpshell
Copied metaprl/support/editor/mpxterm
Copied metaprl/support/editor/mpxterm-large