index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
theories
/
Lists
Commit message (
Expand
)
Author
Age
*
entetes
filliatr
2001-03-15
*
- coqc : option -image
filliatr
2001-02-01
*
Mise a jour Rbase
mohring
2001-01-11
*
Meta Definition -> Tactic Definition
delahaye
2001-01-09
*
Tactic Definition -> Meta Definition
delahaye
2001-01-09
*
Ajout du Let pour le langage de tactiques
delahaye
2000-12-29
*
Renommages autour de NewInduction
herbelin
2000-12-18
*
Elimination du '
delahaye
2000-11-28
*
Le nouvel Induction s'appelle NewInduction
herbelin
2000-11-26
*
Petite simplif due au nouveau Tauto
delahaye
2000-11-24
*
Retour a la version 1.1
herbelin
2000-11-13
*
Modification de la table des tactic Definitions pour eviter l'ecriture
mohring
2000-11-07
*
Orthographe
herbelin
2000-11-07
*
Mise a jour TheoryList
mohring
2000-10-27
*
Remplacement de la tactique Program (partiel)
herbelin
2000-10-05
*
portage Refine
filliatr
2000-07-20
*
Traduction de syntaxe vers ltac
delahaye
2000-07-03
*
Retrait des parenthèses inutiles autour des tactiques
herbelin
2000-07-01
*
theories/Lists
filliatr
2000-06-21