aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
Commit message (Expand)AuthorAge
* Réactivation du filtrage d'ordre 2 dans ltac qui avait cessé deGravatar herbelin2007-02-13
* Meilleur anglais (cf 9619)Gravatar herbelin2007-02-07
* Relecture/nettoyage chapitre Gallina; déplacement section FunctionGravatar herbelin2007-02-07
* Suppression RefMan-cas.tex inutiliséGravatar herbelin2007-02-07
* Field rewrites only with polynomialGravatar thery2007-02-07
* doc de ring/field + option infinite -> completenessGravatar barras2007-02-07
* doc for fieldGravatar thery2007-02-06
* complement du commit 9591Gravatar bgregoir2007-02-05
* Report 9545 de 8.1 vers trunkGravatar herbelin2007-02-01
* Petite relecture partie ringGravatar herbelin2007-02-01
* report de r9574: doc de fieldGravatar barras2007-01-31
* Fix typo.Gravatar msozeau2007-01-31
* Fix order of wf and measure arguments, patch Program doc.Gravatar msozeau2007-01-31
* Explication du intros until nGravatar notin2007-01-26
* doc de ringGravatar bgregoir2007-01-24
* Correction adresse CoRN dans FAQ (suite)Gravatar herbelin2007-01-17
* Correction adresse CoRN dans FAQ (cf #1317)Gravatar herbelin2007-01-17
* Doc for Combined Scheme.Gravatar msozeau2006-12-23
* Correction typo règle réduction du fix chapitre CCIGravatar herbelin2006-12-08
* add a comment about Show Existentials and a question about case_eq Gravatar jnarboux2006-12-01
* Typo + ajout Qcanon.vGravatar herbelin2006-11-11
* Add doc on obligation solving commands.Gravatar msozeau2006-11-02
* MAJ nouvelles théoriesGravatar herbelin2006-10-28
* Documentation de "Set Printing Universes", "Print Universes" (anciennementGravatar herbelin2006-10-28
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 04:32:56 +0000