aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2019-10-15Merge PR #10882: Document Gaëtan's new script to prefill a changelog entry.Clément Pit-Claudel
2019-10-14Fix coq#4741: Extract Constant/Inductive with JSONHelge Bahmann
2019-10-14Assign ownership of the test-suite compat filesJason Gross
2019-10-14Merge PR #10883: Doc update with mlg extension - fix #10855Jason Gross
2019-10-14Merge PR #10852: Fix #10842: incorrect handling of unicode input before spacePierre-Marie Pédrot
2019-10-14Updating changelogHugo Herbelin
2019-10-14ClassicalFacts.v: Unifying format for bibliographical references.Hugo Herbelin
2019-10-14Weak excluded-middle: adding a reference.Hugo Herbelin
2019-10-14Logic: Add equivalence between weak excluded-middle and classical Morgan's lawHugo Herbelin
2019-10-14Fix #9851: anomaly when unsolved evar in Add RingGaëtan Gilbert
2019-10-14test-suite/Makefile: work when manually involved for dune-compiled CoqGaëtan Gilbert
2019-10-14Remove obj_sec field of Nametab.obj_prefix record.Gaëtan Gilbert
2019-10-14Use kernel info from Global for Lib.sections_{depth,are_opened}Gaëtan Gilbert
2019-10-14Remove [in_section] arguments to Safe_typing functionsGaëtan Gilbert
2019-10-14Merge PR #10887: fix rev_right_loop docEnrico Tassi
2019-10-14Merge PR #10811: Allow SProp default onPierre-Marie Pédrot
2019-10-14Merge PR #10889: Fix #10888: Context import behaviour in modtypePierre-Marie Pédrot
2019-10-14Merge PR #10881: [make] separate generated gramlib ml files from mli files (f...Vincent Laporte
2019-10-13Doc update with mlg extension - fix #10855mcaci
2019-10-13Fix #10888: Context import behaviour in modtypeGaëtan Gilbert
2019-10-13fix rev_right_loop docAntonio Nikishaev
2019-10-13Merge PR #10862: Simplify universe handling wrt side effects: rm demote_seff_...Pierre-Marie Pédrot
2019-10-13Merge PR #10670: ComAssumption cleanupPierre-Marie Pédrot
2019-10-12Merge PR #10818: Merge Direct and Indirect nodes in Opaqueproof.Maxime Dénès
2019-10-12[make] separate generated gramlib ml files from mli files (fix #10864)Enrico Tassi
2019-10-11Merge PR #10489: Fix output for "Printing Dependent Evars Line"Hugo Herbelin
2019-10-11Document Gaëtan's new script to prefill a changelog entry.Théo Zimmermann
2019-10-11Merge PR #10740: More precise error messages for `Add Ring`Pierre-Marie Pédrot
2019-10-11Merge PR #10828: Simple script to prefill a changelog entryThéo Zimmermann
2019-10-11Merge PR #10804: Fix Print All of section variablesPierre-Marie Pédrot
2019-10-11Merge PR #10850: chmod -x some filesGaëtan Gilbert
2019-10-11Merge PR #10697: [vernac] Split vernacular translation and interpretation.Gaëtan Gilbert
2019-10-11Simple script to prefill a changelog entryGaëtan Gilbert
2019-10-11Merge PR #10844: Bump version number to 8.11.Théo Zimmermann
2019-10-10Merge PR #10817: Remove redundancy in section hypotheses of kernel entries.Gaëtan Gilbert
2019-10-09Specialize UState.merge for extend:falseGaëtan Gilbert
2019-10-09Simplify universe handling wrt side effects: rm demote_seff_univsGaëtan Gilbert
2019-10-09A few fixes to the CREDITS file.Théo Zimmermann
2019-10-09Fix alphabetical ordering in the list of contributors to 8.10.Théo Zimmermann
2019-10-08Merge PR #10840: Release process: release notesThéo Zimmermann
2019-10-08Merge PR #10791: Replace custom timeout logic with new GitLab's per-job timeo...Emilio Jesus Gallego Arias
2019-10-08Merge PR #10770: [ci] Add mit-pdos/perennialEmilio Jesus Gallego Arias
2019-10-08Merge PR #10780: [CI/Azure/macOS] Update GTK3 to 3.24.11Emilio Jesus Gallego Arias
2019-10-08Fix #10842: incorrect handling of unicode input before spacecharguer
2019-10-07chmod -x some filesJason Gross
2019-10-07Release process: release notesVincent Laporte
2019-10-07Call to update-compat.py.Pierre-Marie Pédrot
2019-10-07Bump version number to 8.11.Pierre-Marie Pédrot
2019-10-07Merge PR #9933: Add a few missing notes to the release doc.Vincent Laporte
2019-10-07[vernac] Split vernacular translation and interpretation.Emilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-15 14:51:41 +0000