aboutsummaryrefslogtreecommitdiff
path: root/tools
AgeCommit message (Expand)Author
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
2018-01-16Merge PR #6466: Replace md5sum/md5 calls by an OCaml programMaxime Dénès
2018-01-15Avoid shell backticks and improve md5sum.ml error messagesJacques-Pascal Deplaix
2018-01-11Added newline at the end of usage of coqdep.Bernhard Schommer
2018-01-08Merge PR #6516: Add TIMING_SORT_BY and --sort-by to timing scriptsMaxime Dénès
2017-12-27Add TIMING_SORT_BY and --sort-by to timing scriptsJason Gross
2017-12-27[API] remove large file containing duplicate interfacesEnrico Tassi
2017-12-27Merge PR #6040: Making coq_makefile usage consistent with what it claims + po...Maxime Dénès
2017-12-24Check the whole string given by md5sum.mlJacques-Pascal Deplaix
2017-12-23Replace md5sum/md5 calls by an OCaml programJacques-Pascal Deplaix
2017-12-23Registering a printing handler in coq_makefile.Hugo Herbelin
2017-12-23Forbidding -o and -f in input file of coq_makefile.Hugo Herbelin
2017-12-23Removing failure of coq_makefile on no arguments.Hugo Herbelin
2017-12-18Merge PR #6217: Do dependencies in 1 command per file class.Maxime Dénès
2017-12-15Do dependencies in 1 command per file class.Gaëtan Gilbert
2017-12-14Merge PR #6038: [build] Remove coqmktop in favor of ocamlfind.Maxime Dénès
2017-12-14Merge PR #6388: Fix issue #6387Maxime Dénès
2017-12-13Merge PR #1108: [stm] Reorganize flagsMaxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-06 01:22:46 +0000