Permalink
Switch branches/tags
Nothing to show
Commits on Jan 8, 2018
  1. Merge pull request #48 from vblot/master

    spitters committed Jan 8, 2018
    Removed the ssreflect dependency and fixed some "Admitted"
Commits on Dec 13, 2017
  1. Merge pull request #47 from vblot/master

    spitters committed Dec 13, 2017
    updated SConstruct for the new version of Liouville
  2. Merge pull request #46 from vblot/master

    spitters committed Dec 13, 2017
    Updated proof of Liouville's theorem
Commits on Dec 12, 2017
Commits on Nov 7, 2017
  1. Merge pull request #45 from maximedenes/remove-obsolete-locality

    spitters committed Nov 7, 2017
    Fix obsolete vernacular syntax for locality.
  2. Fix obsolete vernacular syntax for locality.

    maximedenes committed Nov 6, 2017
    It was emitting a deprecation warning and will soon be removed from Coq.
  3. Fixing Travis

    spitters committed Nov 7, 2017
Commits on Nov 6, 2017
  1. Merge pull request #44 from Zimmi48/travis

    spitters committed Nov 6, 2017
    Travis
Commits on Oct 27, 2017
  1. travis.yml: init

    siddharthist committed with Zimmi48 Nov 15, 2016
    make -> scons
  2. Merge pull request #43 from c-corn/v8.6

    spitters committed Oct 27, 2017
    V8.6
  3. Update README.md

    spitters committed Oct 27, 2017
  4. Merge pull request #42 from letouzey/external-bignums

    spitters committed Oct 27, 2017
    corn : switch to the external Bignums library
Commits on Jun 10, 2017
  1. corn : switch to the external Bignums library

    letouzey committed Jun 10, 2017
      See PR#498 coq/coq#498
    
      In addition to this commit, you should also have fetched and
      compiled the new bignums packages before compiling math-classes and corn :
    
      git clone https://github.com/coq/bignums.git && cd bignums && make && make install
Commits on Mar 17, 2017
  1. Merge pull request #41 from Zimmi48/fix-for-coq-pr-474

    spitters committed Mar 17, 2017
    Thanks!
    
    fix unused variable name warnings
  2. Merge pull request #40 from silene/IZR

    spitters committed Mar 17, 2017
    Thanks! 
    
    Make proofs oblivious to the changes in the definition of IZR.
Commits on Mar 14, 2017
Commits on Mar 8, 2017
Commits on Nov 17, 2016
  1. Merge remote-tracking branch 'upstream/master'

    Matej Kosik committed Nov 17, 2016
Commits on Oct 31, 2016
  1. Fix for new TCS implem, silent shelved goals remained

    mattam82 committed Oct 31, 2016
    Also spotted a strange unification taking ages
Commits on Aug 26, 2016
  1. merging "v8.5" branch to "master"

    Matej Kosik committed Aug 26, 2016
Commits on Jun 27, 2016
Commits on Jun 24, 2016
Commits on Jun 8, 2016
  1. Merge pull request #28 from coq-contribs/master

    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 0ce8b11.
Commits on Jun 7, 2016
Commits on Jun 6, 2016
  1. adding "Make" and "Makefile"

    Matej Kosik committed Jun 6, 2016
  2. adding "Make" and "Makefile"

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

    spitters committed May 31, 2016
  2. Update README.md

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

    spitters committed May 20, 2016
    Fixing compilaton wrt. Coq trunk (244d7a9)
  2. Merge pull request #26 from matej-kosik/master

    spitters committed May 20, 2016
    Fixing compilaton wrt. Coq 8.5 (d2f9a45)
Commits on May 19, 2016
  1. Merge branch 'master' into trunk

    Matej Kosik committed May 19, 2016