aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2019-09-16Optimize module ExportsMaxime Dénès
2019-09-16Do not cache objects when importing modulesMaxime Dénès
2019-09-16Specialize `ImportObject` to `Export`Maxime Dénès
2019-09-16`do_modtype` -> `load_modtype`Maxime Dénès
2019-09-16Remove library-specific code for `Import`.Maxime Dénès
2019-09-13Merge PR #10748: Hack for fixing #10578: handle between the three main CoqIDE...Pierre-Marie Pédrot
2019-09-13Hack for fixing #10578 (wrong initial handle position separating main windows).Hugo Herbelin
2019-09-12Merge PR #10753: Release notes for 8.10+beta3.Clément Pit-Claudel
2019-09-12Release notes for 8.10+beta3.Théo Zimmermann
2019-09-11Merge PR #8567: More general support for installation of coqide keysPierre-Marie Pédrot
2019-09-10feat: Add a rewrite rule (UnderE) to unprotect evars in subgoalsErik Martin-Dorel
2019-09-10[ssr] Add test "do [under ... do ...] in H"Erik Martin-Dorel
2019-09-10Merge PR #10742: Switch maintenance of `ring` to a teamThéo Zimmermann
2019-09-10Refman: To be compatible gtk2/gtk3, not mentioning GTK+ version explicitely.Hugo Herbelin
2019-09-10Fixing coqide doc about location of "coqiderc" and "coqide.bindings".Hugo Herbelin
2019-09-10CoqIDE: removing option contextual menu on goal, inactive since 2da5db43c.Hugo Herbelin
2019-09-10Moving a standard string function (is_prefix) from Minilib to CString.Hugo Herbelin
2019-09-10Moving configuration of coqide.keys to the coqide executable.Hugo Herbelin
2019-09-10Using GTK+ PRIMARY to factorize CoqIDE keys between MacOS and others.Hugo Herbelin
2019-09-10Hack to have the "ready" status bar message not hiding flash notices.Hugo Herbelin
2019-09-10Being more informative on the steps of selection of the preference file.Hugo Herbelin
2019-09-10CoqIDE: Letting flash notices being treated sequentially.Hugo Herbelin
2019-09-10Making a bit clearer that CoqIDE modifier menu is for global modifier change.Hugo Herbelin
2019-09-10Fixing #8269: adding callback on changed modifiers only after pref loading.Hugo Herbelin
2019-09-10Indentation in configure.ml.Hugo Herbelin
2019-09-10Merge PR #9406: [stdlib] Do not put INR_eq in the “real” hint databasePierre-Marie Pédrot
2019-09-10Switch maintenance of `ring` to a teamMaxime Dénès
2019-09-09Merge PR #9379: Vectors: lemmas about uncons and splitAtHugo Herbelin
2019-09-09Merge PR #10605: [toplevel] Make all argument lists to be in user-declared or...Hugo Herbelin
2019-09-09[stdlib] Do not put INR_eq in the “real” hint databaseVincent Laporte
2019-09-08more precise error messages for `Add Ring`Samuel Gruetter
2019-09-07overlay for elpiEnrico Tassi
2019-09-07update elpi to 1.7Enrico Tassi
2019-09-05Merge PR #10731: Ocfnash/stdlib additionsHugo Herbelin
2019-09-05Merge PR #10730: Add missing index for From ... Require ...Clément Pit-Claudel
2019-09-04Add changelog entry for 10731Oliver Nash
2019-09-04Merge PR #10729: Locations for notation deprecation warningsHugo Herbelin
2019-09-04Merge PR #10732: Make `Print Rings` and `Print Fields` more reliablethery
2019-09-04Merge PR #10577: Fix #7348: extraction of dependent record projectionsMaxime Dénès
2019-09-04Merge PR #10612: Fix feedback levelsEmilio Jesus Gallego Arias
2019-09-04Remove commented-out codeMaxime Dénès
2019-09-04Make `Print Rings` and `Print Fields` reliableMaxime Dénès
2019-09-03Add lemmas directly relating List.nth and List.nth_errorOliver Nash
2019-09-03Remove redundant parameter in List.concat_filter_mapOliver Nash
2019-09-03Add missing index for From ... Require ...Théo Zimmermann
2019-09-03Locations for notation deprecation warningsMaxime Dénès
2019-09-03Merge PR #10651: New lemmas for List.vHugo Herbelin
2019-09-03Apply suggestions from code reviewOliver Nash
2019-09-03New lemmas for List.vOliver Nash
2019-09-02Merge PR #10645: [ci] Update to OCaml 4.08.1Gaëtan Gilbert
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-15 19:30:48 +0000