blob: 6e36d014046fd7bbf1ad508aea887b701138ec05 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
SET COQREGTESTING=Y
REM Bleeding edge
call MakeCoq_86git_abs_ocaml.bat
call MakeCoq_86git_installer.bat
call MakeCoq_86git_installer_32.bat
call MakeCoq_86git_abs_ocaml_gtksrc.bat
REM Current stable
call MakeCoq_85pl3_abs_ocaml.bat
call MakeCoq_85pl3_installer.bat
call MakeCoq_85pl3_installer_32.bat
REM Old but might still be used
call MakeCoq_85pl2_abs_ocaml.bat
call MakeCoq_84pl6_abs_ocaml.bat
|