aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/refman/Cases.tex
Commit message (Expand)AuthorAge
* RefMan, ch. 4: Reference Manual: more on the "in pattern" clause andGravatar Hugo Herbelin2015-12-10
* Preprend Fail to all the expected failures in the documentation.Gravatar Guillaume Melquiond2015-03-05
* Remove some "Warning:" from the reference manual.Gravatar Guillaume Melquiond2015-01-29
* Fix some documentation typos.Gravatar Guillaume Melquiond2015-01-08
* "allows to", like "allowing to", is improperGravatar Jason Gross2014-08-25
* 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