HCoop
/
hcoop
/
domtool2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Now builds with MLton
[hcoop/domtool2.git]
/
src
/
sources
diff --git
a/src/domtool.cm
b/src/sources
similarity index 85%
rename from
src/domtool.cm
rename to
src/sources
index
f23f86d
..
0c03c35
100644
(file)
--- a/
src/domtool.cm
+++ b/
src/sources
@@
-1,14
+1,3
@@
-Group is
-
-$/basis.cm
-$/smlnj-lib.cm
-$/ml-yacc-lib.cm
-$/html-lib.cm
-$/pp-lib.cm
-$c/internals/c-int.cm
-
-../openssl/smlnj/FFI/libssl.h.cm
-
errormsg.sig
errormsg.sml
errormsg.sig
errormsg.sml
@@
-21,8
+10,8
@@
ast.sml
../config.sml
../config.sml
-domtool.lex
domtool.grm
domtool.grm
+domtool.lex
parse.sig
parse.sml
parse.sig
parse.sml
@@
-54,6
+43,9
@@
slave.sml
defaults.sig
defaults.sml
defaults.sig
defaults.sml
+openssl.sig
+openssl.sml
+
msgTypes.sml
msg.sig
msg.sml
msgTypes.sml
msg.sig
msg.sml
@@
-82,9
+74,6
@@
plugins/mailman.sml
order.sig
order.sml
order.sig
order.sml
-openssl.sig
-openssl.sml
-
htmlPrint.sig
htmlPrint.sml
htmlPrint.sig
htmlPrint.sml