Rename projet to project.

2017-12-13 14:10:41 +01:00 · 2017-12-13 14:10:41 +01:00 · 00ebc63544
commit 00ebc63544
parent 36df95f02f
47 changed files with 0 additions and 0 deletions
--- a/project/src/.merlin
+++ b/project/src/.merlin
--- a/project/src/CPS.ml
+++ b/project/src/CPS.ml
--- a/project/src/CPS.mli
+++ b/project/src/CPS.mli
--- a/project/src/Cook.ml
+++ b/project/src/Cook.ml
--- a/project/src/Cook.mli
+++ b/project/src/Cook.mli
--- a/project/src/Defun.ml
+++ b/project/src/Defun.ml
--- a/project/src/Defun.mli
+++ b/project/src/Defun.mli
--- a/project/src/Error.ml
+++ b/project/src/Error.ml
--- a/project/src/Error.mli
+++ b/project/src/Error.mli
--- a/project/src/Finish.ml
+++ b/project/src/Finish.ml
--- a/project/src/Finish.mli
+++ b/project/src/Finish.mli
--- a/project/src/Lambda.ml
+++ b/project/src/Lambda.ml
--- a/project/src/Lexer.mll
+++ b/project/src/Lexer.mll
--- a/project/src/Main.ml
+++ b/project/src/Main.ml
--- a/project/src/Makefile
+++ b/project/src/Makefile
--- a/project/src/Parser.mly
+++ b/project/src/Parser.mly
--- a/project/src/RawLambda.ml
+++ b/project/src/RawLambda.ml
--- a/project/src/Tail.ml
+++ b/project/src/Tail.ml
--- a/project/src/Top.ml
+++ b/project/src/Top.ml
--- a/project/src/_tags
+++ b/project/src/_tags
--- a/project/src/alphalib/Atom.ml
+++ b/project/src/alphalib/Atom.ml
--- a/project/src/alphalib/Atom.mli
+++ b/project/src/alphalib/Atom.mli
--- a/project/src/kremlin/C.ml
+++ b/project/src/kremlin/C.ml
--- a/project/src/kremlin/Common.ml
+++ b/project/src/kremlin/Common.ml
--- a/project/src/kremlin/Constant.ml
+++ b/project/src/kremlin/Constant.ml
--- a/project/src/kremlin/Options.ml
+++ b/project/src/kremlin/Options.ml
--- a/project/src/kremlin/PrintC.ml
+++ b/project/src/kremlin/PrintC.ml
--- a/project/src/kremlin/PrintCommon.ml
+++ b/project/src/kremlin/PrintCommon.ml
--- a/project/src/kremlin/Utils.ml
+++ b/project/src/kremlin/Utils.ml
--- a/project/src/prologue.h
+++ b/project/src/prologue.h
--- a/project/src/test/.gitignore
+++ b/project/src/test/.gitignore
--- a/project/src/test/.merlin
+++ b/project/src/test/.merlin
--- a/project/src/test/Makefile
+++ b/project/src/test/Makefile
--- a/project/src/test/_tags
+++ b/project/src/test/_tags
--- a/project/src/test/auxiliary.ml
+++ b/project/src/test/auxiliary.ml
--- a/project/src/test/test.ml
+++ b/project/src/test/test.ml
--- a/project/src/tests/.gitignore
+++ b/project/src/tests/.gitignore
--- a/project/src/tests/bool.exp
+++ b/project/src/tests/bool.exp
--- a/project/src/tests/bool.lambda
+++ b/project/src/tests/bool.lambda
--- a/project/src/tests/church.exp
+++ b/project/src/tests/church.exp
--- a/project/src/tests/church.lambda
+++ b/project/src/tests/church.lambda
--- a/project/src/tests/hello.exp
+++ b/project/src/tests/hello.exp
--- a/project/src/tests/hello.lambda
+++ b/project/src/tests/hello.lambda
--- a/project/src/tests/loop/loop.lambda
+++ b/project/src/tests/loop/loop.lambda
--- a/project/src/tests/printprint.exp
+++ b/project/src/tests/printprint.exp
--- a/project/src/tests/printprint.lambda
+++ b/project/src/tests/printprint.lambda
--- a/project/sujet.pdf
+++ b/project/sujet.pdf