X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/f8ef6c208aee42dd24c8836797a89f786c985a6f..9b7ee2b22abce813120a633f5a4f5523a630a2ea:/src/sources

diff --git a/src/sources b/src/sources
index a544a3b..3b129fd 100644
--- a/src/sources
+++ b/src/sources
@@ -18,12 +18,18 @@ domtool.lex
 parse.sig
 parse.sml
 
+printFn.sig
+printFn.sml
+
 print.sig
 print.sml
 
 env.sig
 env.sml
 
+describe.sig
+describe.sml
+
 tycheck.sig
 tycheck.sml