Merge branch 'master' of /afs/hcoop.net/user/h/hc/hcoop/.hcoop-git/domtool2
[hcoop/domtool2.git] / src / prefix.cm
CommitLineData
a49a9bfb
AC
1Group is
2
3$/basis.cm
4$/smlnj-lib.cm
5$/ml-yacc-lib.cm
6$/html-lib.cm
7$/pp-lib.cm
8$c/internals/c-int.cm
9
10../openssl/smlnj/FFI/libssl.h.cm
931aae14 11../pcre/smlnj/FFI/libpcre.h.cm
a49a9bfb
AC
12
13compat.sig
14compat_smlnj.sml
15