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

Diff of /metaprl/library/mbterm.ml

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

revision 2921 by nogin, Fri Oct 22 01:07:59 1999 UTC revision 2922 by lolorigo, Thu Mar 16 19:52:02 2000 UTC
# Line 302  Line 302 
302      | Token p -> (print_string p ; print_string ":t ")      | Token p -> (print_string p ; print_string ":t ")
303      | Var p -> (print_string p ; print_string ":v ")      | Var p -> (print_string p ; print_string ":v ")
304      | ObId p -> (print_string "["; List.iter print_param (dest_object_id p); print_string "]";      | ObId p -> (print_string "["; List.iter print_param (dest_object_id p); print_string "]";
305                   print_string ":obid")                   print_string ":oid ")
306      | MNumber p -> (print_string p; print_string ":mn ")      | MNumber p -> (print_string p; print_string ":mn ")
307      | MString p -> (print_string p; print_string ":ms ")      | MString p -> (print_string p; print_string ":ms ")
308      | MToken p -> (print_string p; print_string ":mt ")      | MToken p -> (print_string p; print_string ":mt ")

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

  ViewVC Help
Powered by ViewVC 1.1.26