index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
translate
Commit message (
Expand
)
Author
Age
*
Affichage des inductifs
herbelin
2003-04-09
*
Formattage affichage
herbelin
2003-04-09
*
Mécanisme plus simple et efficace pour traduire les implicites
herbelin
2003-04-09
*
Bugs synchronisation pour gestion traduction des implicites
herbelin
2003-04-09
*
Réorganisation de Impargs + mise en place d'une infrastructure
herbelin
2003-04-09
*
Ajout option "Local" à "Open Scope"
herbelin
2003-04-08
*
Globalisation des noms de tactiques dans les définitions de tactiques
herbelin
2003-04-07
*
Aérer les := et : de "assert"
herbelin
2003-04-07
*
Utilisation de CAppExpl au lieu de CRef pour les hints pour qu'aucun implicite
herbelin
2003-04-07
*
Ajout d'un message à FailTac
herbelin
2003-03-31
*
Ajout VernacReserve et suppression des types re-inferables
herbelin
2003-03-31
*
Mise en place de 'Implicit Variable' (variante du 'Reserve' de mizar)
herbelin
2003-03-29
*
*** empty log message ***
barras
2003-03-21
*
Ajout réaffichage SubClass
herbelin
2003-03-13
*
*** empty log message ***
barras
2003-03-12
*
Ajout Locate Notation
herbelin
2003-03-12
*
update
desmettr
2003-02-05
*
Ajout du traducteur
desmettr
2003-02-05