aboutsummaryrefslogtreecommitdiffhomepage
path: root/Coqide.bat
blob: f955a97063dfccef76c1caec2f13c8f1cfa4e420 (plain)
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