index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
doc
Commit message (
Expand
)
Author
Age
...
*
Added proof folding into CoqIde. See RefMan for using it.
vgross
2009-01-20
*
Propriétés svn pour les filtres latex
notin
2009-01-19
*
- Structuring Numbers and fixing Setoid in stdlib's doc.
herbelin
2009-01-19
*
Backporting from v8.2 to trunk:
herbelin
2009-01-18
*
Last changes in type class syntax:
msozeau
2009-01-18
*
Updated dates
herbelin
2009-01-13
*
- Standardized prefix use of "Local"/"Global" modifiers as decided in
herbelin
2009-01-13
*
Minor doc fixes:
msozeau
2009-01-08
*
Fixed two problems:
herbelin
2009-01-03
*
- Fixed bug #2021 (uncaught exception with injection/discriminate when
herbelin
2009-01-01
*
- Added support for subterm matching in SearchAbout.
herbelin
2008-12-29
*
Produce better html code with coqdoc and improve doc:
msozeau
2008-12-29
*
- coq_makefile: target install now respects the original tree structure
herbelin
2008-12-24
*
Nettoyage des variables Coq et amélioration de coqmktop. Les
notin
2008-12-19
*
Extraction Blacklist : a new command for avoiding conflicts with existing files
letouzey
2008-12-16
*
Fixes in the type classes documentation:
msozeau
2008-12-14
*
About "apply in":
herbelin
2008-12-09
*
Inductive parameters: nicer doc examples and error message
letouzey
2008-11-28
*
- Fixed minor bug #1994 in the tactic chapter of the manual [doc]
herbelin
2008-11-22
*
Fix typo in omega doc
glondu
2008-11-19
*
Document native "Declare ML Module"
glondu
2008-10-29
*
- Fixed many "Theorem with" bugs.
herbelin
2008-10-27
*
Fix doc of apply in (see coq-club message 26 September 2008)
herbelin
2008-10-24
*
Various coqdoc improvements:
msozeau
2008-10-22
*
Renommage "Global Instance" en "Instance Global" pour uniformisation
herbelin
2008-10-20
*
- Export de pattern_ident vers les ARGUMENT EXTEND and co.
herbelin
2008-10-19
*
report de la révision r11451 (nouveau style html pour le manuel de référence)
notin
2008-10-14
*
Backporting 11445 from 8.2 to trunk (negative conditions in
herbelin
2008-10-11
*
Update stdlib html template
glondu
2008-09-15
*
A pass on documentation:
msozeau
2008-09-14
*
Add user syntax for creating hint databases [Create HintDb foo
msozeau
2008-09-14
*
Mise à jour des fichiers README et INSTALL de la doc (bug #1921) + suppressi...
notin
2008-08-06
*
correction : coqart is already published
jnarboux
2008-08-06
*
Évolutions diverses et variées.
herbelin
2008-08-04
*
Typo in doc
glondu
2008-07-29
*
Fixed doc of inductive sort-polymorphism (cf bug #1908). Seized the
herbelin
2008-07-23
*
- Rebranchement backtrack du langage déclaratif dans Coqide
herbelin
2008-07-18
*
- Suppression de Rstar/Newman peu utilisables comme biblio (encodage
herbelin
2008-07-17
*
update doc Micromega
fbesson
2008-07-13
*
Documentation fixes.
msozeau
2008-07-09
*
Micromega: doc + test-suite update
fbesson
2008-07-07
*
Improved robustness of micromega parser. Proof search of Micromega test-suite...
fbesson
2008-07-02
*
Documentation Prop<=Set et Arguments Scope Global
herbelin
2008-07-01
*
correction sur la doc des modules
soubiran
2008-07-01
*
Lissage de la gestion des chemins de chargement de fichiers :
herbelin
2008-06-29
*
Micromega : bugs fixes - renaming of tactics - documentation
fbesson
2008-06-25
*
Typo in documentation (isn't it?)
glondu
2008-06-25
*
Les contraintes d'univers sont maintenant collectées dans le champs mod_cons...
soubiran
2008-06-25
*
Rename obligations_tactic to obligation_tactic and fix bugs #1893.
msozeau
2008-06-22
*
- Implantation de la suggestion 1873 sur discriminate. Au final,
herbelin
2008-06-21
[prev]
[next]