Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Commits on Feb 14, 2015
  1. Win: update README

    Enrico Tassi authored
Commits on Apr 21, 2011
  1. Win32: remove the need for Coq.bat and Coqide.bat

    letouzey authored
      This is an adaptation of commit r13750 of branch 8.3
    
      - coqlib is currently computed relatively of Sys.executable_name,
        hence no need to set it manually
    
      - in Win32, better detection of user home dir : in System.ml,
        if HOME isn't set, we look now for HOMEDRIVE\HOMEPATH, and then
        for USERPROFILE
    
      - concerning PATH, in Win32 we now add coqbin (or the location of
        coqide) to PATH during the initialization.
    
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14041 85f007b7-540e-0410-9357-904b9bb8a0f7
Commits on May 19, 2010
  1. Discontinue support for ocaml 3.09.*

    letouzey authored
    Ocaml 3.10.0 is already three year old...
    
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13015 85f007b7-540e-0410-9357-904b9bb8a0f7
Commits on Jun 22, 2008
  1. MAJ fichiers spécifiques trunk

    herbelin authored
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11165 85f007b7-540e-0410-9357-904b9bb8a0f7
Commits on Oct 9, 2007
  1. Oubli de GTK pour Windows + typo

    notin authored
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10201 85f007b7-540e-0410-9357-904b9bb8a0f7
  2. Mise à jour de README.win

    notin authored
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10200 85f007b7-540e-0410-9357-904b9bb8a0f7
Commits on Sep 1, 2006
  1. Coq ne compile plus avec OCaml 3.06 (mais avec 3.07 c'est ok)

    notin authored
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9116 85f007b7-540e-0410-9357-904b9bb8a0f7
Commits on Apr 14, 2006
  1. Maj configure, README, etc...

    notin authored
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8712 85f007b7-540e-0410-9357-904b9bb8a0f7
Commits on Dec 27, 2003
  1. MAJ

    herbelin authored
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5155 85f007b7-540e-0410-9357-904b9bb8a0f7
Commits on Feb 3, 2003
  1. maj

    filliatr authored
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3653 85f007b7-540e-0410-9357-904b9bb8a0f7
  2. release 7.4; changement magic number

    filliatr authored
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3652 85f007b7-540e-0410-9357-904b9bb8a0f7
Commits on Dec 28, 2001
  1. MAJ adresse coq

    herbelin authored
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2374 85f007b7-540e-0410-9357-904b9bb8a0f7
Commits on Dec 19, 2001
  1. MAJ 7.2

    herbelin authored
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2337 85f007b7-540e-0410-9357-904b9bb8a0f7
Commits on Oct 1, 2001
  1. Il faut camlp4 > 3.01.6 pour windows

    herbelin authored
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2089 85f007b7-540e-0410-9357-904b9bb8a0f7
Commits on Sep 20, 2001
  1. MAJ V7.1

    herbelin authored
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2027 85f007b7-540e-0410-9357-904b9bb8a0f7
Commits on Apr 25, 2001
  1. Notes pour la version Windows

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