coq/doc/refman/menu.html, branch master The formal proof system Remove LaTeX refman, now that migration to Sphinx is complete 2018-04-16T16:16:37+00:00 Maxime Dénès 2018-04-16T16:16:37+00:00 72c35b310a7b8a23934a1e9632d4d989c184d0d7 






Separate index for vernacular options.
2015-02-17T20:38:13+00:00

Maxime Dénès

2015-02-17T20:38:13+00:00

30076f81448721c49b86846de638cbc936c085fb












Changement du index.html généré dans refman
2006-06-13T14:22:19+00:00

notin

2006-06-13T14:22:19+00:00

a86210328ffa5aed69546e4c64ce02520bf2bf13

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





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