summaryrefslogtreecommitdiff
path: root/provider/posts/simmons-intro-to-cat-t
Commit message (Expand)AuthorAge
* typosGregor Kleen2016-02-04
* *poke*Gregor Kleen2016-02-04
* minor correctionGregor Kleen2016-02-04
* typoGregor Kleen2016-02-03
* CatT 1.2.8Gregor Kleen2016-02-03
* minor correctionsGregor Kleen2016-02-03
* minor correctionsGregor Kleen2016-02-03
* CatT 1.2.7Gregor Kleen2016-02-03
* CatT 1.2.6Gregor Kleen2016-02-03
* CatT 1.2.5Gregor Kleen2016-02-03
* CatT 1.2.3 & 1.2.4Gregor Kleen2016-02-03
* CatT 1.2.2Gregor Kleen2016-02-03
* comment on 1.2.1Gregor Kleen2016-02-02
* Cat-T 1.2.1Gregor Kleen2016-02-02
* more concise arrows & exercise envsGregor Kleen2016-02-02
* typoGregor Kleen2016-01-30
* removed weird restrictionGregor Kleen2016-01-30
* fixed mathGregor Kleen2016-01-29
* TikzGregor Kleen2016-01-29
* Simmons 1.1Gregor Kleen2016-01-29