/[mojave]/metaprl/library/nuprl5.ml
ViewVC logotype

Diff of /metaprl/library/nuprl5.ml

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

revision 2494 by jyh, Tue Oct 13 01:14:08 1998 UTC revision 2822 by nogin, Fri Oct 22 01:07:59 1999 UTC
# Line 34  Line 34 
34  open Mp_num  open Mp_num
35    
36  let _ =  let _ =
37     if !debug_load then     show_loading "Loading Nuprl5%t"
       eprintf "Loading Nuprl5%t" eflush  
38    
39  let nuprl5_opname = mk_opname "!nuprl5_implementation!" nil_opname  let nuprl5_opname = mk_opname "!nuprl5_implementation!" nil_opname
40    

Legend:
Removed from v.2494  
changed lines
  Added in v.2822

  ViewVC Help
Powered by ViewVC 1.1.26