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
*
Nom qualifié pour option -top
herbelin
2004-03-28
*
Désaffectation de l'usage de Top dans Names (maintenant contrôlé dans coqt...
herbelin
2004-03-28
*
MAJ
herbelin
2004-03-28
*
Ajout option -top pour changer le nom 'Top' du toplevel
herbelin
2004-03-28
*
Passage a un 'if-then-else' ou ne sont mentionnes que les membres droits qui ...
herbelin
2004-03-28
*
Crochets pour exported les sections en xml
herbelin
2004-03-27
*
Export des sections; creation COQ_XML_ROOT_LIBRARY si non existant; divers
herbelin
2004-03-27
*
Gestion maintenant purement fonctionnelle des implicites des point-fixes; ajo...
herbelin
2004-03-27
*
Export compute_arguments_scope pour utilisation local a la construction des i...
herbelin
2004-03-27
*
-dead code removed.
sacerdot
2004-03-27
*
maj
filliatr
2004-03-27
*
maj
filliatr
2004-03-27
*
Theory file for file A.B.C.v is put in A/B/C.theory.xml.
sacerdot
2004-03-26
*
Ajout option raw-comments pour supprimer affichage de <table>
herbelin
2004-03-26
*
Ajout option raw-comments pour supprimer affichage de <table>; typos
herbelin
2004-03-26
*
MAJ mot-cles
herbelin
2004-03-26
*
Bug <BR>; ajout option raw_comment pas d'affichage de <table>; MAJ mot-cles
herbelin
2004-03-26
*
Ajout exportation des 'theory.xml' + divers
herbelin
2004-03-26
*
Ajout entree pour exporter les debuts et fins de compilation en mode -xml
herbelin
2004-03-26
*
Ajout entree pour exporter les commentaires en mode -xml
herbelin
2004-03-26
*
Memorisation du type de variable (Hyp or Var)
herbelin
2004-03-26
*
*** empty log message ***
barras
2004-03-26
*
maj
filliatr
2004-03-26
*
Code mort
herbelin
2004-03-25
*
The DTD that describes the CIC (with Explicit Named Substitutions) format.
sacerdot
2004-03-25
*
Fix and Cofix blocks with mutually defined functions having the same
sacerdot
2004-03-25
*
me = andouille
letouzey
2004-03-25
*
Selon les optims, le let-in peut avoir maintenant des args
letouzey
2004-03-25
*
Updated.
sacerdot
2004-03-25
*
ProofTree2Xml is no longer directly used by Xmlcommand.
sacerdot
2004-03-25
*
ProofTree2Xml is no longer directly used by Xmlcommand.
sacerdot
2004-03-25
*
ProofTree2Xml is no longer directly used by Xmlcommand.
sacerdot
2004-03-25
*
No longer used.
sacerdot
2004-03-25
*
Dead code removed.
sacerdot
2004-03-25
*
Comment removed.
sacerdot
2004-03-25
*
maj
filliatr
2004-03-25
*
maj
filliatr
2004-03-25
*
MAJ commentaires
herbelin
2004-03-24
*
*** empty log message ***
barras
2004-03-24
*
MAJ Claudio pour v8
herbelin
2004-03-24
*
Reparation typo de HH dans MAJ de Claudio
herbelin
2004-03-24
*
MAJ Claudio pour v8
herbelin
2004-03-24
*
Utilisation du printer approprie a la version de syntaxe
herbelin
2004-03-24
*
bug de PP des fix (coqbugs #574)
barras
2004-03-24
*
*** empty log message ***
barras
2004-03-24
*
Nettoyage
herbelin
2004-03-24
*
Effacement tardif de ce fichier qui a ete transforme le 5 nov 2002 en une ver...
herbelin
2004-03-24
*
code mort
herbelin
2004-03-24
*
nouvelle commande Set Extraction Flag: reglage fins des optims
letouzey
2004-03-24
*
maj
filliatr
2004-03-24
[next]