aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2016-12-02Merge remote-tracking branch 'github/pr/369' into v8.6Maxime Dénès
2016-12-02Merge remote-tracking branch 'github/pr/371' into v8.6Maxime Dénès
2016-12-02Merge remote-tracking branch 'github/pr/364' into v8.6Maxime Dénès
2016-12-02Merge remote-tracking branch 'github/pr/382' into v8.6Maxime Dénès
2016-11-30[merlin] Adjust merlin for ide.Emilio Jesus Gallego Arias
2016-11-30Merge branch 'v8.6'Pierre-Marie Pédrot
2016-11-30Fix shelving order in typeclasses eauto.Théo Zimmermann
2016-11-30Fix typeclasses eauto shelving.Théo Zimmermann
2016-11-30Fix bug #5232: proper globalization of hints pathsMatthieu Sozeau
2016-11-30Univs: fix bug #5180Matthieu Sozeau
2016-11-30Fix UGraph.check_eq!Matthieu Sozeau
2016-11-30Slightly more efficient [Univ.super] implemMatthieu Sozeau
2016-11-30Fix #5183 - Two CoqIDE crash errorsMaxime Dénès
2016-11-30Update copyright on documentation cover.Maxime Dénès
2016-11-30Fix #5174: Underinformative syntax error messages in the new arguments syntaxMaxime Dénès
2016-11-29STM: cur_id must be invalid if an error occurs (fix #5191)Enrico Tassi
2016-11-24Fix some documentation typos.Guillaume Melquiond
2016-11-24Lazily load constants in micromega (bug #5134).Guillaume Melquiond
2016-11-24Fix some documentation typos.Guillaume Melquiond
2016-11-24Fix incorrect long multiplication in the VM.Guillaume Melquiond
2016-11-22Fix locality of "Hint Resolve <->" (bug #5189).Guillaume Melquiond
2016-11-22Properly parenthesize "ltac:" arguments (bug #5169).Guillaume Melquiond
2016-11-21(v8.6) Update dev/doc/changes.txt with HintsResolveEntry changesJason Gross
2016-11-21(v8.6) Update dev/doc/changes with things about mem_named_contextJason Gross
2016-11-21(v8.6) Make a note about wit_constr and Constrarg in dev/doc/changesJason Gross
2016-11-21(v8.6) Add example in dev/doc/changes involving Tacmach.projectJason Gross
2016-11-21Remove spurious spaces in merlin file generated by coq_makefile (bug #5213).Guillaume Melquiond
2016-11-21Stop parsing -compat-notations options, which are no longer supported (bug #3...Guillaume Melquiond
2016-11-19Tests for info/debug auto/eauto.Hugo Herbelin
2016-11-18Merge branch 'v8.6'Pierre-Marie Pédrot
2016-11-18Revert "Merge remote-tracking branch 'github/pr/360' into v8.6"Maxime Dénès
2016-11-18Revert "fake_ide: use the now available Status XML message"Maxime Dénès
2016-11-17Add missing label. Fixes broken ref.Théo Zimmermann
2016-11-17fake_ide: use the now available Status XML messageEnrico Tassi
2016-11-17Merge remote-tracking branch 'github/pr/360' into v8.6Maxime Dénès
2016-11-17Merge commit '633ed9c' into v8.6Maxime Dénès
2016-11-17Add test suite files for 4700-4785Jason Gross
2016-11-17[stm] Remove STM-related vernacularsEmilio Jesus Gallego Arias
2016-11-17Merge remote-tracking branch 'github/pr/362' into v8.6Maxime Dénès
2016-11-16Minor debug printing bug,Matthieu Sozeau
2016-11-16Revert more of a477dc for good measureMatthieu Sozeau
2016-11-16lib/Unicodetable: Update. This code has been generated from the latestYann Régis-Gianas
2016-11-16Merge remote-tracking branch 'github/pr/361' into v8.6Maxime Dénès
2016-11-16[doc] Mention XML protocol on changes.Emilio Jesus Gallego Arias
2016-11-15Merge remote-tracking branch 'github/pr/358' into v8.6Maxime Dénès
2016-11-15Revert part of a477dc, disallow_shelvedMatthieu Sozeau
2016-11-14Remove README.win until we come up with new instructions.Maxime Dénès
2016-11-14Set version number to 8.6beta1.Maxime Dénès
2016-11-14Remove the list of bug fixes from CHANGES.Maxime Dénès
2016-11-14Fix bug in warnings: -w foo was silent when foo did not exist.Maxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-06-30 13:20:24 +0000