aboutsummaryrefslogtreecommitdiff
path: root/Makefile.common
AgeCommit message (Expand)Author
2021-04-02Remove the omega tactic and related optionsJim Fehrle
2021-02-26Signed primitive integersAna
2021-01-27[sysinit] new component for system initializationEnrico Tassi
2020-11-20Build all_stdlib.v in test suite makefileGaëtan Gilbert
2020-11-13Turn coq_float64.h into a .c file as it is no longer needed by coq_interp.c.Guillaume Melquiond
2020-11-05Merge numeral and string notation pluginsPierre Roux
2020-11-05[numeral notation] RPierre Roux
2020-10-02{new,setoid_}ring -> ringMaxime Dénès
2020-05-15Move SSR's Search to a new plugin and deprecate it.Théo Zimmermann
2020-03-18Update headers in the whole code base.Théo Zimmermann
2020-02-13[coqdep] Remove support for `-c` ocamldep replacement.Emilio Jesus Gallego Arias
2020-01-30Don't install doc_grammarGaëtan Gilbert
2019-11-01Parsing primitive float constantsPierre Roux
2019-10-18Adding a test for votour.Pierre-Marie Pédrot
2019-09-16Re-implementation of zifyFrédéric Besson
2019-07-19Introduce doc_gram, a utilty for extracting Coq's grammar from .mlg filesJim Fehrle
2019-06-17Update py-style headers to new year.Théo Zimmermann
2019-05-07Integrate build and documentation of Ltac2Maxime Dénès
2019-02-06Makefiles: Fixes for byte compilationGaëtan Gilbert
2019-02-04Primitive integersMaxime Dénès
2019-02-01[toplevel] Split interactive toplevel and compiler binaries.Emilio Jesus Gallego Arias
2019-01-08Integrate plugin tutorial after code importGaëtan Gilbert
2018-12-12Merge PR #8965: Add `String Notation` vernacular like `Numeral Notation`Hugo Herbelin
2018-12-06Rename generated directory gramlib__pack -> gramlib/.packGaëtan Gilbert
2018-11-28Add `String Notation` vernacular like `Numeral Notation`Jason Gross
2018-11-21[camlp5] Remove dependency on camlp5.Emilio Jesus Gallego Arias
2018-11-21[gramlib] [build] Switch make-based system to packed gramlibEmilio Jesus Gallego Arias
2018-10-23[build] Refactoring to config lib and ocamldebug tweaks.Emilio Jesus Gallego Arias
2018-09-25Remove romegaVincent Laporte
2018-09-12Remove quote pluginMaxime Dénès
2018-08-31remove legacy syntax plugins subsumed by Numeral NotationPierre Letouzey
2018-08-31Numeral Notation (for inductive types)Pierre Letouzey
2018-07-17Remove fourier pluginMaxime Dénès
2018-07-11[coqpp] Move to its own directory.Emilio Jesus Gallego Arias
2018-07-10Compile coqpp inside the bin/ folder and make it available after installation.Pierre-Marie Pédrot
2018-07-07Merge PR #7921: Archive the `gallina` toolMaxime Dénès
2018-07-07Merge PR #7956: Rebuild coqtop$(EXE) in "make coqbinaries" in addition to coq...Enrico Tassi
2018-06-30Rebuild coqtop$(EXE) in "make coqbinaries" in addition to coqtop.opt$(EXE).Jim Fehrle
2018-06-29Splitting primitive numeral parser/printer for positive, N, Z into three files.Hugo Herbelin
2018-06-25Archive the `gallina` toolVincent Laporte
2018-05-23Merge PR #7414: Add .byte targets for every bestocaml targetEnrico Tassi
2018-05-21[stm] Make toplevels standalone executables.Emilio Jesus Gallego Arias
2018-05-16Modify make system to include Makefile.common in the test suiteGaëtan Gilbert
2018-05-16add unit tests to test suitePaul Steckler
2018-05-03Add .byte targets for every bestocaml targetGaëtan Gilbert
2018-04-23[api] Relocate `intf` modules according to dependency-order.Emilio Jesus Gallego Arias
2018-02-27Update headers following #6543.Théo Zimmermann
2017-12-27[API] remove large file containing duplicate interfacesEnrico Tassi
2017-12-23[lib] Split auxiliary libraries into Coq-specific and general.Emilio Jesus Gallego Arias
2017-12-10[build] Remove coqmktop in favor of ocamlfind.Emilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 06:42:07 +0000