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