coq - The formal proof system

Age	Commit message (Expand)	Author
2009-03-27	Parsing files for numerals (+ ascii/string) moved into plugins	letouzey
2009-03-25	make coqdep_boot in stage1, not stage2	lmamane
2009-03-24	ocamlbuild improvements + minor makefile fix	letouzey
2009-03-24	pretty.mll of coqdoc becomes cpretty.mll (avoid clash with a camlp5 file)	letouzey
2009-03-20	Many changes in the Makefile infrastructure + a beginning of ocamlbuild	letouzey
2009-03-20	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey
2009-03-16	missing -c option of ocamlc in coq_makefile; coqdep_boot main loop was includ...	barras
2009-03-16	coqdep_boot: a specialized and dependency-free coqdep for killing one of the ...	letouzey
2009-03-16	Makefile: fix ignored errors, several attempts to clarify things	letouzey
2009-03-16	Makefile: minor improvements	letouzey
2009-03-14	Better mechanism for loading initial plugins	letouzey
2009-03-14	Makefile: ml dependencies of contribs are moved to .mllib files	letouzey
2009-03-07	- per session coq command stack	vgross
2009-03-05	ajout de la tactique groebner de Loic Pottier	barras
2009-03-02	porting r11900 11905 and 11953 to trunk	barras
2009-03-02	Heavy modifications on the widget and edition tab creation mechanism.	vgross
2009-02-27	Makefile: avoid building an empty contrib.cmxa	letouzey
2009-02-20	CoqInterface.vo in CONTRIBVO (should fix a dependency issue)	letouzey
2009-02-20	coq-interface and coq-parser can be calls to coqtop with adequate code dynlink	letouzey
2009-02-11	Backport of 11890 from branch v8.2 (compile tools with the best	herbelin
2009-02-11	Fix de divers petits problèmes d'installation	notin
2009-02-11	Modification du style du manuel de référence	notin
2009-02-11	Report des revisions #11826, #11828 et #11829 de v8.2 vers trunk	notin
2009-02-03	Allow to turn contrib/subtac into a (nat)dynlink'able plugin	letouzey
2009-02-03	Fix the installation of plugins (both initial and late ones)	letouzey
2009-01-22	Remplacement de cp --parents par un script sh	notin
2009-01-18	Backporting from v8.2 to trunk:	herbelin
2009-01-18	Getting rid of the previous implementation of setoid_rewrite which was	msozeau
2009-01-17	DISCLAIMER	puech
2009-01-13	Workaround to compile the coq archive with dynamic loading on Mac OS 10.5	herbelin
2009-01-10	- Fixed the recompilation of config/revision.ml once every two conmpilations.	herbelin
2009-01-08	Minor doc fixes:	msozeau
2009-01-07	Suite de la révision #11756	notin
2009-01-06	Conversion du fichier 'revision' en un fichier .ml + correction d'un bug dans...	notin
2009-01-06	Report de la révision 11754 (compilation sous windows)	notin
2009-01-04	Moved JProver to a user contribution (as was decided a long time ago)	herbelin
2008-12-24	- coq_makefile: target install now respects the original tree structure	herbelin
2008-12-19	Nettoyage des variables Coq et amélioration de coqmktop. Les	notin
2008-12-16	Take advantage of natdynlink when available: almost all contribs become loada...	letouzey
2008-12-16	Move FunctionalExtensionality to Logic/ (someone please check that the	msozeau
2008-11-12	Correction du bug #1995	notin
2008-10-28	Native "Declare ML Module" when possible	glondu
2008-10-18	- Merge modifs coq_makefile.ml4 de la 8.1 vers le trunk (commit 11429)	herbelin
2008-09-07	Do not install csdpcert in $(BINDIR)	glondu
2008-09-06	Install coqide manpage	glondu
2008-09-06	More cleaning	glondu
2008-09-06	Use $(COQTOPEXE) to refer to bin/coqtop in Makefiles	glondu
2008-09-05	Build coqrun library using ocamlmklib...	glondu
2008-09-02	Initial implementation of a new command to define (dependent) functions by	msozeau
2008-09-02	added Makefile target: validate (to recheck all .vo in a row)	barras