Changes by: Matthew Maurer (maurer at caltech.edu)
Date: 2007-07-03 19:53:00 -0700 (Tue, 03 Jul 2007)
Revision: 11206
Log message:
Moved in hooks for where I'll put my server. It looks like it will take nontrivial effort to weed out the old way of doing things.
| Changes | Path |
| +3 -3 | omake-research/omake-distrib/remote_schema |
| +74 -0 | omake-research/omake-distrib/src/exec/omake_exec_remote.ml |
| +0 -0 | omake-research/omake-distrib/src/exec/omake_exec_type.ml |