src/Pure/ML-Systems/mlworks.ML

 
 (*interface for toplevel pretty printers, see also Pure/install_pp.ML*)
 (*n.a.*)
 fun make_pp path pprint = ();
 fun install_pp _ = ();
+
+(*prompts*)
+(*n.a.??*)
+fun ml_prompts p1 p2 = ();
 
 
 (** Compiler-independent timing functions **)
 
 (*Note start point for timing*)