coq/dev/doc/README-V1-V5.asciidoc, branch master The formal proof system Move content of README-V1-V5 to Credits chapter. 2019-02-28T15:04:54+00:00 Théo Zimmermann 2018-11-27T15:10:25+00:00 979b9591ce5422cdf5ad76e4b6109b50cce4f1c7 






Merge branch 'render-prehistory' of https://github.com/aspiwack/coq into aspiwack-render-prehistory3
2016-03-09T19:32:25+00:00

Hugo Herbelin

2016-03-09T19:32:25+00:00

1b55adb1bea6d0e51fff54d9d94d95d8185476b7

Pull request #120





Pull request #120







Prehistory of Coq: move the bibliographic references to a dedicated section.
2015-11-11T21:14:06+00:00

Arnaud Spiwack

2015-11-10T23:02:21+00:00

fd7eb1dd0f2cf5fab3a6a2a5f567acaca2defed5

So as not to clutter the text. Also took the opportunity to add a few missing references.





So as not to clutter the text. Also took the opportunity to add a few missing references.







Prehistory of Coq: justification of the plain text.
2015-11-11T21:14:06+00:00

Arnaud Spiwack

2015-11-06T08:26:50+00:00

856e746e2a0adf959faee0907555af81be11d027












Prehistory of Coq: consistency.
2015-11-11T21:14:06+00:00

Arnaud Spiwack

2015-11-06T08:18:54+00:00

bbfa17765599a04931efa68a5397f418e6ea5b39

Don't use abbreviated first names in sentences.





Don't use abbreviated first names in sentences.







Prehistory of Coq: various corrections on English.
2015-11-11T21:14:06+00:00

Arnaud Spiwack

2015-11-06T08:15:47+00:00

e82fc7cb4104d28619448bde374afde7e32f3dc2












Prehistory of Coq: asciidoc conversion.
2015-11-11T21:14:06+00:00

Arnaud Spiwack

2015-11-05T18:43:44+00:00

5357b9849bd6eb0be4f8d60b4e1c091ad5167932

Formatting markup + typography.





Formatting markup + typography.