index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
contrib
/
interface
/
debug_tac.ml4
Commit message (
Expand
)
Author
Age
*
Extension to the general sequence operator (tactical). Now in addition to ...
emakarov
2007-04-02
*
mise a jour du nouveau ring et ajout du nouveau field, avant renommages
barras
2006-09-26
*
Changement du type d'argument 'TacticArgType X' en un type
herbelin
2006-06-08
*
Ajout niveau utilisateur de la tacticielle 'complete'; messages de idtac et f...
herbelin
2006-01-21
*
Renommage des Pp*new en Pp* (et déplacement dans parsing); renommage des G_*...
herbelin
2005-12-26
*
Achèvement suppression traducteur dans contrib/interface
herbelin
2005-12-26
*
Extension de Tactic Notation pour permettre d'tendre et de faire rffrence aux...
herbelin
2005-05-17
*
restructuration des printers: proofs passe avant parsing
barras
2004-09-17
*
Bug TacId
herbelin
2003-11-12
*
Globalisation des noms de tactiques dans les définitions de tactiques
herbelin
2003-04-07
*
Réforme de l'interprétation des termes :
herbelin
2002-11-14
*
Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...
herbelin
2002-05-29