Codebase list coq / upstream/8.2.pl1+dfsg Coq.bat
upstream/8.2.pl1+dfsg

Tree @upstream/8.2.pl1+dfsg (Download .tar.gz)

Coq.bat @upstream/8.2.pl1+dfsg — raw · history · blame 

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