aboutsummaryrefslogtreecommitdiffhomepage
path: root/Coq.bat
blob: cdd7d50de1a39a0cc6ef92dfe138a72948cc1496 (plain)
1
2
3
4
5
6
7
8
@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