Mercurial > urweb

comparison src/elab_print.sml @ 110:3739af9e727a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Starting with closure links
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 11:43:57 -0400
parents 813e5a52063d
children e3041657d653
comparison
equal deleted inserted replaced
109:813e5a52063d 110:3739af9e727a
449 space, 449 space,
450 string "~", 450 string "~",
451 space, 451 space,
452 p_con env c2] 452 p_con env c2]
453 | DExport (_, sgn, str) => box [string "export", 453 | DExport (_, sgn, str) => box [string "export",
454 space,
454 p_str env str, 455 p_str env str,
455 space, 456 space,
456 string ":", 457 string ":",
457 space, 458 space,
458 p_sgn env sgn] 459 p_sgn env sgn]