aboutsummaryrefslogtreecommitdiff
path: root/doc/refman
AgeCommit message (Expand)Author
2007-02-07Meilleur anglais (cf 9619)herbelin
2007-02-07Relecture/nettoyage chapitre Gallina; déplacement section Functionherbelin
2007-02-07Suppression RefMan-cas.tex inutiliséherbelin
2007-02-07Field rewrites only with polynomialthery
2007-02-07doc de ring/field + option infinite -> completenessbarras
2007-02-06doc for fieldthery
2007-02-05complement du commit 9591bgregoir
2007-02-01Report 9545 de 8.1 vers trunkherbelin
2007-02-01Petite relecture partie ringherbelin
2007-01-31report de r9574: doc de fieldbarras
2007-01-31Fix typo.msozeau
2007-01-31Fix order of wf and measure arguments, patch Program doc.msozeau
2007-01-26Explication du intros until nnotin
2007-01-24doc de ringbgregoir
2006-12-23Doc for Combined Scheme.msozeau
2006-12-08Correction typo règle réduction du fix chapitre CCIherbelin
2006-11-02Add doc on obligation solving commands.msozeau
2006-10-28MAJ nouvelles théoriesherbelin
2006-10-28Documentation de "Set Printing Universes", "Print Universes" (anciennementherbelin
2006-10-26added doc for declarative languagecorbinea
2006-10-26MAJ crédits, fresh; documentation apply inherbelin
2006-10-16typo doc + bug legacy fieldbarras
2006-10-05revision de la semantique de rewrite ... in <clause>. details dans la docletouzey
2006-10-04Ajout Stringherbelin
2006-10-04Correction bug #1236notin
2006-10-04Doc injection asherbelin
2006-09-28separation de RealFieldbarras
2006-09-22doc du nouveau ringbarras
2006-09-20congruence doc updatecorbinea
2006-09-11Ajout eassumption indexherbelin
2006-09-07Updating the doc about Function and cocourtieu
2006-09-01Modification du manuel de référence: le flag evar pour cbv n'existe plus.notin
2006-08-28MAJherbelin
2006-08-28Ajout thèse Cornesherbelin
2006-08-24MAJ biblioherbelin
2006-08-24MAJ biblioherbelin
2006-08-22+ Changing "in <hyp>" to "in <clause>" (no at, no InValue and nojforest
2006-07-28MAJ de la biblio du manuel de référencenotin
2006-07-17MAJjforest
2006-07-12Documentation machine virtuelleherbelin
2006-07-11MAJ doc/refmannotin
2006-07-11Documentation de lazymatch et des extensions de idtac et failherbelin
2006-07-07Documentation Declare Implicit Tactic, Print Canonical Projections, ... + lé...herbelin
2006-07-07MAJ du manuel de référence (modules+fixpoints+pose proof)notin
2006-07-06Documentation Whelpherbelin
2006-07-05Documentation Print Ltac qualid; documentation du debugger de ltac.herbelin
2006-07-05Précisions sur l'Unicode reconnu; typo; ajout Example, Proposition, Corollary.herbelin
2006-07-05Mise à jour scopes prédéfinis et Tactic Notation pour tacticalsherbelin
2006-07-05Documentation 'external'herbelin
2006-07-04Doc Print Grammar patternherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-04 16:43:34 +0000