Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | all: remove "u" string prefix (#1536) | Georg Brandl | 2020-09-08 | 1 | -5/+5 |
* | Update copyright year (fixes #1514.) | Matthäus G. Chajdas | 2020-08-22 | 1 | -1/+1 |
* | Lean: update to Lean 3 | Bryan Gin-ge Chen | 2020-03-14 | 1 | -45/+61 |
* | Lean: add "^" operator | Georg Brandl | 2019-12-01 | 1 | -1/+1 |
* | Fixup all headers and some more minor problems.2.4.2 | Georg Brandl | 2019-05-28 | 1 | -1/+1 |
* | Stop highlighting primitive types in Coq (fixes #1430.) | Matth?us G. Chajdas | 2019-05-18 | 1 | -2/+0 |
* | Copyright update. | Georg Brandl | 2017-01-22 | 1 | -1/+1 |
* | Add support for partials and path segments for Handlebars. | Christian Hammond | 2016-11-04 | 1 | -0/+458 |