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
*
Correction of a bug in functional scheme. It raised with mutual
coq
2005-05-26
*
Patch to avoid Whelp bug removed.
sacerdot
2005-05-26
*
Add a guard for V7 mode, CVS compiles cleanly again :)
coq
2005-05-26
*
New environment variable COQREMOTEBROWSER to set the command used by Coq
sacerdot
2005-05-26
*
maj
coq
2005-05-25
*
Forgot to remove a cmo.
coq
2005-05-25
*
Added subtac contrib.
coq
2005-05-25
*
maj
coq
2005-05-24
*
maj
coq
2005-05-24
*
Added clenv_environments_evars that behaves as clen_environments but
sacerdot
2005-05-24
*
New commit to allow definitions of morphisms on relations whose carrier is
sacerdot
2005-05-24
*
WARNING: unification changed (to fix a bug).
sacerdot
2005-05-24
*
dp: ajout du prouveur Zenon
coq
2005-05-24
*
maj
coq
2005-05-23
*
Consequence of allowing the numerical argument of auto to be an ident for ltac
herbelin
2005-05-23
*
Bug fix for a bug reported by Roland: the function that detects the constants
sacerdot
2005-05-23
*
maj
coq
2005-05-22
*
maj
coq
2005-05-21
*
maj
coq
2005-05-20
*
maj
coq
2005-05-20
*
New command: "Print Ltac qualid" to print user defined tactics.
sacerdot
2005-05-20
*
Adoption du nom canonique global_of_constr pour éviter confusion avec type r...
herbelin
2005-05-20
*
Déplacement et export de locate_global (ex-locate_reference) de tacinterp ve...
herbelin
2005-05-20
*
Déplacement et export de locate_global (ex-locate_reference) de tacinterp ve...
herbelin
2005-05-20
*
Interface vers outil de recherche Whelp
herbelin
2005-05-20
*
Adoption du nom canonique global_of_constr pour éviter confusion avec type r...
herbelin
2005-05-20
*
Documentation
herbelin
2005-05-20
*
Achèvement du déplacement de fonctionnalités unix et browser de ide vers lib
herbelin
2005-05-20
*
maj
coq
2005-05-19
*
maj
coq
2005-05-19
*
Documentation
herbelin
2005-05-19
*
Déplacement de fonctionnalités unix et browser de ide vers lib
herbelin
2005-05-19
*
Setoid_replace: improved error message when trying to replace a term in a
sacerdot
2005-05-19
*
A wish by Bas Spitters granted: a little more of unification up to
sacerdot
2005-05-19
*
added VernacBacktrack (new backtracking command dedicated to
coq
2005-05-19
*
maj
coq
2005-05-18
*
maj
coq
2005-05-18
*
Implemented autorewrite with ... in hyp [using ...].
sacerdot
2005-05-18
*
maj
coq
2005-05-17
*
maj
coq
2005-05-17
*
Affinements suite à extension Tactic Notation aux tacticielles
herbelin
2005-05-17
*
Extension de Tactic Notation pour permettre d'tendre et de faire rffrence aux...
herbelin
2005-05-17
*
Extension de Tactic Notation pour permettre d'tendre et de faire rffrence aux...
herbelin
2005-05-17
*
maj
coq
2005-05-16
*
maj
coq
2005-05-15
*
maj
coq
2005-05-15
*
Globalisation des Tactic Notation
herbelin
2005-05-15
*
Allow auto to have a parametric argument (wish #967)
herbelin
2005-05-15
*
Allow auto to have a parametric argument (wish #967)
herbelin
2005-05-15
*
maj
coq
2005-05-14
[next]