Permalink
Switch branches/tags
Nothing to show
Commits on Jun 21, 2017
  1. travis

    spitters committed Jun 21, 2017
Commits on Jun 8, 2016
  1. Merge pull request #11 from coq-contribs/v8.5

    spitters committed Jun 8, 2016
    adding "Make" and "Makefile"
  2. Revert "adding makefile for the benefit of contribs"

    spitters committed Jun 8, 2016
    This reverts commit 32ae284.
Commits on Jun 7, 2016
Commits on Jun 6, 2016
  1. adding "Make" and "Makefile"

    Matej Kosik committed Jun 6, 2016
Commits on May 31, 2016
  1. Update README.md

    spitters committed May 31, 2016
Commits on May 20, 2016
  1. Merge pull request #9 from matej-kosik/master

    spitters committed May 20, 2016
    fixing compilation with Coq 8.5
Commits on Apr 20, 2016
Commits on Mar 29, 2016
  1. Merge pull request #7 from aa755/mcmaster2

    spitters committed Mar 29, 2016
    merged Coq team's fixes to mathclasses, from branch v8.5 at
    
    Thanks. Sorry for the delay.
Commits on Mar 1, 2016
Commits on May 8, 2015
  1. removing warning

    spitters committed May 8, 2015
Commits on Feb 25, 2015
  1. Merge branch 'master' of https://github.com/math-classes/math-classes

    spitters committed Feb 25, 2015
    Conflicts:
    	.gitignore
  2. Merge pull request #4 from clarus/master

    spitters committed Feb 25, 2015
    CoqMakefile + sources at the root + papers removed + correction for Coq 8.4.5
Commits on Nov 24, 2014
  1. Explicit argument for phi

    clarus committed Nov 24, 2014
Commits on Sep 25, 2014
  1. SCons build system added back

    clarus committed Sep 25, 2014
Commits on Sep 21, 2014
  1. README updated to MarkDown

    clarus committed Sep 21, 2014
  2. Coq.py removed

    clarus committed Sep 21, 2014
  3. Sources are at the root

    clarus committed Sep 21, 2014
  4. Coq makefile added

    clarus committed Sep 21, 2014
Commits on Aug 25, 2014
  1. ignoring aux

    spitters committed Aug 25, 2014
Commits on Mar 25, 2013
Commits on Dec 18, 2012
  1. Added lemmas

    EvgenyMakarov committed Dec 18, 2012
Commits on Oct 30, 2012
  1. Prove that x - 0 = x.

    EvgenyMakarov committed Oct 30, 2012
Commits on Aug 21, 2012
Commits on Mar 30, 2012
Commits on Feb 3, 2012
Commits on Feb 2, 2012
  1. Merge branch 'future' of git://github.com/tomprince/math-classes

    robbertkrebbers committed Feb 2, 2012
    Conflicts:
    	src/interfaces/abstract_algebra.v
    	src/interfaces/canonical_names.v
    	src/theory/forget_algebra.v
  2. Merge branch 'master' of git://github.com/tomprince/math-classes

    robbertkrebbers committed Feb 2, 2012
    Conflicts:
    	src/categories/functors.v
  3. Add some automation.

    robbertkrebbers committed Feb 2, 2012