coq - The formal proof system

Age	Commit message (Expand)	Author
2020-03-04	Fix #11749: don't warn for hidden files.	Théo Zimmermann
2020-02-13	[build] Consolidate stdlib's .v files under a single directory.	Emilio Jesus Gallego Arias
2020-01-17	[doc] [dune] [ltac2] Build Ltac2 documentation [dune build system]	Emilio Jesus Gallego Arias
2018-11-07	[doc] also scan plugins/ to build the lirbary index	Enrico Tassi
2014-06-26	Avoid scanning .coq-native directories when building the library index.	Guillaume Melquiond
2012-02-01	Improved synchronisation of stdlib index page with current library state.	herbelin
2012-01-31	index-list.html.template: add missing files	pboutill
2010-11-02	Move stuff about positive into a distinct PArith subdir	letouzey
2010-06-28	Update of documentation for the standard library (cf. #2332)	letouzey
2008-06-07	Fix library index template and associated script.	msozeau
2008-05-26	Fix bashism in doc generation.	glondu
2008-03-19	migration of the old IntMap library from StdLib to a user contrib (Cachan/Int...	letouzey
2008-02-27	Bug dans la génération de la stdlib	notin
2007-11-28	Ajout de l'axiomatisation des entiers à la documentation de la librairie sta...	notin
2007-08-08	A better Program documentation. Include it in the generated stdlib doc.	msozeau
2007-07-25	Modifications de la construction de la documentation de la librairie	notin
2006-03-25	r8708@thot: notin \| 2006-03-24 18:55:01 +0100	notin
2006-02-23	Mise à jour des Makefile, ajout licences, corrections mineures suite à	herbelin