aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Expand)Author
2021-04-12Gitignore update for doc_grammar.Théo Zimmermann
2021-03-03[build] Split stdlib to it's own opam package.Emilio Jesus Gallego Arias
2021-02-19Add a file coq_arity.h generated by genOpcodeFiles.ml.Guillaume Melquiond
2020-11-04Add kernel/float64.ml to gitignorePierre Roux
2020-09-11Remove outdated references to productionlist.Théo Zimmermann
2020-08-27Fix .gitignore after the merge of #12849.Pierre-Marie Pédrot
2020-06-21Add a generated file to .gitignoreJason Gross
2020-06-02Move CoqIDE to its own folderMaxime Dénès
2020-04-11[dune] [stdlib] Build the standard library natively with Dune.Emilio Jesus Gallego Arias
2020-02-20Merge PR #11633: Add doc/unreleased.rst to .gitignore.Gaëtan Gilbert
2020-02-19Add doc/unreleased.rst to .gitignore.Théo Zimmermann
2020-02-05Add --fuzz, --real, --user to timing scriptsJason Gross
2019-12-18Merge PR #11203: Make the string argument of `time` print correctlyPierre-Marie Pédrot
2019-12-16[dune] Use a special directory for the boot buildEmilio Jesus Gallego Arias
2019-12-06Make the string argument of `time` print correctlyJason Gross
2019-11-13Update .gitignore after #11092Pierre Roux
2019-11-01Merge PR #9867: Add primitive floats (binary64 floating-point numbers)Maxime Dénès
2019-11-01Implementing support for vos/vok files.charguer
2019-11-01Communicate CFLAGS to dunePierre Roux
2019-10-13Doc update with mlg extension - fix #10855mcaci
2019-09-10Moving configuration of coqide.keys to the coqide executable.Hugo Herbelin
2019-07-19Introduce doc_gram, a utilty for extracting Coq's grammar from .mlg filesJim Fehrle
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 11:05:42 +0000