Mercurial > urweb

comparison src/expl_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
689 p_named x n, 689 p_named x n,
690 space, 690 space,
691 string ":", 691 string ":",
692 space, 692 space,
693 p_con env c] 693 p_con env c]
694 | DStyle (_, x, n, c) => box [string "style", 694 | DStyle (_, x, n) => box [string "style",
695 space, 695 space,
696 p_named x n, 696 p_named x n]
697 space,
698 string ":",
699 space,
700 p_con env c]
701 697
702 and p_str env (str, _) = 698 and p_str env (str, _) =
703 case str of 699 case str of
704 StrConst ds => box [string "struct", 700 StrConst ds => box [string "struct",
705 newline, 701 newline,