- Committer: Hugo Herbelin
- Date: 2017-12-27 21:39:35 UTC
- Revision ID: git-v1:bb66130527a2f2703df04522999e698eb3776920
Fixing test for compilation under MacOS X pentium.
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 .. |
|||||||
checker
|
9421 | 16 years ago | barras | added the .vo checker (with independent Makefile) |
|
||
|
config
|
2 | 24 years ago | filliatr | Initial revision git-svn-id: svn+ssh://scm.gforg |
|
||
|
contrib
|
377 | 24 years ago | filliatr | mise sous CVS d'Omega git-svn-id: svn+ssh://scm. |
|
||
|
dev
|
2 | 24 years ago | filliatr | Initial revision git-svn-id: svn+ssh://scm.gforg |
|
||
|
doc
|
7137 | 23 years ago | filliatr | Initial revision git-svn-id: svn+ssh://scm.gforg |
|
||
|
ide
|
3475 | 21 years ago | monate | interface GTK2 experimentale git-svn-id: svn+ssh |
|
||
|
interp
|
3056 | 21 years ago | herbelin | Réforme de l'interprétation des termes : - Le pars |
|
||
|
kernel
|
2 | 24 years ago | filliatr | Initial revision git-svn-id: svn+ssh://scm.gforg |
|
||
|
lib
|
2 | 24 years ago | filliatr | Initial revision git-svn-id: svn+ssh://scm.gforg |
|
||
|
library
|
33 | 24 years ago | filliatr | modules Libobject et Summary (partiel) git-svn-i |
|
||
|
man
|
1703 | 23 years ago | courant | - Ajout pages de man pour coqc, coqtop, coqtop.opt |
|
||
|
parsing
|
34 | 24 years ago | filliatr | debut d'un lexer git-svn-id: svn+ssh://scm.gforg |
|
||
|
pretyping
|
99 | 24 years ago | filliatr | organisation de trad (entre parsing/ et pretyping/ |
|
||
|
proofs
|
81 | 24 years ago | filliatr | quelques trucs necessaires au toplevel git-svn-i |
|
||
|
scripts
|
193 | 24 years ago | filliatr | coqmktop git-svn-id: svn+ssh://scm.gforge.inria. |
|
||
|
states
|
205 | 24 years ago | filliatr | repertoire pour les etats git-svn-id: svn+ssh:// |
|
||
|
tactics
|
113 | 24 years ago | filliatr | - répertoire tactics/ - discrimination nets (déb |
|
||
|
test-suite
|
47 | 24 years ago | filliatr | fichier de test d'inductifs pour minicoq git-svn |
|
||
|
theories
|
240 | 24 years ago | filliatr | fichiers prelude Coq git-svn-id: svn+ssh://scm.g |
|
||
|
tools
|
232 | 24 years ago | filliatr | outils (manquent encore les deux filtres) git-sv |
|
||
|
toplevel
|
35 | 24 years ago | filliatr | un mini toplevel pour tester le noyau git-svn-id |
|
||
.gitignore |
10024 | 14 years ago | glondu | Add *.annot to .gitignore git-svn-id: svn+ssh://s | 1.4 KB |
|
|
|
CHANGES |
10127 | 8 years ago | Hugo Herbelin | Updating CHANGES. | 82.7 KB |
|
|
|
COMPATIBILITY |
9881 | 15 years ago | msozeau | Backport latest changes and update CHANGES and COM | 2.9 KB |
|
|
configure |
10135 | 6 years ago | Hugo Herbelin | Fixing test for compilation under MacOS X pentium. | 30.7 KB |
|
|
|
COPYRIGHT |
9946 | 15 years ago | herbelin | Fixed bug #2087 (recursive calls to pattern at lev | 1.2 KB |
|
|
|
Coq.bat |
6555 | 18 years ago | narboux | Add two .bat scripts to run coq and coqide under w | 159 bytes |
|
|
|
Coqide.bat |
6555 | 18 years ago | narboux | Add two .bat scripts to run coq and coqide under w | 156 bytes |
|
|
|
CREDITS |
9940 | 15 years ago | herbelin | Late update of CREDITS file. git-svn-id: svn+ssh | 6.4 KB |
|
|
|
INSTALL |
10129 | 8 years ago | Hugo Herbelin | Updating INSTALL about 3.08.3. Coq loops on Ring_ | 12.3 KB |
|
|
|
INSTALL.doc |
9810 | 15 years ago | notin | Amélioration du README.doc et de l'installation de | 1.8 KB |
|
|
|
INSTALL.ide |
9575 | 16 years ago | jnarboux | update gtk requirements git-svn-id: svn+ssh://scm | 4.5 KB |
|
|
|
INSTALL.macosx |
9933 | 15 years ago | notin | Report des modifs du tag 8.2-1 + actualisation du | 913 bytes |
|
|
|
install.sh |
10118 | 9 years ago | Hugo Herbelin | v8.2: backporting Pierre Boutillier's fix to #3843 | 235 bytes |
|
|
|
LICENSE |
6722 | 18 years ago | narboux | fix pour install windows git-svn-id: svn+ssh://s | 23.8 KB |
|
|
|
Makefile |
10056 | 13 years ago | notin | Ajout d'une feuille de style pour les définitions | 8.9 KB |
|
|
|
Makefile.build |
10132 | 8 years ago | Hugo Herbelin | Ensuring that sed does not use a specific locale f | 33.6 KB |
|
|
|
Makefile.common |
9995 | 14 years ago | herbelin | Added profile.cmo in grammar.cma so that any funct | 33.1 KB |
|
|
|
Makefile.doc |
10036 | 14 years ago | herbelin | Small improvements around coqdoc (including fix fo | 11.2 KB |
|
|
|
Makefile.stage1 |
10026 | 14 years ago | glondu | Remove bashisms As pointed out by Nima Hoda, bash | 1.2 KB |
|
|
|
Makefile.stage2 |
8789 | 16 years ago | lmamane | A cleaner solution to "make deletes .ml4.d files - | 699 bytes |
|
|
|
Makefile.stage3 |
9190 | 16 years ago | notin | Plongement de doc/Makefile dans la nouvelle archit | 698 bytes |
|
|
|
README |
9933 | 15 years ago | notin | Report des modifs du tag 8.2-1 + actualisation du | 1.7 KB |
|
|
|
README.doc |
9731 | 15 years ago | notin | Report de la révision #11311 git-svn-id: svn+ssh: | 645 bytes |
|
|
|
README.win |
9933 | 15 years ago | notin | Report des modifs du tag 8.2-1 + actualisation du | 2.2 KB |
|
|
|
TODO |
8347 | 17 years ago | filliatr | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/co | 1.5 KB |
|
|