aboutsummaryrefslogtreecommitdiffhomepage
path: root/.gitignore
Commit message (Expand)AuthorAge
* Use a homebrew parser to replace the GEXTEND extension points of Camlp5.Gravatar Pierre-Marie Pédrot2018-06-29
* [ide] Move common protocol library to its own folder/object.Gravatar Emilio Jesus Gallego Arias2018-05-24
* add unit tests to test suiteGravatar Paul Steckler2018-05-16
* [doc] Update Sphinx build instructions for Debian derivatives.Gravatar Emilio Jesus Gallego Arias2018-04-30
* Remove LaTeX refman, now that migration to Sphinx is completeGravatar Maxime Dénès2018-04-16
* [Sphinx] Read version number from configureGravatar Maxime Dénès2018-03-13
* Change references to CAMLP4 to CAMLP5 to be more accurate since we noGravatar Jim Fehrle2018-02-17
* Ignore generated test-suite/output/MExtraction.outGravatar Jason Gross2017-12-31
* [API] remove large file containing duplicate interfacesGravatar Enrico Tassi2017-12-27
* [make] remove unneeded generated file "tolink.ml"Gravatar Emilio Jesus Gallego Arias2017-12-10
* Extend .gitignore for coqdoc test-suite.Gravatar Théo Zimmermann2017-08-21
* Merge PR #880: Fix coqdoc bug #5648 on user idents colliding with keywords wr...Gravatar Maxime Dénès2017-08-16
|\
| * Adding a coqdoc target to test-suite.Gravatar Hugo Herbelin2017-07-17
* | Add timing scriptsGravatar Jason Gross2017-07-11
|/
* Update .gitignore with doc/tutorial/Tutorial.v.outGravatar Jason Gross2017-06-30
* Ignore all PDF files.Gravatar Théo Zimmermann2017-06-22
* Makefile.build : cleanup now that micromega.ml isn't generated + sync check o...Gravatar Pierre Letouzey2017-06-14
* BigNums: remove files about BigN,BigZ,BigQ (now in an separate git repo)Gravatar Pierre Letouzey2017-06-13
* Merge PR#743: Update .gitignoreGravatar Maxime Dénès2017-06-13
|\
* | Store plugins/micromega/micromega.{ml,mli} files in the repository. Try to ge...Gravatar Matej Košík2017-06-12
* | Add support for "-bypass-API" argument of "coq_makefile"Gravatar Matej Košík2017-06-12
| * Update .gitignoreGravatar Jason Gross2017-06-07
* | Put "ssreflect" behind "API".Gravatar Matej Košík2017-06-07
* | Put all plugins behind an "API".Gravatar Matej Kosik2017-06-07
|/
* extract "plugins/micromega/micromega.ml{,i}" files from "plugins/micromega/ME...Gravatar Matej Kosik2017-06-01
* Add some test-suite generated files to .gitignoreGravatar Jason Gross2017-05-30
* test suite for coq_makefile2Gravatar Enrico Tassi2017-05-23
* ide/project_file.ml4 -> lib/coqProject_file.ml4 + .mliGravatar Enrico Tassi2017-05-23
* test suite for coq_makefileGravatar Enrico Tassi2017-05-23
* [camlpX] Remove camlp4 compat layer.Gravatar Emilio Jesus Gallego Arias2017-04-07
* Improve build of travis target on local machine.Gravatar Théo Zimmermann2017-03-10
* Fix .gitignore.Gravatar Pierre-Marie Pédrot2017-02-17
* Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-10-24
|\
| * Update .gitignore with new names for psatz cachesGravatar Jason Gross2016-10-24
* | enriching ".gitignore"Gravatar Matej Kosik2016-10-19
* | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-09-14
|\|
| * Updating .gitignore.Gravatar Hugo Herbelin2016-09-09
* | 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