diff options
| author | notin | 2012-02-20 13:50:10 +0000 |
|---|---|---|
| committer | notin | 2012-02-20 13:50:10 +0000 |
| commit | 70621433c2c4028650e1c09e88c496f0aba67a6f (patch) | |
| tree | 32e4ed456ae5a3c84b51103f6c70c35f2ed2e0ce /scripts | |
| parent | 18ea9b8400e03b815f81fcff3c79459d2b5db1f6 (diff) | |
- changing minimal version for OCaml: Coq uses Filename.dirsep that is available from OCaml 3.11.2 (see bug #2707)
- fixing outdated address for Coq Club
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14987 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions