From 00ebc635448519fddbe390bb62018d547b67cdc3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Pottier?= Date: Wed, 13 Dec 2017 14:10:41 +0100 Subject: [PATCH] Rename projet to project. --- {projet => project}/src/.merlin | 0 {projet => project}/src/CPS.ml | 0 {projet => project}/src/CPS.mli | 0 {projet => project}/src/Cook.ml | 0 {projet => project}/src/Cook.mli | 0 {projet => project}/src/Defun.ml | 0 {projet => project}/src/Defun.mli | 0 {projet => project}/src/Error.ml | 0 {projet => project}/src/Error.mli | 0 {projet => project}/src/Finish.ml | 0 {projet => project}/src/Finish.mli | 0 {projet => project}/src/Lambda.ml | 0 {projet => project}/src/Lexer.mll | 0 {projet => project}/src/Main.ml | 0 {projet => project}/src/Makefile | 0 {projet => project}/src/Parser.mly | 0 {projet => project}/src/RawLambda.ml | 0 {projet => project}/src/Tail.ml | 0 {projet => project}/src/Top.ml | 0 {projet => project}/src/_tags | 0 {projet => project}/src/alphalib/Atom.ml | 0 {projet => project}/src/alphalib/Atom.mli | 0 {projet => project}/src/kremlin/C.ml | 0 {projet => project}/src/kremlin/Common.ml | 0 {projet => project}/src/kremlin/Constant.ml | 0 {projet => project}/src/kremlin/Options.ml | 0 {projet => project}/src/kremlin/PrintC.ml | 0 {projet => project}/src/kremlin/PrintCommon.ml | 0 {projet => project}/src/kremlin/Utils.ml | 0 {projet => project}/src/prologue.h | 0 {projet => project}/src/test/.gitignore | 0 {projet => project}/src/test/.merlin | 0 {projet => project}/src/test/Makefile | 0 {projet => project}/src/test/_tags | 0 {projet => project}/src/test/auxiliary.ml | 0 {projet => project}/src/test/test.ml | 0 {projet => project}/src/tests/.gitignore | 0 {projet => project}/src/tests/bool.exp | 0 {projet => project}/src/tests/bool.lambda | 0 {projet => project}/src/tests/church.exp | 0 {projet => project}/src/tests/church.lambda | 0 {projet => project}/src/tests/hello.exp | 0 {projet => project}/src/tests/hello.lambda | 0 {projet => project}/src/tests/loop/loop.lambda | 0 {projet => project}/src/tests/printprint.exp | 0 {projet => project}/src/tests/printprint.lambda | 0 {projet => project}/sujet.pdf | Bin 47 files changed, 0 insertions(+), 0 deletions(-) rename {projet => project}/src/.merlin (100%) rename {projet => project}/src/CPS.ml (100%) rename {projet => project}/src/CPS.mli (100%) rename {projet => project}/src/Cook.ml (100%) rename {projet => project}/src/Cook.mli (100%) rename {projet => project}/src/Defun.ml (100%) rename {projet => project}/src/Defun.mli (100%) rename {projet => project}/src/Error.ml (100%) rename {projet => project}/src/Error.mli (100%) rename {projet => project}/src/Finish.ml (100%) rename {projet => project}/src/Finish.mli (100%) rename {projet => project}/src/Lambda.ml (100%) rename {projet => project}/src/Lexer.mll (100%) rename {projet => project}/src/Main.ml (100%) rename {projet => project}/src/Makefile (100%) rename {projet => project}/src/Parser.mly (100%) rename {projet => project}/src/RawLambda.ml (100%) rename {projet => project}/src/Tail.ml (100%) rename {projet => project}/src/Top.ml (100%) rename {projet => project}/src/_tags (100%) rename {projet => project}/src/alphalib/Atom.ml (100%) rename {projet => project}/src/alphalib/Atom.mli (100%) rename {projet => project}/src/kremlin/C.ml (100%) rename {projet => project}/src/kremlin/Common.ml (100%) rename {projet => project}/src/kremlin/Constant.ml (100%) rename {projet => project}/src/kremlin/Options.ml (100%) rename {projet => project}/src/kremlin/PrintC.ml (100%) rename {projet => project}/src/kremlin/PrintCommon.ml (100%) rename {projet => project}/src/kremlin/Utils.ml (100%) rename {projet => project}/src/prologue.h (100%) rename {projet => project}/src/test/.gitignore (100%) rename {projet => project}/src/test/.merlin (100%) rename {projet => project}/src/test/Makefile (100%) rename {projet => project}/src/test/_tags (100%) rename {projet => project}/src/test/auxiliary.ml (100%) rename {projet => project}/src/test/test.ml (100%) rename {projet => project}/src/tests/.gitignore (100%) rename {projet => project}/src/tests/bool.exp (100%) rename {projet => project}/src/tests/bool.lambda (100%) rename {projet => project}/src/tests/church.exp (100%) rename {projet => project}/src/tests/church.lambda (100%) rename {projet => project}/src/tests/hello.exp (100%) rename {projet => project}/src/tests/hello.lambda (100%) rename {projet => project}/src/tests/loop/loop.lambda (100%) rename {projet => project}/src/tests/printprint.exp (100%) rename {projet => project}/src/tests/printprint.lambda (100%) rename {projet => project}/sujet.pdf (100%) diff --git a/projet/src/.merlin b/project/src/.merlin similarity index 100% rename from projet/src/.merlin rename to project/src/.merlin diff --git a/projet/src/CPS.ml b/project/src/CPS.ml similarity index 100% rename from projet/src/CPS.ml rename to project/src/CPS.ml diff --git a/projet/src/CPS.mli b/project/src/CPS.mli similarity index 100% rename from projet/src/CPS.mli rename to project/src/CPS.mli diff --git a/projet/src/Cook.ml b/project/src/Cook.ml similarity index 100% rename from projet/src/Cook.ml rename to project/src/Cook.ml diff --git a/projet/src/Cook.mli b/project/src/Cook.mli similarity index 100% rename from projet/src/Cook.mli rename to project/src/Cook.mli diff --git a/projet/src/Defun.ml b/project/src/Defun.ml similarity index 100% rename from projet/src/Defun.ml rename to project/src/Defun.ml diff --git a/projet/src/Defun.mli b/project/src/Defun.mli similarity index 100% rename from projet/src/Defun.mli rename to project/src/Defun.mli diff --git a/projet/src/Error.ml b/project/src/Error.ml similarity index 100% rename from projet/src/Error.ml rename to project/src/Error.ml diff --git a/projet/src/Error.mli b/project/src/Error.mli similarity index 100% rename from projet/src/Error.mli rename to project/src/Error.mli diff --git a/projet/src/Finish.ml b/project/src/Finish.ml similarity index 100% rename from projet/src/Finish.ml rename to project/src/Finish.ml diff --git a/projet/src/Finish.mli b/project/src/Finish.mli similarity index 100% rename from projet/src/Finish.mli rename to project/src/Finish.mli diff --git a/projet/src/Lambda.ml b/project/src/Lambda.ml similarity index 100% rename from projet/src/Lambda.ml rename to project/src/Lambda.ml diff --git a/projet/src/Lexer.mll b/project/src/Lexer.mll similarity index 100% rename from projet/src/Lexer.mll rename to project/src/Lexer.mll diff --git a/projet/src/Main.ml b/project/src/Main.ml similarity index 100% rename from projet/src/Main.ml rename to project/src/Main.ml diff --git a/projet/src/Makefile b/project/src/Makefile similarity index 100% rename from projet/src/Makefile rename to project/src/Makefile diff --git a/projet/src/Parser.mly b/project/src/Parser.mly similarity index 100% rename from projet/src/Parser.mly rename to project/src/Parser.mly diff --git a/projet/src/RawLambda.ml b/project/src/RawLambda.ml similarity index 100% rename from projet/src/RawLambda.ml rename to project/src/RawLambda.ml diff --git a/projet/src/Tail.ml b/project/src/Tail.ml similarity index 100% rename from projet/src/Tail.ml rename to project/src/Tail.ml diff --git a/projet/src/Top.ml b/project/src/Top.ml similarity index 100% rename from projet/src/Top.ml rename to project/src/Top.ml diff --git a/projet/src/_tags b/project/src/_tags similarity index 100% rename from projet/src/_tags rename to project/src/_tags diff --git a/projet/src/alphalib/Atom.ml b/project/src/alphalib/Atom.ml similarity index 100% rename from projet/src/alphalib/Atom.ml rename to project/src/alphalib/Atom.ml diff --git a/projet/src/alphalib/Atom.mli b/project/src/alphalib/Atom.mli similarity index 100% rename from projet/src/alphalib/Atom.mli rename to project/src/alphalib/Atom.mli diff --git a/projet/src/kremlin/C.ml b/project/src/kremlin/C.ml similarity index 100% rename from projet/src/kremlin/C.ml rename to project/src/kremlin/C.ml diff --git a/projet/src/kremlin/Common.ml b/project/src/kremlin/Common.ml similarity index 100% rename from projet/src/kremlin/Common.ml rename to project/src/kremlin/Common.ml diff --git a/projet/src/kremlin/Constant.ml b/project/src/kremlin/Constant.ml similarity index 100% rename from projet/src/kremlin/Constant.ml rename to project/src/kremlin/Constant.ml diff --git a/projet/src/kremlin/Options.ml b/project/src/kremlin/Options.ml similarity index 100% rename from projet/src/kremlin/Options.ml rename to project/src/kremlin/Options.ml diff --git a/projet/src/kremlin/PrintC.ml b/project/src/kremlin/PrintC.ml similarity index 100% rename from projet/src/kremlin/PrintC.ml rename to project/src/kremlin/PrintC.ml diff --git a/projet/src/kremlin/PrintCommon.ml b/project/src/kremlin/PrintCommon.ml similarity index 100% rename from projet/src/kremlin/PrintCommon.ml rename to project/src/kremlin/PrintCommon.ml diff --git a/projet/src/kremlin/Utils.ml b/project/src/kremlin/Utils.ml similarity index 100% rename from projet/src/kremlin/Utils.ml rename to project/src/kremlin/Utils.ml diff --git a/projet/src/prologue.h b/project/src/prologue.h similarity index 100% rename from projet/src/prologue.h rename to project/src/prologue.h diff --git a/projet/src/test/.gitignore b/project/src/test/.gitignore similarity index 100% rename from projet/src/test/.gitignore rename to project/src/test/.gitignore diff --git a/projet/src/test/.merlin b/project/src/test/.merlin similarity index 100% rename from projet/src/test/.merlin rename to project/src/test/.merlin diff --git a/projet/src/test/Makefile b/project/src/test/Makefile similarity index 100% rename from projet/src/test/Makefile rename to project/src/test/Makefile diff --git a/projet/src/test/_tags b/project/src/test/_tags similarity index 100% rename from projet/src/test/_tags rename to project/src/test/_tags diff --git a/projet/src/test/auxiliary.ml b/project/src/test/auxiliary.ml similarity index 100% rename from projet/src/test/auxiliary.ml rename to project/src/test/auxiliary.ml diff --git a/projet/src/test/test.ml b/project/src/test/test.ml similarity index 100% rename from projet/src/test/test.ml rename to project/src/test/test.ml diff --git a/projet/src/tests/.gitignore b/project/src/tests/.gitignore similarity index 100% rename from projet/src/tests/.gitignore rename to project/src/tests/.gitignore diff --git a/projet/src/tests/bool.exp b/project/src/tests/bool.exp similarity index 100% rename from projet/src/tests/bool.exp rename to project/src/tests/bool.exp diff --git a/projet/src/tests/bool.lambda b/project/src/tests/bool.lambda similarity index 100% rename from projet/src/tests/bool.lambda rename to project/src/tests/bool.lambda diff --git a/projet/src/tests/church.exp b/project/src/tests/church.exp similarity index 100% rename from projet/src/tests/church.exp rename to project/src/tests/church.exp diff --git a/projet/src/tests/church.lambda b/project/src/tests/church.lambda similarity index 100% rename from projet/src/tests/church.lambda rename to project/src/tests/church.lambda diff --git a/projet/src/tests/hello.exp b/project/src/tests/hello.exp similarity index 100% rename from projet/src/tests/hello.exp rename to project/src/tests/hello.exp diff --git a/projet/src/tests/hello.lambda b/project/src/tests/hello.lambda similarity index 100% rename from projet/src/tests/hello.lambda rename to project/src/tests/hello.lambda diff --git a/projet/src/tests/loop/loop.lambda b/project/src/tests/loop/loop.lambda similarity index 100% rename from projet/src/tests/loop/loop.lambda rename to project/src/tests/loop/loop.lambda diff --git a/projet/src/tests/printprint.exp b/project/src/tests/printprint.exp similarity index 100% rename from projet/src/tests/printprint.exp rename to project/src/tests/printprint.exp diff --git a/projet/src/tests/printprint.lambda b/project/src/tests/printprint.lambda similarity index 100% rename from projet/src/tests/printprint.lambda rename to project/src/tests/printprint.lambda diff --git a/projet/sujet.pdf b/project/sujet.pdf similarity index 100% rename from projet/sujet.pdf rename to project/sujet.pdf