/[mojave]/metaprl/library/db.mli
ViewVC logotype

Diff of /metaprl/library/db.mli

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

revision 2921 by jyh, Tue Oct 13 01:14:08 1998 UTC revision 2922 by lolorigo, Thu Mar 16 19:52:02 2000 UTC
# Line 46  Line 46 
46    
47  val string_to_term      : string -> term  val string_to_term      : string -> term
48  val session_string_to_term      : string -> term  val session_string_to_term      : string -> term
49    
50    (* below temp for interactive debugging *)
51    
52    val make_term_scanner : char t -> scanner
53    val myscanner : scanner ref

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

  ViewVC Help
Powered by ViewVC 1.1.26