Sources moved to src/

coq-io · Mar 3, 2015 · fa3da64 · fa3da64
1 parent 8b63cbb
commit fa3da64
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git a/Make b/Make
@@ -1,6 +1,6 @@
--R . Io
+-R src Io
 
-All.v
-C.v
-Effects.v
-Run.v
+src/All.v
+src/C.v
+src/Effects.v
+src/Run.v
diff --git a/All.v → src/All.v b/All.v → src/All.v
diff --git a/C.v → src/C.v b/C.v → src/C.v
diff --git a/Effects.v → src/Effects.v b/Effects.v → src/Effects.v
diff --git a/Run.v → src/Run.v b/Run.v → src/Run.v