coq/doc/LICENSE, branch master The formal proof system [sphinx] Add links to other versions of the refman 2020-05-09T21:23:43+00:00 Clément Pit-Claudel 2020-05-09T02:10:58+00:00 2f74daa02ac02d63f3f755c36b0749c8f91eb733 






Update copyright years outside of headers.
2019-06-17T16:08:33+00:00

Théo Zimmermann

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

ffd9b12fe9e279fa896fc7e89d4f4d26c260ddfc

These were found with the following command:
$ git grep "1999-" | grep -v "2019"





These were found with the following command:
$ git grep "1999-" | grep -v "2019"







Merge PR #7783: Move INSTALL.doc to doc/README.md and improve a few things.
2018-06-26T12:52:51+00:00

Maxime Dénès

2018-06-26T12:52:51+00:00

7c28b7fa4816dab697f60b397884021ddc081ba2












Fix copyright dates in doc/LICENSE.
2018-06-22T07:06:57+00:00

Théo Zimmermann

2018-06-22T07:06:57+00:00

ec9d8095ba74cc0549fe1eca950466742c43e74f

[ci skip]





[ci skip]







Remove Tutorials from doc/LICENSE following #7466.
2018-06-17T11:33:19+00:00

Théo Zimmermann

2018-06-12T09:25:32+00:00

5734c4527befeb61249979ecf7c043a3b463fc98












doc: Rename UbuntuMono-Square to CoqNotations and tweak spacing
2018-04-14T17:42:03+00:00

Clément Pit-Claudel

2018-04-14T17:41:23+00:00

ecdf2d82eea29a902bac2ecdbf62cf2b6b839386

The Ubuntu Font License requires substantially modified fonts to be renamed
entirely.





The Ubuntu Font License requires substantially modified fonts to be renamed
entirely.







Integration of a sphinx-based documentation generator.
2018-03-09T14:12:51+00:00

Maxime Dénès

2017-02-10T14:52:24+00:00

4aaf28cc905bebf757b02ad911a6eed78714cac7

The original contribution is from Clément Pit-Claudel. I updated
his code and integrated it with the Coq build system. Many improvements
by Paul Steckler (MIT).

This commit adds the infrastructure but no content.





The original contribution is from Clément Pit-Claudel. I updated
his code and integrated it with the Coq build system. Many improvements
by Paul Steckler (MIT).

This commit adds the infrastructure but no content.







Remove outdated information regarding the FAQ.
2018-03-06T13:00:50+00:00

Théo Zimmermann

2018-03-06T13:00:50+00:00

d095b1f2c39a9a3c0b009675573ea34034ffe52c

The FAQ is not part of the Coq sources anymore.





The FAQ is not part of the Coq sources anymore.







Switch the few remaining iso-latin-1 files to utf8
2014-12-09T13:27:21+00:00

Pierre Letouzey

2014-12-09T11:48:32+00:00

af84e080ff674a3d5cf2cf88874ddb6ebaf38ecf












Mise à jour des fichiers README et INSTALL de la doc (bug #1921) + suppression de la dépendance envers aeguill (bug #1922)
2008-08-06T15:34:14+00:00

notin

2008-08-06T15:34:14+00:00

2592766937df60484f15d5050e5bfe6623c83390

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11311 85f007b7-540e-0410-9357-904b9bb8a0f7





git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11311 85f007b7-540e-0410-9357-904b9bb8a0f7