aboutsummaryrefslogtreecommitdiff
path: root/doc/sphinx/language/cic.rst
AgeCommit message (Expand)Author
2019-01-31Use "∀" and "λ" instead of \forall and \lambda.Tanaka Akira
2019-01-31Use math more.Tanaka Akira
2019-01-31Make parenthesis correctly matched.Tanaka Akira
2019-01-31\Sort is not a term.Tanaka Akira
2019-01-31Use semicolon for separator of local contexts.Tanaka Akira
2019-01-31Don't line break at hyphen of compound words.Tanaka Akira
2019-01-31Move out a period and comma from :math:.Tanaka Akira
2019-01-31Nest :math: and parenthesis properly.Tanaka Akira
2019-01-31Fix syntax of two lambda-abstractions.Tanaka Akira
2019-01-31Change {\Sort} to \Sort.Tanaka Akira
2019-01-31Use \Prop, \Set and \Type defined in refman-preamble.sty.Tanaka Akira
2019-01-31Make "1" and "2" in "f1" and "f2" suffixes.Tanaka Akira
2019-01-31Make "1" and "n" in "u1" and "un" suffixes.Tanaka Akira
2019-01-31Remove "End TreeExample." line.Tanaka Akira
2019-01-25Move \def\plus and \def\tri to refman-preamble.sty.Tanaka Akira
2019-01-24use \nO, \nS, etc. fix \kw{n}.Tanaka Akira
2019-01-24Fix small errors in cic.rst.Tanaka Akira
2019-01-08Add doc for auto-template warningGaëtan Gilbert
2018-10-29Fix typos in the document about CICwkwkes
2018-10-23Order Greek letters consistently w/rest of documentSam Pablo Kuper
2018-09-20Rewrite "Flags, Options and Tables" section.Jim Fehrle
2018-09-20[doc] Include the rst and LaTeX preambles automatically in all filesClément Pit-Claudel
2018-09-20[doc] Fix a few LaTeX mistakesClément Pit-Claudel
2018-09-16Mising prime in the subtyping rulesJoachim Breitner
2018-09-16Missing space in cic.rstJoachim Breitner
2018-09-13Add doc for template polymorphism option and attributes.Gaëtan Gilbert
2018-08-31Uniformized many spelling variants. Added .. warning:: and .. seealso:: direc...Zeimer
2018-08-27Fix a casing problem noticed by Lars Dölle on Coq-Club.Théo Zimmermann
2018-08-16Merge PR #8111: Docs: Fix p values in CIC Inductive Defs examplesMaxime Dénès
2018-07-30[sphinx] Use arguments of '.. example::' directive as a titleClément Pit-Claudel
2018-07-22Docs: minor typo in "Template Polymorphism"Timothy Bourke
2018-07-22Docs: minor typo in W-Ind relative to textTimothy Bourke
2018-07-21Docs: Fix p values in CIC Inductive Defs examplesTimothy Bourke
2018-07-19Fixed some typos and grammar errors from section 'The language' of the Refere...Zeimer
2018-07-04doc: Fix markup in Calculus of Inductive ConstructionsFabian
2018-05-05[sphinx] Backport changes from #5979.Théo Zimmermann
2018-04-14[Sphinx] Fix all remaining warnings.Maxime Dénès
2018-04-14[sphinx] Fix many warnings.Théo Zimmermann
2018-04-11[sphinx] Use macros for notes and examples.Théo Zimmermann
2018-03-15[Sphinx] Add chapter 4Maxime Dénès
2018-03-15[Sphinx] Move chapter 4 to new infrastructureMaxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 08:47:14 +0000