aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
Commit message (Expand)AuthorAge
...
| * | ENH: existing example was changed so that it is now linked to the results sho...Gravatar Matej Kosik2015-12-10
| * | ENH: an existing example was further expanded.Gravatar Matej Kosik2015-12-10
| * | CLEANUP: Existing example was removed.Gravatar Matej Kosik2015-12-10
| * | ENH: existing example was expandedGravatar Matej Kosik2015-12-10
| * | ENH: define the meaning of 'p'Gravatar Matej Kosik2015-12-10
| * | CLEANUP PROPOSITION: does it make sense to refer to 'I' as 'inductive definit...Gravatar Matej Kosik2015-12-10
| * | CLEANUP: We decided to call these guys E[Γ] ⊢ (Γi := Γc) as inductive de...Gravatar Matej Kosik2015-12-10
| * | COMMENT: questionGravatar Matej Kosik2015-12-10
| * | CLEANUP: removing a superfluous indexGravatar Matej Kosik2015-12-10
| * | COMMENT: questionGravatar Matej Kosik2015-12-10
| * | COMMENT: questionGravatar Matej Kosik2015-12-10
| * | GRAMMARGravatar Matej Kosik2015-12-10
| * | COMMENT: noteGravatar Matej Kosik2015-12-10
| * | TYPOGRAPHYGravatar Matej Kosik2015-12-10
| * | CLEANUP: originally, we talked about "B" as an "arity"Gravatar Matej Kosik2015-12-10
| * | COMMENT: questionGravatar Matej Kosik2015-12-10
| * | ENH: a forward reference to a place where the concept of "allowed elimination...Gravatar Matej Kosik2015-12-10
| * | COMMENT: questionGravatar Matej Kosik2015-12-10
| * | CLEANUP: unnecessaryGravatar Matej Kosik2015-12-10
| * | GRAMMARGravatar Matej Kosik2015-12-10
| * | COMMENT: questionGravatar Matej Kosik2015-12-10
| * | ENH: improving precisionGravatar Matej Kosik2015-12-10
| * | COMMENT: questionGravatar Matej Kosik2015-12-10
| * | FIX: "u_p" was not definedGravatar Matej Kosik2015-12-10
| * | CLEANUP: removing duplicate paragraphGravatar Matej Kosik2015-12-10
| * | COMMENT: questionGravatar Matej Kosik2015-12-10
| * | COMMENT: questionGravatar Matej Kosik2015-12-10
| * | COMMENT: questions and to doGravatar Matej Kosik2015-12-10
| * | FIX: removing references to Γ which is not defined in a given contextGravatar Matej Kosik2015-12-10
| * | TYPESETTINGGravatar Matej Kosik2015-12-10
| * | COMMENT: questionGravatar Matej Kosik2015-12-10
| * | GRAMMARGravatar Matej Kosik2015-12-10
| * | CLEANUP PROPOSITION: superfluous parentheses were removedGravatar Matej Kosik2015-12-10
| * | CLEANUP PROPOSITION: s/local context of parameters/context of parametersGravatar Matej Kosik2015-12-10
| * | COMMENT: questionGravatar Matej Kosik2015-12-10
| * | COMMENT: questionGravatar Matej Kosik2015-12-10
| * | COMMENT: questionsGravatar Matej Kosik2015-12-10
| * | COMMENT: to doGravatar Matej Kosik2015-12-10
| * | COMMENT: to doGravatar Matej Kosik2015-12-10
| * | FIX: removing a reference to \Gamma, because it is undefinedGravatar Matej Kosik2015-12-10
| * | COMMENT: questionGravatar Matej Kosik2015-12-10
| * | FIX: making sure that my previous edits do not break HTML generationGravatar Matej Kosik2015-12-10
| * | COMMENT: questionsGravatar Matej Kosik2015-12-10
| * | ENH: examples for 'strict positivity' were expandedGravatar Matej Kosik2015-12-10
| * | COMMENT: questionGravatar Matej Kosik2015-12-10
| * | CLEANUP: s/List_A/List~A/gGravatar Matej Kosik2015-12-10
| * | COMMENT: questionGravatar Matej Kosik2015-12-10
| * | CLEANUP: the definition of "type of constructor" was rephrased in order to ma...Gravatar Matej Kosik2015-12-10
| * | COMMENT: questionGravatar Matej Kosik2015-12-10
| * | COMMENT: questionGravatar Matej Kosik2015-12-10
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 15:05:57 +0000