Mercurial > urweb

comparison src/elab_print.sml @ 720:acb8537f58f0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Stop tracking CSS classes in XML types
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Apr 2009 12:31:54 -0400
parents f152f215a02c
children 8688e01ae469
comparison
equal deleted inserted replaced
719:5c099b1308ae 720:acb8537f58f0
777 p_named x n, 777 p_named x n,
778 space, 778 space,
779 string ":", 779 string ":",
780 space, 780 space,
781 p_con env c] 781 p_con env c]
782 | DStyle (_, x, n, c) => box [string "style", 782 | DStyle (_, x, n) => box [string "style",
783 space, 783 space,
784 p_named x n, 784 p_named x n]
785 space,
786 string ":",
787 space,
788 p_con env c]
789 785
790 and p_str env (str, _) = 786 and p_str env (str, _) =
791 case str of 787 case str of
792 StrConst ds => box [string "struct", 788 StrConst ds => box [string "struct",
793 newline, 789 newline,