aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2016-05-12Fixes doc of mxrepresentation.vFlorent Hivert
2016-05-04Merge pull request #40 from ppedrot/partial-fixEnrico
2016-05-02Fixing compilation after the merge of ML-tactic-notation branch.Pierre-Marie Pédrot
2016-04-15Merge pull request #39 from ppedrot/partial-fixEnrico
2016-04-08Fixing compilation after the merge of PR trunk-function_scope.Pierre-Marie Pédrot
2016-03-31Merge pull request #38 from ppedrot/partial-fixEnrico
2016-03-27Fixing ML compilation.Pierre-Marie Pédrot
2016-03-15Merge pull request #34 from strub/masterEnrico
2016-03-15all_algebra now exports zmodpPierre-Yves Strub
2016-03-03Merge pull request #33 from ejgallego/search-print-with-msgEnrico
2016-03-03[search] Use msg_info to notify search results.Emilio Jesus Gallego Arias
2016-03-03fix local opam fileCyril Cohen
2016-03-02fix compilation of ssrmatching in trunkEnrico Tassi
2016-03-02Merge pull request #32 from hivert/patch-1Yves Bertot
2016-03-02Fix the address if the wiki. Florent Hivert
2016-02-25fix compilationEnrico Tassi
2016-02-25ssrpattern: compose nicely with Tactic NotationEnrico Tassi
2016-02-22Guard "catch all" exception handler using Errors.noncriticalEnrico Tassi
2016-02-22rewrite: matching do not instantiate goal evarsEnrico Tassi
2016-02-22PF5: more predictable rewrite line (needed by rewrite using 8.5 refiner)Enrico Tassi
2016-02-18Merge branch 'master' of https://github.com/math-comp/math-compthery
2016-02-18typo in error messagethery
2016-02-18type in error messagethery
2016-02-18type in error messagethery
2016-02-15Merge pull request #25 from ppedrot/partial-fixEnrico
2016-02-15Removing compatibility layers.Pierre-Marie Pédrot
2016-02-15Fixing ML compilation with trunk.Pierre-Marie Pédrot
2016-02-09Merge pull request #24 from ejgallego/dvdn_factAssia Mahboubi
2016-02-09[div] Move dvdn_fact from prime to div.Emilio Jesus Gallego Arias
2016-02-06typo in int divn1 -> divz1thery
2016-02-03Register flag "SsrHave NoTCResolution" in the Summary (fix #6)Enrico Tassi
2016-02-03resolve type classes under the correct set of univs (fix #22)Enrico Tassi
2016-02-02fix compilation on 8.4Enrico Tassi
2016-02-02Do not hide critical errors with a blind catch all (fix #19)Enrico Tassi
2016-02-02fix debug printEnrico Tassi
2016-02-02Explicit error message if rewrite fails due to TC inference (fix #21)Enrico Tassi
2016-02-01compilation on trunk fixedEnrico Tassi
2016-02-01Merge pull request #20 from ppedrot/partial-fixEnrico
2016-01-31Partially fixing ML compilation on trunk.Pierre-Marie Pédrot
2016-01-31half-repair compilation on trunkEnrico Tassi
2016-01-22generalizing odd_oppCyril Cohen
2016-01-21build script is now cygwin friendlyEnrico Tassi
2016-01-21revise installer for windowsEnrico Tassi
2016-01-12Move bullet initialization to ssreflect.vRobbert Krebbers
2016-01-08fix version number in initialization messageEnrico Tassi
2016-01-06Merge pull request #13 from strub/masterEnrico
2016-01-05do not use `sed -i' in ssrcoqdep -- this is not portablePierre-Yves Strub
2015-12-26removing mathcomp dir when removing ssreflectCyril Cohen
2015-12-26packaging ssr 1.6Cyril Cohen
2015-12-18Changing the address of the wikiamahboubi
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 19:42:09 +0000