aboutsummaryrefslogtreecommitdiff
path: root/tools
AgeCommit message (Expand)Author
2018-09-05[build] Preliminary support for building Coq with `dune`.Emilio Jesus Gallego Arias
2018-08-29Merge PR #8282: [coq_makefile] print all options (Fix #7529)Théo Zimmermann
2018-08-24Fix ordering of before/after in print-pretty-timed-*Jason Gross
2018-08-21[coq_makefile] print all options (Fix #7529)Enrico Tassi
2018-07-29Adding support for custom entries in notations.Hugo Herbelin
2018-07-17Remove fourier pluginMaxime Dénès
2018-07-11Merge PR #8002: make-both-single-timing-files: fix --sort-by=diffJason Gross
2018-07-08Merge PR #8015: Output UTF-8 explicitly in timing toolsJason Gross
2018-07-08Remove Emacs modes.Théo Zimmermann
2018-07-07make diff sort by difference, not absolute differenceRalf Jung
2018-07-07make-both-single-timing-files: fix --sort-by=diffRalf Jung
2018-07-07Output UTF-8 explicitly in timing toolsJasper Hugunin
2018-07-07Merge PR #7921: Archive the `gallina` toolMaxime Dénès
2018-07-05Merge PR #7990: Convert timing tool to python3Jason Gross
2018-07-05Merge PR #7746: Many small cleanups removing unused arguments and functionsPierre-Marie Pédrot
2018-07-04Convert timing tools to run with both python2 and python3Jasper Hugunin
2018-07-03Fix timing tools on NixOS.Théo Zimmermann
2018-07-03coqdoc Index.find_string: remove unused argument.Gaëtan Gilbert
2018-07-03Coq_makefile.generate_conf_coq_config: remove unused argument.Gaëtan Gilbert
2018-06-25Archive the `gallina` toolVincent Laporte
2018-06-16Fix #7836: tools/inferior-coq.el uses next-line instead of forward-line.Perry E. Metzger
2018-06-13Merge PR #7241: [coq_makefile] COQMF_WINDRIVE is empty on linux (fix #7233)Théo Zimmermann
2018-05-31Explicitly require python2 in python scripts in tools/Armaël Guéneau
2018-05-21[ide] Remove special option `-ideslave`Emilio Jesus Gallego Arias
2018-05-21[stm] Make toplevels standalone executables.Emilio Jesus Gallego Arias
2018-05-08[coqdep] Remove unnecessary dependency on Pp and CError.Emilio Jesus Gallego Arias
2018-05-08[coqdep] Minor cleanups.Emilio Jesus Gallego Arias
2018-05-04Fix #7413: coqdep warning on repeated filesGaëtan Gilbert
2018-04-27Fix PHONY typo in coq_makefileGaëtan Gilbert
2018-04-13[coq_makefile] COQMF_WINDRIVE is empty on linux (fix #7233)Enrico Tassi
2018-03-30Remove deprecated commands Arguments Scope and Implicit ArgumentsJasper Hugunin
2018-03-21docsRalf Jung
2018-03-20coq_makefile: provide variables to override for adding extra flagsRalf Jung
2018-03-20coq_makefile: FLAG make variables should not contain LIBSRalf Jung
2018-03-09Merge PR #6851: Fix #6830: coqdep VDFILE uses too many arguments for fiat-cry...Maxime Dénès
2018-03-08Merge PR #6582: Mangle auto-generated namesMaxime Dénès
2018-03-06Closes #6830: coqdep reads options and files from _CoqProject.Gaëtan Gilbert
2018-03-01Add source (project file / command line) to project fields.Gaëtan Gilbert
2018-02-28Fix #6830: coqdep VDFILE uses too many arguments for fiat-crypto/OSXGaëtan Gilbert
2018-02-27Update headers following #6543.Théo Zimmermann
2018-02-19Merge PR #6646: Change references to CAMLP4 to CAMLP5 since we no longer use ...Maxime Dénès
2018-02-17Change references to CAMLP4 to CAMLP5 to be more accurate since we noJim Fehrle
2018-02-17Implement name mangling optionJasper Hugunin
2018-02-15Merge PR #1073: new quick2vo target: like vio2vo, but smarterMaxime Dénès
2018-02-15new quick2vo target: like vio2vo, but smarterRalf Jung
2018-02-15Merge PR #6741: coq_makefile: Support "" as the prefix in _CoqProjectMaxime Dénès
2018-02-15coq_makefile: Support "" as the prefix in _CoqProjectJoachim Breitner
2018-02-13Merge PR #6704: Fix coq_makefile not passing -R options to coqdoc, breaking l...Maxime Dénès
2018-02-09[error] Replace msg_error by a proper exception.Emilio Jesus Gallego Arias
2018-02-07Possible fix for issue #6697Yannick Forster
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:53:08 +0000