Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Commits on Aug 11, 2012
  1. Some extra INCOMPATIBILITIES since 8.4.

    herbelin authored
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15732 85f007b7-540e-0410-9357-904b9bb8a0f7
Commits on Aug 8, 2012
  1. Cleaning CHANGES consistently with v8.4. Documenting COMPATIBILITY.

    herbelin authored
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15711 85f007b7-540e-0410-9357-904b9bb8a0f7
Commits on Dec 22, 2011
  1. Credits for 8.4 + resetting COMPATIBILITY file.

    herbelin authored
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14846 85f007b7-540e-0410-9357-904b9bb8a0f7
Commits on Jul 30, 2010
  1. Removed information in COMPATIBILITY that were intended before all for

    herbelin authored
    developers.
    
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13364 85f007b7-540e-0410-9357-904b9bb8a0f7
Commits on Jul 1, 2010
  1. Miscellaneous small updates:

    herbelin authored
    - removed call to obsolete ppmsid printer in 8.3
    - updated COMPATIBILITY file
    
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13229 85f007b7-540e-0410-9357-904b9bb8a0f7
Commits on Apr 5, 2010
  1. Improving compatibility between 8.2 and 8.3

    herbelin authored
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12904 85f007b7-540e-0410-9357-904b9bb8a0f7
Commits on Jun 11, 2008
  1. MAJ diverses

    herbelin authored
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11102 85f007b7-540e-0410-9357-904b9bb8a0f7
Commits on Jun 8, 2008
  1. - Patch sur "intros until 0"

    herbelin authored
    - MAJ CHANGES et COMPATIBILITY
    - Réservation de || et && dans Notations.v
    - code mort et MAJ suite commit 11072 (tactics.ml et changes.txt)
    
    
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11073 85f007b7-540e-0410-9357-904b9bb8a0f7
Commits on Jun 5, 2008
  1. Quelques infos pour la portabilité 8.1 --> 8.2

    notin authored
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11057 85f007b7-540e-0410-9357-904b9bb8a0f7
Commits on Jun 3, 2008
  1. Fix setoid_rewrite documentation examples.

    msozeau authored
    Debug handling of identifiers in coqdoc (should work with modules and
    sections) and add missing macros.
    Move theories/Program to THEORIESVO to put the files in the standard
    library documentation.
    
    
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11046 85f007b7-540e-0410-9357-904b9bb8a0f7
Commits on May 30, 2008
  1. - Correction d'un nouveau bug de undo de CoqIDE ("Admitted" et "Proof t"

    herbelin authored
      n'étaient pas gérés, merci à Julien). 
    - Correction pb blocage CoqIDE quand le browser n'est pas déja lancé
      (utilisation pour cela de Sys.command au lieu de Unix.open_process_full).
    - MAJ CHANGES et COMPATIBILITY.
    
    
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11022 85f007b7-540e-0410-9357-904b9bb8a0f7
Commits on Oct 20, 2006
  1. MAJ

    herbelin authored
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9254 85f007b7-540e-0410-9357-904b9bb8a0f7
Commits on Jul 5, 2006
  1. MAJ

    herbelin authored
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9022 85f007b7-540e-0410-9357-904b9bb8a0f7
Commits on Jun 15, 2006
  1. Typo in case of reference to dev/doc/changes.txt

    lmamane authored
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8958 85f007b7-540e-0410-9357-904b9bb8a0f7
Commits on Jun 14, 2006
  1. A list of incompatibilities

    herbelin authored
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8955 85f007b7-540e-0410-9357-904b9bb8a0f7
Something went wrong with that request. Please try again.