| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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-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-10-03 | Merge PR #1023: dev/build/windows/makecoq_mingw.sh: install camlp5's META file | Maxime Dénès | |
| 2017-09-21 | Do not reinstall preinstalled packages under AppVeyor. | Maxime Dénès | |
| It seems that reinstalling gcc can leave Cygwin in a strange state, where invocations of gcc fail suddenly. I haven't figure out exactly why, but this seems to fix it. | |||
| 2017-09-21 | Print Cygwin setup output rather than logging in to a file. | Maxime Dénès | |
| 2017-09-07 | dev/build/windows/makecoq_mingw.sh: install camlp5's META file | Enrico Tassi | |
| 2017-09-05 | Make AppVeyor generate Windows package. | Maxime Dénès | |
| 2017-09-05 | Remove -debug option from Windows build script. | Maxime Dénès | |
| It is no longer accepted by Coq's ./configure. | |||
| 2017-09-05 | Get sources of cygwin packages after building the installer. | Maxime Dénès | |
| 2017-09-05 | Adapt Windows build script to new CoqIDE data installation directory. | Maxime Dénès | |
| 2017-09-05 | Print more of the Coq build output. | Maxime Dénès | |
| 2017-09-05 | Print Coq build output. | Maxime Dénès | |
| 2017-09-05 | In regression test mode, run cygwin setup to install dependencies. | Maxime Dénès | |
| 2017-07-20 | Add AppVeyor infrastructure, launching the test suite under Windows. | Maxime Dénès | |
| 2017-07-04 | Merge branch 'v8.6' | Pierre-Marie Pédrot | |
| 2017-06-26 | Fix libpcre dependency issue under Windows. | Maxime Dénès | |
| 2017-06-26 | Fix proxy setting issue | Michael Soegtrop | |
| 2017-06-26 | Fixes bug #5561,#5562 in Windows build system | Michael Soegtrop | |
| 2017-05-18 | Fix a typo | Jason Gross | |
| 2016-12-08 | Windows build scripts for 8.6 final. | Maxime Dénès | |
| 2016-12-08 | Fix paths in 32-bit windows build scripts. | Maxime Dénès | |
| 2016-12-07 | Add bat files for 8.6rc1 build. | Maxime Dénès | |
| 2016-12-07 | Add bat files for 8.6beta1 build. | Maxime Dénès | |
| 2016-11-14 | Remove README.win until we come up with new instructions. | Maxime Dénès | |
| The recommended way to install Coq under windows is anyway to use the precompiled installer. | |||
| 2016-11-10 | Add Michael Soegtrop's new script to build windows installer. | Maxime Dénès | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |