/[mojave]/metaprl/editor/ml/mp.ml
ViewVC logotype

Diff of /metaprl/editor/ml/mp.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 2921 by jyh, Sun Jul 4 13:13:44 1999 UTC revision 2922 by lolorigo, Thu Mar 16 19:52:02 2000 UTC
# Line 35  Line 35 
35    
36  open Shell  open Shell
37    
38    module Nuprl = Nuprl_eval.Nuprl
39    module NuprlRun = Nuprl_run.NuprlRun
40    
41    let run_nuprl = NuprlRun.run_connection
42    
43  (*  (*
44   * Job control.   * Job control.
45   *)   *)

Legend:
Removed from v.2921  
changed lines
  Added in v.2922

  ViewVC Help
Powered by ViewVC 1.1.26