aboutsummaryrefslogtreecommitdiffhomepage
path: root/.gitignore
Commit message (Expand)AuthorAge
* Configure.ml creates metadata to annotate MacOS binariesGravatar Pierre Boutillier2014-08-26
* Add emacs auto-save and crash-save files to the .gitignore.Gravatar Arnaud Spiwack2014-07-25
* Add *.crashcoqide files to the .gitignore.Gravatar Arnaud Spiwack2014-07-25
* Add lia.cache to the .gitignoreGravatar Arnaud Spiwack2014-07-25
* Ignore generated file.Gravatar Guillaume Melquiond2014-05-22
* This commit adds full universe polymorphism and fast projections to Coq.Gravatar Matthieu Sozeau2014-05-06
* Fix coqide build under MacOSGravatar Pierre Boutillier2014-02-24
* coqc and coqmktop migrated in tools/, get rid of scripts/ subdirGravatar letouzey2013-04-18
* Added .native to .gitignoreGravatar ppedrot2013-01-22
* Allow running coq-tex in win32 (fix #2921)Gravatar letouzey2012-10-29
* univ inconsistency error message gives evidence of a cycleGravatar barras2012-10-17
* Turn mltop.ml4 into a regular ocaml fileGravatar letouzey2012-10-06
* Moved Compat to parsing. This permits to break the dependency of theGravatar ppedrot2012-10-04
* No more states/initial.coq, instead coqtop now requires Prelude.voGravatar letouzey2012-08-23
* Adds Reference-Manual.out to .gitignoreGravatar letouzey2012-05-30
* place all files specific to camlp4 syntax extensions in grammar/Gravatar letouzey2012-05-29
* Configure asks for lablgtk >= 2.12 with gtksourceview2Gravatar pboutill2012-04-27
* Update of .gitignore (via a regexp g_*.ml)Gravatar letouzey2012-03-22
* Added a Btauto plugin, that solves boolean tautologies.Gravatar ppedrot2012-01-13
* Bug 2669 and more: make full-stdlibGravatar pboutill2011-12-27
* lib/xml_lexer.ml in .gitignore (produced by a .mll)Gravatar letouzey2011-11-29
* gitignore updateGravatar pboutill2011-09-01
* Update .gitignoreGravatar glondu2011-01-25
* Add (quilt's) .pc to .gitignoreGravatar glondu2010-10-31
* Misc fixes related to new nsatz (and ocamlbuild)Gravatar letouzey2010-06-03
* Remove refutpat.ml4, ideal.ml4 is again a normal .ml, let* coded in a naive wayGravatar letouzey2010-05-19
* "make source-doc" builds documentation of mli in html and pdf atGravatar pboutill2010-04-29
* Misc small fixes : warning, dep cycles, ocamlbuild...Gravatar letouzey2010-04-26
* Update .gitignoreGravatar glondu2010-04-10
* Add test-suite/lia.cache to .gitignoreGravatar glondu2010-04-09
* Several bug-fixes and improvements of coqdocGravatar herbelin2010-03-29
* Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form)Gravatar letouzey2010-03-04
* ide/coq_lex.ml in .gitignoreGravatar letouzey2010-02-25
* Ignoring .spit/.spot files from OCamlSpotterGravatar thutchin2010-02-25
* NMake: several things need not be macro-generatedGravatar letouzey2010-01-25
* Add *.annot to .gitignoreGravatar glondu2010-01-14
* Addition of mergesort + cleaning of the Sorting libraryGravatar herbelin2009-12-13
* Update .gitignoreGravatar glondu2009-12-02
* Ajout des .annot dans le .gitignore.Gravatar aspiwack2009-08-11
* Improved parameterization of Coq:Gravatar herbelin2009-08-02
* Git ignore filesGravatar herbelin2009-07-30
* For git users, a global .gitignore fileGravatar letouzey2009-07-30