/[mojave]/metaprl/support/display/mpsymbols.mli
ViewVC logotype

Diff of /metaprl/support/display/mpsymbols.mli

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

revision 9654 by nogin, Thu Jul 7 04:41:32 2005 UTC revision 9655 by nogin, Tue Oct 31 18:16:04 2006 UTC
# Line 138  Line 138 
138  declare times : Dform  declare times : Dform
139  declare "div" : Dform  declare "div" : Dform
140  declare box : Dform  declare box : Dform
141    declare diamond : Dform
142    declare lozenge : Dform
143  declare circ : Dform  declare circ : Dform
144  declare bigcirc : Dform  declare bigcirc : Dform
145  declare supplus : Dform  declare supplus : Dform

Legend:
Removed from v.9654  
changed lines
  Added in v.9655

  ViewVC Help
Powered by ViewVC 1.1.26