- Committer: herbelin
- Date: 2009-11-12 11:28:56 UTC
- Revision ID: svn-v4:85f007b7-540e-0410-9357-904b9bb8a0f7:trunk:12506
Experiment propagation of implicit arguments and arguments scope for
abbreviations of applied references.
abbreviations of applied references.
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 .. |
|||||||
bin
|
10627 | 14 years ago | soubiran | Module type expressions of the form (Fsig X) with |
|
||
|
checker
|
10608 | 14 years ago | soubiran | This big commit addresses two problems: 1- Manag |
|
||
|
config
|
10627 | 14 years ago | soubiran | Module type expressions of the form (Fsig X) with |
|
||
|
dev
|
10627 | 14 years ago | soubiran | Module type expressions of the form (Fsig X) with |
|
||
|
doc
|
10608 | 14 years ago | soubiran | This big commit addresses two problems: 1- Manag |
|
||
|
ide
|
10627 | 14 years ago | soubiran | Module type expressions of the form (Fsig X) with |
|
||
|
interp
|
10608 | 14 years ago | soubiran | This big commit addresses two problems: 1- Manag |
|
||
|
kernel
|
10627 | 14 years ago | soubiran | Module type expressions of the form (Fsig X) with |
|
||
|
lib
|
10608 | 14 years ago | soubiran | This big commit addresses two problems: 1- Manag |
|
||
|
library
|
10608 | 14 years ago | soubiran | This big commit addresses two problems: 1- Manag |
|
||
|
man
|
10608 | 14 years ago | soubiran | This big commit addresses two problems: 1- Manag |
|
||
|
parsing
|
10608 | 14 years ago | soubiran | This big commit addresses two problems: 1- Manag |
|
||
|
plugins
|
10256 | 15 years ago | letouzey | Directory 'contrib' renamed into 'plugins', to end |
|
||
|
pretyping
|
10608 | 14 years ago | soubiran | This big commit addresses two problems: 1- Manag |
|
||
|
proofs
|
10608 | 14 years ago | soubiran | This big commit addresses two problems: 1- Manag |
|
||
|
scripts
|
10627 | 14 years ago | soubiran | Module type expressions of the form (Fsig X) with |
|
||
|
states
|
10627 | 14 years ago | soubiran | Module type expressions of the form (Fsig X) with |
|
||
|
tactics
|
10608 | 14 years ago | soubiran | This big commit addresses two problems: 1- Manag |
|
||
|
test-suite
|
10608 | 14 years ago | soubiran | This big commit addresses two problems: 1- Manag |
|
||
|
theories
|
10608 | 14 years ago | soubiran | This big commit addresses two problems: 1- Manag |
|
||
|
tools
|
10627 | 14 years ago | soubiran | Module type expressions of the form (Fsig X) with |
|
||
|
toplevel
|
10627 | 14 years ago | soubiran | Module type expressions of the form (Fsig X) with |
|
||
.gitignore |
10484 | 14 years ago | aspiwack | Ajout des .annot dans le .gitignore. | 1.5 KB |
|
|
|
_tags |
10458 | 14 years ago | letouzey | Use camlp4 to accept some specific non-exhaustive | 2.1 KB |
|
|
build |
10314 | 15 years ago | herbelin | Backport of Eric Le Lay's patch (bug report #2078) | 529 bytes |
|
|
|
CHANGES |
10699 | 14 years ago | herbelin | Experiment propagation of implicit arguments and a | 84 KB |
|
|
|
COMPATIBILITY |
9659 | 15 years ago | herbelin | MAJ diverses | 2.5 KB |
|
|
|
configure |
10667 | 14 years ago | notin | Changement de la version minimale requise de OCaml | 31.8 KB |
|
|
|
COPYRIGHT |
10256 | 15 years ago | letouzey | Directory 'contrib' renamed into 'plugins', to end | 1.4 KB |
|
|
|
Coq.bat |
6555 | 18 years ago | narboux | Add two .bat scripts to run coq and coqide under w | 159 bytes |
|
|
|
coq.itarget |
10302 | 15 years ago | letouzey | Ocamlbuild: improvements suggested by N. Pouillard | 59 bytes |
|
|
|
Coqide.bat |
6555 | 18 years ago | narboux | Add two .bat scripts to run coq and coqide under w | 156 bytes |
|
|
|
CREDITS |
10266 | 15 years ago | herbelin | Backport from v8.2 branch of 11986 (interpretation | 6.4 KB |
|
|
|
INSTALL |
10667 | 14 years ago | notin | Changement de la version minimale requise de OCaml | 12.6 KB |
|
|
|
INSTALL.doc |
10008 | 15 years ago | notin | Amélioration du README.doc et de l'installation de | 1.8 KB |
|
|
|
INSTALL.ide |
10667 | 14 years ago | notin | Changement de la version minimale requise de OCaml | 4.4 KB |
|
|
|
INSTALL.macosx |
8621 | 17 years ago | herbelin | MAJ ppc/i386 | 850 bytes |
|
|
|
install.sh |
10314 | 15 years ago | herbelin | Backport of Eric Le Lay's patch (bug report #2078) | 146 bytes |
|
|
|
LICENSE |
6722 | 18 years ago | narboux | fix pour install windows | 23.8 KB |
|
|
|
Makefile |
10565 | 14 years ago | gmelquio | Applied patches from BSD/pkgsrc maintainer, so tha | 10.5 KB |
|
|
|
Makefile.build |
10579 | 14 years ago | gmelquio | Fixed installation of Coqide interface/library fil | 30.9 KB |
|
|
|
Makefile.common |
10683 | 14 years ago | letouzey | Simplification of Numbers, mainly thanks to Includ | 22.4 KB |
|
|
|
Makefile.doc |
10566 | 14 years ago | letouzey | Fix the stdlib doc compilation + switch all .v fil | 11.9 KB |
|
|
|
Makefile.stage1 |
10565 | 14 years ago | gmelquio | Applied patches from BSD/pkgsrc maintainer, so tha | 1.2 KB |
|
|
|
Makefile.stage2 |
10262 | 15 years ago | letouzey | Many changes in the Makefile infrastructure + a be | 981 bytes |
|
|
|
myocamlbuild.ml |
10543 | 14 years ago | glondu | Delete trailing whitespaces in all *.{v,ml*} files | 14.4 KB |
|
|
|
README |
9698 | 15 years ago | herbelin | MAJ fichiers spécifiques trunk | 1.7 KB |
|
|
|
README.doc |
9805 | 15 years ago | notin | Mise à jour des fichiers README et INSTALL de la d | 645 bytes |
|
|
|
README.win |
9698 | 15 years ago | herbelin | MAJ fichiers spécifiques trunk | 1.7 KB |
|
|
|
TODO |
8347 | 17 years ago | filliatr | 1.5 KB |
|
|
|