coq - The formal proof system

Age	Commit message (Collapse)	Author
2021-01-04	[win] remove old scripts, we now use the platform ones	Enrico Tassi

2020-06-02	Move CoqIDE to its own folder	Maxime Dénès
	The will make it possible to put a VsCoq toplevel in `ide/vscoq`.
2019-05-23	Fixing typos - Part 3	JPR

2019-05-21	Fixing typos - Part 1	JPR

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-03-02	build: win: support for addons	Enrico Tassi

2017-12-10	[build] Remove coqmktop in favor of ocamlfind.	Emilio Jesus Gallego Arias
	We remove coqmktop in favor of a couple of simple makefile rules using ocamlfind. In order to do that, we introduce a new top-level file that calls the coqtop main entry. This is very convenient in order to use other builds systems such as `ocamlbuild` or `jbuilder`. An additional consideration is that we must perform a side-effect on init depending on whether we have an OCaml toplevel available [byte] or not. We do that by using two different object files, one for the bytecode version other for the native one, but we may want to review our choice. We also perform some smaller cleanups taking profit from ocamlfind.
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