aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Expand)Author
2018-06-29Use a homebrew parser to replace the GEXTEND extension points of Camlp5.Pierre-Marie Pédrot
2018-06-25Archive the `gallina` toolVincent Laporte
2018-05-24[ide] Move common protocol library to its own folder/object.Emilio Jesus Gallego Arias
2018-05-16add unit tests to test suitePaul Steckler
2018-04-30[doc] Update Sphinx build instructions for Debian derivatives.Emilio Jesus Gallego Arias
2018-04-16Remove LaTeX refman, now that migration to Sphinx is completeMaxime Dénès
2018-03-13[Sphinx] Read version number from configureMaxime Dénès
2018-02-17Change references to CAMLP4 to CAMLP5 to be more accurate since we noJim Fehrle
2017-12-31Ignore generated test-suite/output/MExtraction.outJason Gross
2017-12-27[API] remove large file containing duplicate interfacesEnrico Tassi
2017-12-10[make] remove unneeded generated file "tolink.ml"Emilio Jesus Gallego Arias
2017-08-21Extend .gitignore for coqdoc test-suite.Théo Zimmermann
2017-08-16Merge PR #880: Fix coqdoc bug #5648 on user idents colliding with keywords wr...Maxime Dénès
2017-07-17Adding a coqdoc target to test-suite.Hugo Herbelin
2017-07-11Add timing scriptsJason Gross
2017-06-30Update .gitignore with doc/tutorial/Tutorial.v.outJason Gross
2017-06-22Ignore all PDF files.Théo Zimmermann
2017-06-14Makefile.build : cleanup now that micromega.ml isn't generated + sync check o...Pierre Letouzey
2017-06-13BigNums: remove files about BigN,BigZ,BigQ (now in an separate git repo)Pierre Letouzey
2017-06-13Merge PR#743: Update .gitignoreMaxime Dénès
2017-06-12Store plugins/micromega/micromega.{ml,mli} files in the repository. Try to ge...Matej Košík
2017-06-12Add support for "-bypass-API" argument of "coq_makefile"Matej Košík
2017-06-07Update .gitignoreJason Gross
2017-06-07Put "ssreflect" behind "API".Matej Košík
2017-06-07Put all plugins behind an "API".Matej Kosik
2017-06-01extract "plugins/micromega/micromega.ml{,i}" files from "plugins/micromega/ME...Matej Kosik
2017-05-30Add some test-suite generated files to .gitignoreJason Gross
2017-05-23test suite for coq_makefile2Enrico Tassi
2017-05-23ide/project_file.ml4 -> lib/coqProject_file.ml4 + .mliEnrico Tassi
2017-05-23test suite for coq_makefileEnrico Tassi
2017-04-07[camlpX] Remove camlp4 compat layer.Emilio Jesus Gallego Arias
2017-03-10Improve build of travis target on local machine.Théo Zimmermann
2017-02-17Fix .gitignore.Pierre-Marie Pédrot
2016-10-24Merge branch 'v8.6'Pierre-Marie Pédrot
2016-10-24Update .gitignore with new names for psatz cachesJason Gross
2016-10-19enriching ".gitignore"Matej Kosik
2016-09-14Merge branch 'v8.6'Pierre-Marie Pédrot
2016-09-09Updating .gitignore.Hugo Herbelin
2016-07-26No more dev/printers.cmaPierre Letouzey
2016-07-13Merge branch 'v8.6'Pierre-Marie Pédrot
2016-07-12.gitignore: no more generated grammar/*.ml filesPierre Letouzey
2016-07-12".gitignore" updateMatej Kosik
2016-07-07dummy commit --- I just need a hash that does not belong to v8.6 branchMatej Kosik
2016-06-16Ignore generated .ml file for ssrmatchingEnrico Tassi
2016-06-14configure: use ln on linux and cp on windowsEnrico Tassi
2016-06-14Merge branch "LtacProf for trunk" (PR #165).Pierre-Marie Pédrot
2016-06-08Compilation via pack for plugins of the stdlibPierre Letouzey
2016-06-05LtacProf for Coq trunkJason Gross
2016-06-05Removing the Q_constr file.Pierre-Marie Pédrot
2016-06-05Moving Hipattern to a regular ML file.Pierre-Marie Pédrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 10:26:15 +0000