| Age | Commit message (Expand) | Author |
|---|---|---|
| 2003-11-29 | Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ... | herbelin |
| 2002-05-29 | Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co... | herbelin |
| 2001-12-18 | Integrating the Ltac language and the Blast tool into the interface | bertot |
| 2001-08-10 | Prsing | herbelin |
| 2001-05-03 | Changement de la structure des points fixes | barras |
| 2001-04-18 | Changing the commands to switch to textual explanation of proofs. | bertot |
| 2001-04-04 | These files are loaded coq-interface to make a process that is "pcoq" enabled. | bertot |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |