aboutsummaryrefslogtreecommitdiffhomepage
path: root/.gitignore
Commit message (Expand)AuthorAge
* No more dev/printers.cmaGravatar Pierre Letouzey2016-07-26
* Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-07-13
|\
| * .gitignore: no more generated grammar/*.ml filesGravatar Pierre Letouzey2016-07-12
| * ".gitignore" updateGravatar Matej Kosik2016-07-12
* | dummy commit --- I just need a hash that does not belong to v8.6 branchGravatar Matej Kosik2016-07-07
|/
* Ignore generated .ml file for ssrmatchingGravatar Enrico Tassi2016-06-16
* configure: use ln on linux and cp on windowsGravatar Enrico Tassi2016-06-14
* Merge branch "LtacProf for trunk" (PR #165).Gravatar Pierre-Marie Pédrot2016-06-14
|\
* | Compilation via pack for plugins of the stdlibGravatar Pierre Letouzey2016-06-08
| * LtacProf for Coq trunkGravatar Jason Gross2016-06-05
|/
* Removing the Q_constr file.Gravatar Pierre-Marie Pédrot2016-06-05
* Moving Hipattern to a regular ML file.Gravatar Pierre-Marie Pédrot2016-06-05
* Move ide serialization libraries from lib/ to ide/Gravatar Emilio Jesus Gallego Arias2016-06-02
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-05-20
|\
| * adding "user-contrib" directory to ".gitignore"Gravatar Matej Kosik2016-05-19
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-05-09
|\|
| * Rename Lexer -> CLexer.Gravatar Pierre-Marie Pédrot2016-05-09
* | Revert "Adding a target check-beautify for testing reparsability of"Gravatar Hugo Herbelin2016-04-27
* | Adding a target check-beautify for testing reparsability ofGravatar Hugo Herbelin2016-04-27
* | Updating .gitignore.Gravatar Pierre-Marie Pédrot2016-03-28
* | CLEANUP: kernel/context.ml{,i}Gravatar Matej Kosik2016-01-11
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-08-22
|\|
| * Remove generatable documentation files from repository. (Fix bug #4315)Gravatar Guillaume Melquiond2015-08-17
* | update gitignoreGravatar Pierre Boutillier2015-06-22
|/
* Add missing test-suite files and update gitignore.Gravatar Matthieu Sozeau2015-03-03
* rename: vi -> vioGravatar Enrico Tassi2015-01-06
* Ignore *.vi files, just like *.vo files.Gravatar Xavier Clerc2014-12-11
* Removing the XML plugin.Gravatar Pierre-Marie Pédrot2014-09-08
* 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