index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Déplacement de Declare juste à la fin de interp pour pouvoir accéder à in...
herbelin
2003-09-12
*
Déplacement de Declare juste à la fin de interp pour pouvoir accéder à in...
herbelin
2003-09-12
*
Activation déclaration automatique de scope d'arguments
herbelin
2003-09-12
*
Déplacement de Declare et déclarations des scopes d'argument dans Declare
herbelin
2003-09-12
*
Mise en place affichage spécifique pour le scope des types
herbelin
2003-09-12
*
Scope type pour le codomaine de Prod aussi; ajout extern_rawtype
herbelin
2003-09-12
*
Scope type pour le codomaine de Prod aussi
herbelin
2003-09-12
*
Ajout 'Print Scopes' et 'Bind Scope with classes'; 'Delimits' -> 'Delimit'
herbelin
2003-09-12
*
Ajout 'Print Scopes' et 'Bind Scope with classes'; Mise en place affichage sp...
herbelin
2003-09-12
*
open superflu
herbelin
2003-09-12
*
Simplification vis a vis de Declare
herbelin
2003-09-12
*
Branchement constant sur Coqlib
herbelin
2003-09-12
*
Suppression notations redondantes en v8 : Fst, ProjS1, Value, Ex ...
herbelin
2003-09-11
*
Nettoyage
herbelin
2003-09-11
*
maj
filliatr
2003-09-11
*
Renommage des variables '_'
herbelin
2003-09-10
*
Passage des projections au niveau 1
herbelin
2003-09-10
*
9 est associatif a gauche
herbelin
2003-09-10
*
Debranchement du traducteur pour Load !
herbelin
2003-09-10
*
warning vers std_err
herbelin
2003-09-10
*
Bug predicat old Case
herbelin
2003-09-10
*
Traduction de Distfix
herbelin
2003-09-10
*
typo
narboux
2003-09-10
*
Ajout 'mod' comme keyword
herbelin
2003-09-10
*
Oubli des guillemets dans Comments
herbelin
2003-09-10
*
Pretty-pretting fix
herbelin
2003-09-10
*
maj
filliatr
2003-09-10
*
Bug predicat let-tuple
herbelin
2003-09-09
*
MAJ
herbelin
2003-09-09
*
Ajout construction If primitive dans constr_expr et rawconstr
herbelin
2003-09-09
*
Traduction des réferences arguments de commandes non primitives; 'Grammar ta...
herbelin
2003-09-09
*
'Grammar tactic' devient 'Tactic Notation'
herbelin
2003-09-09
*
Ajout If; synchro avec constrextern
herbelin
2003-09-09
*
Ajout If; renommage de l'ident '_'
herbelin
2003-09-09
*
Traduction des réferences arguments de commandes non primitives
herbelin
2003-09-09
*
Ajout If; protection contre clash dans return_type
herbelin
2003-09-09
*
Code mort
herbelin
2003-09-09
*
error
herbelin
2003-09-09
*
Protection traducteur contre meta de Grammar tactic
herbelin
2003-09-09
*
maj
filliatr
2003-09-08
*
MAJ
herbelin
2003-09-06
*
Mise en place possibilité de définitions locales dans les paramètres des r...
herbelin
2003-09-06
*
Check local definitions in context of inductive types
herbelin
2003-09-06
*
Mise en place possibilité de définitions locales dans les paramètres des r...
herbelin
2003-09-06
*
Paramétrisation vis à vis de existential_key
herbelin
2003-09-06
*
'Implicits qid' -> 'Implicit Arguments qid'
herbelin
2003-09-06
*
Mise en place possibilité de définitions locales dans les paramètres des i...
herbelin
2003-09-06
*
cosmetique
herbelin
2003-09-06
*
Adapter l'entree de grammaire a la version 7 ou 8
herbelin
2003-09-06
*
Mise en place possibilité de définitions locales dans les paramètres des i...
herbelin
2003-09-06
[next]