1 files changed, 0 insertions, 8 deletions
diff --git a/Coq.bat b/Coq.bat
deleted file mode 100755
index cdd7d50d..00000000
--- a/Coq.bat
+++ /dev/null
@@ -1,8 +0,0 @@
-@echo off
-set COQBIN=%~0\..\bin
-set COQLIB=%~0\..\lib
-echo Using COQBIN= %COQBIN%
-echo and   COQLIB= %COQLIB%
-echo Starting Coq
-%~0\..\bin\coqtop.opt.exe
-pause
-\ No newline at end of file