1 files changed, 16 insertions, 0 deletions
diff --git a/src/sail.odocl b/src/sail.odocl
new file mode 100644
index 00000000..65935655
--- /dev/null
+++ b/src/sail.odocl
@@ -0,0 +1,16 @@
+ast
+finite_map
+initial_check
+lexer
+main
+parse_ast
+parser
+pp
+pre_lexer
+pre_parser
+pretty_print
+process_file
+reporting_basic
+type_check
+type_internal
+util