From 9c27c9d90a3f3593de07658a14581b66d08c8b75 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 26 Jan 2008 10:06:22 -0500 Subject: Initial skeleton --- src/prefix.cm | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 src/prefix.cm (limited to 'src/prefix.cm') diff --git a/src/prefix.cm b/src/prefix.cm new file mode 100644 index 00000000..cbd9c651 --- /dev/null +++ b/src/prefix.cm @@ -0,0 +1,6 @@ +Group is + +$/basis.cm +$/smlnj-lib.cm +$/ml-yacc-lib.cm +$/pp-lib.cm -- cgit v1.2.3