aboutsummaryrefslogtreecommitdiff
path: root/doc/refman/Cases.tex
AgeCommit message (Expand)Author
2018-03-22[Sphinx] Move chapter 17 to new infrastructureMaxime Dénès
2017-12-14Document Asymmetric Patterns.Gaëtan Gilbert
2017-09-22Avoid generated names for html pages of the reference manual (bug #4742).Guillaume Melquiond
2015-12-10RefMan, ch. 4: Reference Manual: more on the "in pattern" clause andHugo Herbelin
2015-03-05Preprend Fail to all the expected failures in the documentation.Guillaume Melquiond
2015-01-29Remove some "Warning:" from the reference manual.Guillaume Melquiond
2015-01-08Fix some documentation typos.Guillaume Melquiond
2014-08-25"allows to", like "allowing to", is improperJason Gross
2012-08-11Improving rendering of ldots in doc (partially done, there are tooherbelin
2012-04-13Uniformisation in the documentation: remove the use of 'coinductive' inaspiwack
2012-02-29RefMan update about match syntax.pboutill
2008-07-29Typo in docglondu
2008-01-05Standardisation du format des références croisées vers Figure, Section, Ch...herbelin
2007-04-10Eliminated warning messages from Hevea. Most warning messages wereemakarov
2007-02-07Relecture/nettoyage chapitre Gallina; déplacement section Functionherbelin
2006-07-04Documentation or-patternherbelin
2006-06-05nouveaux parametrescpaulin
2006-02-23Nettoyage de l'archive doc et restructuration avant intégration à l'archiveherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 01:25:56 +0000