coq/Makefile, branch master The formal proof system Update headers in the whole code base. 2020-03-18T11:15:43+00:00 Théo Zimmermann 2020-03-18T11:14:26+00:00 a99776e10e0b2198d2b811ad82631111fb450f8a Add headers to a few files which were missing them. 
Add headers to a few files which were missing them.
[build] Allow the selection of build system using an env var. 2019-12-13T16:08:49+00:00 Emilio Jesus Gallego Arias 2019-12-09T17:05:45+00:00 59aa19ab9adc2c8aceaa7752d5fecb24ebe2d725 This is undocumented on purpose by now. Suggested by Gaëtan Gilbert 
This is undocumented on purpose by now.

Suggested by Gaëtan Gilbert
[make] Rename Makefile to Makefile.make 2019-12-13T16:05:48+00:00 Emilio Jesus Gallego Arias 2019-12-09T13:49:42+00:00 1e0c092e5856d9dbf4a009ef700549e58bbd76e5 Picked from #8729. This should help preserve the history better when we split. 
Picked from #8729. This should help preserve the history better when
we split.
remove *.vos and *.vok file in "make clean" 2019-11-27T21:13:29+00:00 Olivier Laurent 2019-11-27T21:11:33+00:00 c3266d737bbda2b707ba1f2f78ecfe4e2e9f9ab8 






[make] separate generated gramlib ml files from mli files (fix #10864)
2019-10-12T10:45:07+00:00

Enrico Tassi

2019-10-11T11:43:20+00:00

b0210638366d6584b709496b0f0eeeecb17c3fae












Add missing file ide/default_bindings_src.exe to "make clean"
2019-08-04T21:07:11+00:00

Jim Fehrle

2019-08-04T18:38:21+00:00

8b0c328d48fe77f4c3410a09a16603883047c191












Update py-style headers to new year.
2019-06-17T16:08:32+00:00

Théo Zimmermann

2019-06-06T09:22:08+00:00

7521031c01976b045f81b6123f9ee9be77122a55












Integrate build and documentation of Ltac2
2019-05-07T08:02:56+00:00

Maxime Dénès

2019-04-25T12:09:42+00:00

9779c0bf4945693bfd37b141e2c9f0fea200ba4d

Since Ltac2 cannot be put under the stdlib logical root (some file names
would clash), we move it to the `user-contrib` directory, to avoid adding
another hardcoded path in `coqinit.ml`, following a suggestion by @ejgallego.

Thanks to @Zimmi48 for the thorough documentation review and the
numerous suggestions.





Since Ltac2 cannot be put under the stdlib logical root (some file names
would clash), we move it to the `user-contrib` directory, to avoid adding
another hardcoded path in `coqinit.ml`, following a suggestion by @ejgallego.

Thanks to @Zimmi48 for the thorough documentation review and the
numerous suggestions.







binding generator for coqide
2019-03-18T10:29:51+00:00

charguer

2018-11-12T15:28:14+00:00

7b0b7e8440829f80d1fdee1a7f6daa82d3538c90












Cleanup exported variables in Makefile.build
2019-03-03T16:29:33+00:00

Gaëtan Gilbert

2019-02-28T17:46:47+00:00

1a9f134e5ce7132ea38a6c73755e5773c4361aea