Codebase list coq / upstream/8.2-1+dfsg Coqide.bat
upstream/8.2-1+dfsg

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

Coqide.bat @upstream/8.2-1+dfsg — raw · history · blame 

1
2
3
4
5
6
7
@echo off
set COQBIN=%~0\..\bin
set COQLIB=%~0\..\lib
echo Using COQBIN= %COQBIN%
echo and   COQLIB= %COQLIB%
echo Starting Coqide
%~0\..\bin\coqide.opt.exe