aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2015-12-18Typo in the github announceamahboubi
2015-12-15Update ANNOUNCE-1.6.mdEnrico
2015-12-15libgraph: uglier but faster scrollingEnrico Tassi
2015-12-14typoEnrico Tassi
2015-12-14Update ANNOUNCE-github.mdEnrico
2015-12-14fix compilationEnrico Tassi
2015-12-14get rid of : and basic/ in README.mdEnrico Tassi
2015-12-13fixCyril Cohen
2015-12-12removing trailing whitespaces in opam fileCyril Cohen
2015-12-12changing dependencyCyril Cohen
2015-12-12typoCyril Cohen
2015-12-12modif packager ":" -> "-"Cyril Cohen
2015-12-12switch ":" to "-"Cyril Cohen
2015-12-12fixing requires in stripped odd orderCyril Cohen
2015-12-12Revert "HACK: work around regression in 8.5"Enrico Tassi
2015-12-11coqdoc + interactive graph browsingEnrico Tassi
2015-12-118.5 coqdoc does not want _ to be escaped + more .css classesEnrico Tassi
2015-12-10HACK: work around regression in 8.5Enrico Tassi
2015-12-10some doc for the doc building utilityEnrico Tassi
2015-12-09Updated the address of the website in READMEAssia Mahboubi
2015-12-09Moved comments on the incompatibility to INSTALL.Assia Mahboubi
2015-12-08Create ANNOUNCE-github.mdEnrico
2015-12-04update license banner in .ml filesEnrico Tassi
2015-12-04Trying a better layout of hyperlinks on githubAssia Mahboubi
2015-12-04Trying a better layout of the .md on githubAssia Mahboubi
2015-12-04Minor edition of the Announce.Assia Mahboubi
2015-12-04Update ANNOUNCE-1.6.mdEnrico
2015-12-04Merge branch 'master' of https://github.com/math-comp/math-compGeorges Gonthier
2015-12-04Trailing whitespace removalGeorges Gonthier
2015-12-04Ignore emacs checkpointsGeorges Gonthier
2015-12-04Remove spurious injectionsGeorges Gonthier
2015-12-04Explicit construction of finite fieldsGeorges Gonthier
2015-12-04Some proof refactoringGeorges Gonthier
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-19 00:27:03 +0000