coq - The formal proof system

Age	Commit message (Collapse)	Author
2018-06-02	[appveyor] Use OCaml version 4.06.1 in the Windows build.	Emilio Jesus Gallego Arias
	We bump Windows builds to 4.06.1, IMHO it makes sense to use the latest OCaml version to build on that platform due to the support status and number of fixes.
2018-05-03	Fixes issue #7081 / Windows build: strip in lablgtk build can fail randomly	Michael Soegtrop

2018-03-02	installer: win: put addons in a separate package	Enrico Tassi

2018-01-04	Normalize Windows installer names.	Théo Zimmermann

2017-12-01	uninstall doc dir, not dev (which is not installed), #6007	Paul Steckler

2017-10-25	Put newlines at the end of files.	Gaëtan Gilbert

2017-06-26	Fixes bug #5561,#5562 in Windows build system	Michael Soegtrop

2016-11-10	Add Michael Soegtrop's new script to build windows installer.	Maxime Dénès