HCoop
/
hcoop
/
domtool2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
E-mail aliases
[hcoop/domtool2.git]
/
src
/
print.sml
diff --git
a/src/print.sml
b/src/print.sml
index
9305714
..
89a640c
100644
(file)
--- a/
src/print.sml
+++ b/
src/print.sml
@@
-129,4
+129,7
@@
fun printd d =
SM.closeStream myStream
end
+fun preface (s, d) = printd (PD.hovBox (PD.PPS.Rel 0,
+ [PD.string s, PD.space 1, d]))
+
end