coq - The formal proof system

Age	Commit message (Collapse)	Author
2019-05-21	Fixing typos - Part 1	JPR

2019-03-19	Fixed incompatibility between new cygwin pkg-config and dune	Michael Soegtrop

2019-03-19	[coqide] [ci] Update GTK toolchain to lablgtk3	Emilio Jesus Gallego Arias
	- Update Docker images to install compatible version of lablgtk3 - We remove unnecesary variables from configure. - We fix path detection of GTK libs in makefile
2019-01-23	Merge PR #9043: [windows] Cleanup cruft from `dev/build/windows`	Michael Soegtrop
	Reviewed-by: MSoegtropIMC
2018-12-25	[windows] Cleanup cruft from `dev/build/windows`	Emilio Jesus Gallego Arias
	The amount of cruft we are carrying there is high enough as to even difficult navigation. More cleanup should be performed, but this is a first step.
2018-12-12	Fix issue #9175 Windows: VST addon does not work if CompCert is also installed	Michael Soegtrop

2018-10-03	Fix issue #8321 "Add more useful addons to the Windows Installer"	Michael Soegtrop
	Implemented by merging addon changes in V8.8.2 (keeping everything on master)
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