Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Run pyupgrade across codebase to modernize syntax and patterns (#1622) | Jon Dufresne | 2021-01-17 | 1 | -1/+0 |
* | Fix Coq-related bug #678 (#1648) | Maximilian Wuttke | 2021-01-04 | 1 | -3/+6 |
* | Bump copyright year. | Matthäus G. Chajdas | 2021-01-03 | 1 | -1/+1 |
* | lean: Add missing keywords | Eric Wieser | 2020-11-19 | 1 | -0/+2 |
* | Add analyze_text to make make check happy. (#1549) | Matthäus G. Chajdas | 2020-09-23 | 1 | -2/+2 |
* | 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 |