Age | Commit message (Collapse) | Author | |
---|---|---|---|
2020-08-28 | Heavy reworking of the Ltac series | Thomas Letan | |
2020-07-31 | Make the two articles about Ltac refer to each other | Thomas Letan | |
2020-07-31 | “For Fun and Benefit” was not an idiomatic expression | Thomas Letan | |
2020-07-26 | Initial publication | Thomas Letan | |