index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
scripts
Commit message (
Expand
)
Author
Age
...
*
compatibility with POWERPC
gregoire
2004-11-22
*
bug coqmktop avec libcoqrun.a en bytecode
barras
2004-11-15
*
Added option -no-vm.
sacerdot
2004-10-25
*
COMMITED BYTECODE COMPILER
barras
2004-10-20
*
no-assert en mode natif
herbelin
2004-09-26
*
restructuration des printers: proofs passe avant parsing
barras
2004-09-17
*
Correction commit precedent
herbelin
2004-09-04
*
MAJ options coqtop et coqc
herbelin
2004-09-03
*
Nouvelle en-tête
herbelin
2004-07-16
*
coqc: create_process sous Windows
coq
2004-03-18
*
option -l de coqc non reconnue (coq-bugs #509)
barras
2004-03-09
*
deplacement des cma et cmxa dans les sous-repertoires
barras
2004-01-26
*
make libraries, lexing of more utf8 symbols
marche
2004-01-14
*
option -strict-implicit pas reconnue
barras
2003-12-30
*
ameliorations coqide
coq
2003-12-30
*
Ajout option -impredicative-set
herbelin
2003-11-08
*
Renommage no-strict en -strict-implicit; option -dont-load-proofs
herbelin
2003-10-08
*
Inclusion automatique de highparsing
herbelin
2003-09-12
*
Fusion -translate et -ftranslate
herbelin
2003-08-14
*
Option -v8 à coqtop lance coqtopnew; option -no-strict; option -no-proofs
herbelin
2003-08-11
*
Coqide : introduction des coprocessus. CoqIde est maintenant interruptible
monate
2003-04-09
*
on repasse aussi -thread a Caml
filliatr
2003-04-08
*
coqmktop: -ide fait ce qu'il faut (on peut maintenant construire des Coq IDE ...
filliatr
2003-03-17
*
*** empty log message ***
barras
2003-03-12
*
Ajout du traducteur
desmettr
2003-02-05
*
interface GTK2 experimentale
monate
2003-02-04
*
Contournement de ocamlmktop qui plante sous win32
herbelin
2003-02-04
*
Ajout options -v7 et -v8, et commandes V7only et V8only
herbelin
2002-12-10
*
Réforme de l'interprétation des termes :
herbelin
2002-11-14
*
Intégration des modifs de la branche mowgli :
herbelin
2002-11-05
*
echappements incorrects dans chaine
filliatr
2002-09-17
*
Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...
herbelin
2002-05-29
*
option -dump-glob pour coqdoc
filliatr
2002-02-14
*
Ajout d'un "\" pour proteger un autre "\" et ainsi etre compatible avec
clrenard
2001-11-30
*
Protection contre erreurs Unix
herbelin
2001-09-26
*
Ajout d'une option et d'une fonction compile pour fabriquer les .vo
herbelin
2001-09-18
*
quotation des noms de fichiers pour eviter une mauvaise interpretation des \
barras
2001-09-17
*
Amélioration check_module_name
herbelin
2001-09-09
*
amelioration des messages d'erreurs vis a vis des evars
barras
2001-05-23
*
support option -R pour coqdep
filliatr
2001-04-20
*
*** empty log message ***
courant
2001-04-19
*
option -verbose a coqc; option -i supprimée
filliatr
2001-03-21
*
entetes
filliatr
2001-03-15
*
les options passées sont prioritaires sur les -I par défaut
filliatr
2001-03-15
*
modifs pour extraction; bug coqmktop
filliatr
2001-03-06
*
bug Reset et Sections
filliatr
2001-02-28
*
option -m (utilisation memoire)
filliatr
2001-02-09
*
- coqc : option -image
filliatr
2001-02-01
*
Suppresion de l'option -as, c'est maintenant -R qui devient l'option standard...
herbelin
2000-12-06
*
Changement de la syntaxe des options -I et -R
herbelin
2000-11-30
[prev]
[next]