aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xMakefile2
-rwxr-xr-xsrc/UTF8.ml (renamed from UTF8.ml)0
-rwxr-xr-xsrc/UTF8.mli (renamed from UTF8.mli)0
-rwxr-xr-xsrc/actionParser.mly (renamed from actionParser.mly)0
-rwxr-xr-xsrc/actions.mli (renamed from actions.mli)0
-rwxr-xr-xsrc/catalog.ml (renamed from catalog.ml)0
-rw-r--r--src/catalog.mli (renamed from catalog.mli)0
-rwxr-xr-xsrc/cell.ml (renamed from cell.ml)0
-rwxr-xr-xsrc/cell.mli (renamed from cell.mli)0
-rwxr-xr-xsrc/dataType.ml (renamed from dataType.ml)0
-rwxr-xr-xsrc/dataType.mli (renamed from dataType.mli)0
-rw-r--r--src/date.ml (renamed from date.ml)0
-rwxr-xr-xsrc/date.mli (renamed from date.mli)0
-rwxr-xr-xsrc/errors.ml (renamed from errors.ml)0
-rwxr-xr-xsrc/evaluator.ml (renamed from evaluator.ml)0
-rwxr-xr-xsrc/evaluator.mli (renamed from evaluator.mli)0
-rwxr-xr-xsrc/expression.ml (renamed from expression.ml)0
-rwxr-xr-xsrc/expression.mli (renamed from expression.mli)0
-rwxr-xr-xsrc/expressionLexer.mll (renamed from expressionLexer.mll)0
-rwxr-xr-xsrc/expressionParser.mly (renamed from expressionParser.mly)0
-rwxr-xr-xsrc/functions.ml (renamed from functions.ml)0
-rwxr-xr-xsrc/main.ml (renamed from main.ml)0
-rwxr-xr-xsrc/odf/odf.ml (renamed from odf/odf.ml)0
-rwxr-xr-xsrc/odf/odf_ExpressionLexer.mll (renamed from odf/odf_ExpressionLexer.mll)0
-rwxr-xr-xsrc/odf/odf_ExpressionParser.mly (renamed from odf/odf_ExpressionParser.mly)0
-rwxr-xr-xsrc/odf/odf_ns.ml (renamed from odf/odf_ns.ml)0
-rwxr-xr-xsrc/scTypes.ml (renamed from scTypes.ml)0
-rwxr-xr-xsrc/scTypes.mli (renamed from scTypes.mli)0
-rwxr-xr-xsrc/screen.ml (renamed from screen.ml)0
-rwxr-xr-xsrc/screen.mli (renamed from screen.mli)0
-rwxr-xr-xsrc/selection.ml (renamed from selection.ml)0
-rwxr-xr-xsrc/selection.mli (renamed from selection.mli)0
-rwxr-xr-xsrc/sheet.ml (renamed from sheet.ml)0
-rwxr-xr-xsrc/sheet.mli (renamed from sheet.mli)0
-rw-r--r--src/splay.ml (renamed from splay.ml)0
-rwxr-xr-xsrc/splay.mli (renamed from splay.mli)0
-rwxr-xr-xsrc/tools.ml (renamed from tools.ml)0
-rwxr-xr-xsrc/unicode.ml (renamed from unicode.ml)0
-rwxr-xr-xsrc/unicode.mli (renamed from unicode.mli)0
39 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index cdda759..4be3178 100755
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,6 @@
OCAMLBUILD ?= ocamlbuild
PACKAGES=dynlink,curses,camlzip,ezxmlm,text,str,menhirLib,zarith
-PATHS=.,odf
+PATHS=src,src/odf
MENHIR=-use-menhir
diff --git a/UTF8.ml b/src/UTF8.ml
index a955b1e..a955b1e 100755
--- a/UTF8.ml
+++ b/src/UTF8.ml
diff --git a/UTF8.mli b/src/UTF8.mli
index a2e331e..a2e331e 100755
--- a/UTF8.mli
+++ b/src/UTF8.mli
diff --git a/actionParser.mly b/src/actionParser.mly
index 6318ca6..6318ca6 100755
--- a/actionParser.mly
+++ b/src/actionParser.mly
diff --git a/actions.mli b/src/actions.mli
index f955538..f955538 100755
--- a/actions.mli
+++ b/src/actions.mli
diff --git a/catalog.ml b/src/catalog.ml
index e4cd34b..e4cd34b 100755
--- a/catalog.ml
+++ b/src/catalog.ml
diff --git a/catalog.mli b/src/catalog.mli
index e871378..e871378 100644
--- a/catalog.mli
+++ b/src/catalog.mli
diff --git a/cell.ml b/src/cell.ml
index e6ccd63..e6ccd63 100755
--- a/cell.ml
+++ b/src/cell.ml
diff --git a/cell.mli b/src/cell.mli
index 8f225a5..8f225a5 100755
--- a/cell.mli
+++ b/src/cell.mli
diff --git a/dataType.ml b/src/dataType.ml
index f30dd8c..f30dd8c 100755
--- a/dataType.ml
+++ b/src/dataType.ml
diff --git a/dataType.mli b/src/dataType.mli
index 5c89c98..5c89c98 100755
--- a/dataType.mli
+++ b/src/dataType.mli
diff --git a/date.ml b/src/date.ml
index 92cb9f6..92cb9f6 100644
--- a/date.ml
+++ b/src/date.ml
diff --git a/date.mli b/src/date.mli
index dd24124..dd24124 100755
--- a/date.mli
+++ b/src/date.mli
diff --git a/errors.ml b/src/errors.ml
index 3751a60..3751a60 100755
--- a/errors.ml
+++ b/src/errors.ml
diff --git a/evaluator.ml b/src/evaluator.ml
index f718e1f..f718e1f 100755
--- a/evaluator.ml
+++ b/src/evaluator.ml
diff --git a/evaluator.mli b/src/evaluator.mli
index b296b90..b296b90 100755
--- a/evaluator.mli
+++ b/src/evaluator.mli
diff --git a/expression.ml b/src/expression.ml
index 20227ad..20227ad 100755
--- a/expression.ml
+++ b/src/expression.ml
diff --git a/expression.mli b/src/expression.mli
index 8cab479..8cab479 100755
--- a/expression.mli
+++ b/src/expression.mli
diff --git a/expressionLexer.mll b/src/expressionLexer.mll
index 2d2f87e..2d2f87e 100755
--- a/expressionLexer.mll
+++ b/src/expressionLexer.mll
diff --git a/expressionParser.mly b/src/expressionParser.mly
index b7f77ae..b7f77ae 100755
--- a/expressionParser.mly
+++ b/src/expressionParser.mly
diff --git a/functions.ml b/src/functions.ml
index 56d7530..56d7530 100755
--- a/functions.ml
+++ b/src/functions.ml
diff --git a/main.ml b/src/main.ml
index 3b83e85..3b83e85 100755
--- a/main.ml
+++ b/src/main.ml
diff --git a/odf/odf.ml b/src/odf/odf.ml
index ae120d9..ae120d9 100755
--- a/odf/odf.ml
+++ b/src/odf/odf.ml
diff --git a/odf/odf_ExpressionLexer.mll b/src/odf/odf_ExpressionLexer.mll
index 7f6a55b..7f6a55b 100755
--- a/odf/odf_ExpressionLexer.mll
+++ b/src/odf/odf_ExpressionLexer.mll
diff --git a/odf/odf_ExpressionParser.mly b/src/odf/odf_ExpressionParser.mly
index 6b571a9..6b571a9 100755
--- a/odf/odf_ExpressionParser.mly
+++ b/src/odf/odf_ExpressionParser.mly
diff --git a/odf/odf_ns.ml b/src/odf/odf_ns.ml
index 5a501da..5a501da 100755
--- a/odf/odf_ns.ml
+++ b/src/odf/odf_ns.ml
diff --git a/scTypes.ml b/src/scTypes.ml
index 48e4d3c..48e4d3c 100755
--- a/scTypes.ml
+++ b/src/scTypes.ml
diff --git a/scTypes.mli b/src/scTypes.mli
index 348f4fe..348f4fe 100755
--- a/scTypes.mli
+++ b/src/scTypes.mli
diff --git a/screen.ml b/src/screen.ml
index c61efea..c61efea 100755
--- a/screen.ml
+++ b/src/screen.ml
diff --git a/screen.mli b/src/screen.mli
index b5f74b2..b5f74b2 100755
--- a/screen.mli
+++ b/src/screen.mli
diff --git a/selection.ml b/src/selection.ml
index 2bf41ce..2bf41ce 100755
--- a/selection.ml
+++ b/src/selection.ml
diff --git a/selection.mli b/src/selection.mli
index fb207e4..fb207e4 100755
--- a/selection.mli
+++ b/src/selection.mli
diff --git a/sheet.ml b/src/sheet.ml
index 67b1ee1..67b1ee1 100755
--- a/sheet.ml
+++ b/src/sheet.ml
diff --git a/sheet.mli b/src/sheet.mli
index 11881cc..11881cc 100755
--- a/sheet.mli
+++ b/src/sheet.mli
diff --git a/splay.ml b/src/splay.ml
index ec5750c..ec5750c 100644
--- a/splay.ml
+++ b/src/splay.ml
diff --git a/splay.mli b/src/splay.mli
index 41c1a5a..41c1a5a 100755
--- a/splay.mli
+++ b/src/splay.mli
diff --git a/tools.ml b/src/tools.ml
index 6dfe564..6dfe564 100755
--- a/tools.ml
+++ b/src/tools.ml
diff --git a/unicode.ml b/src/unicode.ml
index cc8c087..cc8c087 100755
--- a/unicode.ml
+++ b/src/unicode.ml
diff --git a/unicode.mli b/src/unicode.mli
index 9a48807..9a48807 100755
--- a/unicode.mli
+++ b/src/unicode.mli