aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
Commit message (Expand)AuthorAge
* added doc for declarative languageGravatar corbinea2006-10-26
* MAJ crédits, fresh; documentation apply inGravatar herbelin2006-10-26
* Mise en forme des theoriesGravatar notin2006-10-17
* typo doc + bug legacy fieldGravatar barras2006-10-16
* revision de la semantique de rewrite ... in <clause>. details dans la docGravatar letouzey2006-10-05
* Ajout StringGravatar herbelin2006-10-04
* Correction bug #1236Gravatar notin2006-10-04
* Doc injection asGravatar herbelin2006-10-04
* separation de RealFieldGravatar barras2006-09-28
* doc du nouveau ringGravatar barras2006-09-22
* congruence doc updateGravatar corbinea2006-09-20
* Ajout eassumption indexGravatar herbelin2006-09-11
* Updating the doc about Function and coGravatar courtieu2006-09-07
* Modification du manuel de référence: le flag evar pour cbv n'existe plus.Gravatar notin2006-09-01
* MAJGravatar herbelin2006-08-28
* Ajout thèse CornesGravatar herbelin2006-08-28
* MAJ biblioGravatar herbelin2006-08-24
* MAJ JMeq sur Type + typos (sur propositions de Pierre Castéran)Gravatar herbelin2006-08-24
* MAJ biblioGravatar herbelin2006-08-24
* + Changing "in <hyp>" to "in <clause>" (no at, no InValue and noGravatar jforest2006-08-22
* MAJ Rectutorial (P. Castéran)Gravatar notin2006-08-16
* MAJ de la biblio du manuel de référenceGravatar notin2006-07-28
* MAJGravatar jforest2006-07-17
* Documentation machine virtuelleGravatar herbelin2006-07-12
* MAJ doc/refmanGravatar notin2006-07-11
* Documentation de lazymatch et des extensions de idtac et failGravatar herbelin2006-07-11
* Documentation Declare Implicit Tactic, Print Canonical Projections, ... + lé...Gravatar herbelin2006-07-07
* MAJ du manuel de référence (modules+fixpoints+pose proof)Gravatar notin2006-07-07
* Documentation WhelpGravatar herbelin2006-07-06
* Ajout taclevelGravatar herbelin2006-07-05
* Documentation Print Ltac qualid; documentation du debugger de ltac.Gravatar herbelin2006-07-05
* Précisions sur l'Unicode reconnu; typo; ajout Example, Proposition, Corollary.Gravatar herbelin2006-07-05
* Mise à jour scopes prédéfinis et Tactic Notation pour tacticalsGravatar herbelin2006-07-05
* Documentation 'external'Gravatar herbelin2006-07-05
* Doc Print Grammar patternGravatar herbelin2006-07-04
* Documentation or-patternGravatar herbelin2006-07-04
* Documentation or-patternGravatar herbelin2006-07-04
* Ajout cible refman-quick qui teste la compilation sans faire les index, toc e...Gravatar herbelin2006-07-04
* Typo dans le manuel de référenceGravatar notin2006-07-04
* Ajout espacement autour des symboles latex a l'attention de 'hevea -nosymb' +...Gravatar herbelin2006-07-04
* MAJ du manuel de référenceGravatar notin2006-07-04
* MAJ manuel de référenceGravatar notin2006-07-03
* Nouveau paragraphe sur le polymorphisme de sorte des inductifsGravatar herbelin2006-06-23
* Mention de coqide, proof general et pcoqGravatar herbelin2006-06-23
* updated documentation for my tactics (P. orbineauGravatar corbinea2006-06-22
* Changement du index.html généré dans refmanGravatar notin2006-06-13
* Typo in replace doc. Gravatar jforest2006-06-12
* Updating documentation of replace and correcting a typo in error message of r...Gravatar jforest2006-06-12
* ajout de la doc sur l'option -enable-geoproof de CoqIDEGravatar jnarboux2006-06-10
* Commit doc Claudio SacerdotiGravatar herbelin2006-06-09
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-09 22:24:38 +0000