aboutsummaryrefslogtreecommitdiff
path: root/doc/changelog/08-tools
AgeCommit message (Expand)Author
2020-12-11Clarify changelog categories.Théo Zimmermann
2020-12-03[changelog] update markupEnrico Tassi
2020-12-03Changes for Coq 8.13Matthieu Sozeau
2020-11-05Changelog for 8.12.1.Théo Zimmermann
2020-09-21Make print-pretty-timed robust against non-output-sync logsJason Gross
2020-08-19[coqchk] Look inside inner modules as wellJason Gross
2020-07-29coqdoc: Fix the “details” environmentThomas Letan
2020-07-24Adding change log for #12754.Hugo Herbelin
2020-07-01Remove deprecated (in 8.8 #6277) coqchk -IGaëtan Gilbert
2020-06-01Merge PR #12396: Release notes 8.12Emilio Jesus Gallego Arias
2020-05-27Adding changelog.Martin Bodin
2020-05-27Release notes for 8.12.Théo Zimmermann
2020-05-25dev/tools/make-changelog.sh now asks about fixed bugsJason Gross
2020-05-22[coqchk] Fix #5030Pierre Roux
2020-05-20Print a newline at the end of timing tablesJason Gross
2020-05-13Document the changes regarding the order of command-line options.Théo Zimmermann
2020-04-29When TIMED=1, emit timing info for OCaml filesJason Gross
2020-04-29Merge PR #11606: [tools] Add memory stats to tables by defaultEmilio Jesus Gallego Arias
2020-04-24Add memory stats to tables by defaultJason Gross
2020-04-21Change log.Hugo Herbelin
2020-04-20Merge PR #12126: TIMEFMT: Display the output file nameGaëtan Gilbert
2020-04-20Adding change log for PR #12026 (definitions in coqdoc link to themselves).Hugo Herbelin
2020-04-20TIMEFMT: Display the output file nameJason Gross
2020-04-20Adding change log.Hugo Herbelin
2020-04-15Adding change log for PR #12033 (hyperlinks on binders for coqdoc).Hugo Herbelin
2020-04-10coqdoc: Report location of mismatched '[['Lysxia
2020-04-08Merge PR #12005: Remove deprecated coqtop optionsEmilio Jesus Gallego Arias
2020-04-03Update doc/changelog/08-tools/12005-remove-deprecated-coqtop-options.rstThéo Zimmermann
2020-04-02Add changelog entry for #12005.Théo Zimmermann
2020-04-02remove .lia.cache and .nia.cache by make cleanallOlivier Laurent
2020-03-28coqdoc: Add (* begin details *) and (* end details *)Thomas Letan
2020-03-21Reorder the load/require cmd-options and set/unset cmd-optionsLasse Blaauwbroek
2020-03-08Minor improvements to the unreleased changelog.Théo Zimmermann
2020-02-20Merge PR #11616: [coqdep] Tweak changelog after recent PRs.Gaëtan Gilbert
2020-02-19Merge PR #11302: Add --fuzz, --real, --user to timing scriptsEmilio Jesus Gallego Arias
2020-02-17[coqdep] Tweak changelog after recent PRs.Emilio Jesus Gallego Arias
2020-02-07[coqdep] Add changelog for recent modifications.Emilio Jesus Gallego Arias
2020-02-05Add --fuzz, --real, --user to timing scriptsJason Gross
2020-01-22Move new entries in 8.11.0 changelog.Théo Zimmermann
2020-01-22Changelog for 8.11.0.Théo Zimmermann
2020-01-14[coqdoc] Fix #11353: coqdoc -g omits all sentences with decorationsKarl Palmskog
2020-01-13Merge PR #11280: Fix #11195 and add other improvements: try loading .vio (and...Pierre-Marie Pédrot
2020-01-03coq_makefile: don't use CAMLPKGS when building cmxa of mllibGaëtan Gilbert
2019-12-12Fix #11195 and add other improvements: try loading .vio (and not just .vo) if...charguer
2019-12-09Fixes #11254 (not requiring coqlib to be set to report about coqtop version).Hugo Herbelin
2019-12-02Move unreleased changelog to new 8.11 section.Théo Zimmermann
2019-11-28[changelog] Add types to changelog entries.Théo Zimmermann
2019-11-19coq_makefile: support COQBIN with no ending /Gaëtan Gilbert
2019-11-01Add warnings regarding the experimental nature of the vos feature in the doc.Pierre-Marie Pédrot
2019-11-01Changelog entryMaxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-06 19:01:43 +0000