aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-05-16Merge PR #7507: gitlab CI: fix [warnings] templateEmilio Jesus Gallego Arias
2018-05-16Merge PR #7505: Pick up user overlays when running GitLab CI on PRs.Emilio Jesus Gallego Arias
2018-05-15Merge PR #7519: git / gpg integration linkThéo Zimmermann
2018-05-15Merge PR #7465: Don't use ref universe_opt_subst in universe normalisation fu...Pierre-Marie Pédrot
2018-05-15Update MERGING.mdMatthieu Sozeau
2018-05-15Update MERGING.mdMatthieu Sozeau
2018-05-15git / gpg integration linkMatthieu Sozeau
2018-05-15Merge PR #7213: Do not compute constr matching context if not used.Matthieu Sozeau
2018-05-15Merge PR #7487: Remove duplicate entries for Proof, Qed, Defined, Admitted.Maxime Dénès
2018-05-15Merge PR #7503: [ci] [circleci] Remove jobs done in Gitlab efficiently.Gaëtan Gilbert
2018-05-15Merge PR #7224: Attempt to fix the doubly encapsulated Ltac errors in coqideEnrico Tassi
2018-05-14Merge PR #7190: Option for quick compilation of the reference manual, bypassi...Maxime Dénès
2018-05-14Merge PR #7506: Add GitLab CI badge in first position.Maxime Dénès
2018-05-14Merge PR #7504: Define code owners for more CI files.Maxime Dénès
2018-05-14Merge PR #7170: Script to identify the code owner for given filesMaxime Dénès
2018-05-14Merge PR #7337: dir-locals: add bug-reference-mode variablesEmilio Jesus Gallego Arias
2018-05-14Merge PR #7482: Update CI documentation following recent evolutions.Emilio Jesus Gallego Arias
2018-05-14Merge PR #7502: Fixing little printing bug with "Locate" on recursive notationsEmilio Jesus Gallego Arias
2018-05-14Merge PR #7344: Windows packaging build with Gitlab CIGaëtan Gilbert
2018-05-14Merge PR #7479: Move 4722 (dangling symlink) to misc tests, remove dangling s...Gaëtan Gilbert
2018-05-14Remove duplicate entries for Proof, Qed, Defined, Admitted.Théo Zimmermann
2018-05-14gitlab CI: fix [warnings] templateGaëtan Gilbert
2018-05-14Merge PR #7374: [sphinx] More fatal warnings.Maxime Dénès
2018-05-14Add GitLab CI badge in first position.Théo Zimmermann
2018-05-14Pick up user overlays when running GitLab CI on PRs.Théo Zimmermann
2018-05-14Define code owners for more CI files.Théo Zimmermann
2018-05-14Update CI documentation following recent evolutions.Théo Zimmermann
2018-05-14Merge PR #7365: Mini fixes in the tactics chapterMaxime Dénès
2018-05-14[ci] [circleci] Remove jobs done in Gitlab efficiently.Emilio Jesus Gallego Arias
2018-05-13Fixing a bug in printing the body of a located notation.Hugo Herbelin
2018-05-13Removing a superfluous trailing newline in "Locate" for a notation.Hugo Herbelin
2018-05-13Move 4722 (dangling symlink) to misc tests, remove dangling symlink from repoRalf Jung
2018-05-13Merge PR #7477: Support for notations with autonomous only-parsing and only-p...Emilio Jesus Gallego Arias
2018-05-13Merge PR #7489: gitlab CI: remove math-classes jobEmilio Jesus Gallego Arias
2018-05-12Sphinx: a "QUICK=1" option to bypass recompilation of the library.Hugo Herbelin
2018-05-11gitlab CI: remove math-classes jobGaëtan Gilbert
2018-05-11Merge PR #7340: Remove DirClosedSection.Enrico Tassi
2018-05-11Doc: Renaming an old-style numerical evar in an alphabetical one.Hugo Herbelin
2018-05-11Doc: Moving `\forall` to `forall` in file tactics.rst.Hugo Herbelin
2018-05-11Doc: Some quotes missing in file tactics.rst.Hugo Herbelin
2018-05-11Replacing a broken reference by hyperlinks in chapter tactics.Hugo Herbelin
2018-05-11A few fixes in chapter tactics.Hugo Herbelin
2018-05-11Merge PR #7470: use at least 6 Xs in mktemp filename templatesGaëtan Gilbert
2018-05-11Merge PR #6959: [build] Build checker generated files using a make rule.Enrico Tassi
2018-05-11Notations: advertize that distinct "only parsing"/"only printing" rules work.Hugo Herbelin
2018-05-11Merge PR #7466: Remove tutorials from the repoMaxime Dénès
2018-05-11Merge PR #7461: [sphinx] Improve the proof handling chapter.Maxime Dénès
2018-05-11Merge PR #7341: Don't recurse into closed modules/sections in split_lib.Enrico Tassi
2018-05-11coqdev.el: add bug-reference-mode variablesGaëtan Gilbert
2018-05-11Merge PR #7363: [ci] Fix another issue with the timing testsGaëtan Gilbert
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 14:30:35 +0000