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 |