aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Expand)Author
2019-05-09Ignore generated dune file for Ltac2Vincent Laporte
2019-05-07Fix gitignore for ltac2Gaëtan Gilbert
2019-03-31[pretty-timing scripts] Don't barf on non-utf-8Jason Gross
2019-03-26Ignore generated files for CoqIDE bindingsVincent Laporte
2019-03-01[Kernel] Simpler generation of opcode filesVincent Laporte
2019-02-04Primitive integersMaxime Dénès
2019-01-22Merge PR #9308: Remove outdated gitignore coqprojectfile.mlEmilio Jesus Gallego Arias
2019-01-16Add .nia.cache to .gitignoreJason Gross
2019-01-05Remove outdated gitignore coqprojectfile.mlGaëtan Gilbert
2018-12-06Rename generated directory gramlib__pack -> gramlib/.packGaëtan Gilbert
2018-12-06unignore Makefile.installGaëtan Gilbert
2018-11-21[gramlib] [build] Switch make-based system to packed gramlibEmilio Jesus Gallego Arias
2018-11-06Remove checker files from .gitignoreMaxime Dénès
2018-11-02Select OS specific coqide code with cp.Gaëtan Gilbert
2018-10-23[build] Refactoring to config lib and ocamldebug tweaks.Emilio Jesus Gallego Arias
2018-10-19gitignore test-suite/.nia.cacheGaëtan Gilbert
2018-10-18Removing the Camlp5 macros from CLexer.Pierre-Marie Pédrot
2018-10-17[doc] [build] Remove ocamlbuild leftovers.Emilio Jesus Gallego Arias
2018-10-10[doc] [sphinx] Fix title levels.Théo Zimmermann
2018-10-02[doc] [api] Remove `ocamldoc` support in favor of `odoc`Emilio Jesus Gallego Arias
2018-09-25[doc] Rename credits-wrapper to credits and credits to credits-contentsClément Pit-Claudel
2018-09-20[doc] Create a wrapper around the Credits file for the LaTeX buildClément Pit-Claudel
2018-09-20[doc] Create a separate zebibliography file for the LaTeX buildClément Pit-Claudel
2018-09-20[doc] Create a separate index file for the LaTeX buildClément Pit-Claudel
2018-09-05[build] Preliminary support for building Coq with `dune`.Emilio Jesus Gallego Arias
2018-07-12[dev] Autogenerate OCaml dev files.Emilio Jesus Gallego Arias
2018-07-11[coqpp] Move to its own directory.Emilio Jesus Gallego Arias
2018-07-07Merge PR #7921: Archive the `gallina` toolMaxime Dénès
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-06 12:54:16 +0000