aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/refman/Cases.tex
Commit message (Expand)AuthorAge
* Improving rendering of ldots in doc (partially done, there are tooGravatar herbelin2012-08-11
* Uniformisation in the documentation: remove the use of 'coinductive' inGravatar aspiwack2012-04-13
* RefMan update about match syntax.Gravatar pboutill2012-02-29
* Typo in docGravatar glondu2008-07-29
* Standardisation du format des références croisées vers Figure, Section, Ch...Gravatar herbelin2008-01-05
* Eliminated warning messages from Hevea. Most warning messages wereGravatar emakarov2007-04-10
* Relecture/nettoyage chapitre Gallina; déplacement section FunctionGravatar herbelin2007-02-07
* Documentation or-patternGravatar herbelin2006-07-04
* nouveaux parametresGravatar cpaulin2006-06-05
* Nettoyage de l'archive doc et restructuration avant intégration à l'archiveGravatar herbelin2006-02-23