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 |