BranchCommit messageAuthorAge
masterMake the two articles about Ltac refer to each otherThomas Letan2 weeks
AgeCommit messageAuthor
2020-07-31Make the two articles about Ltac refer to each otherHEADmasterThomas Letan
2020-07-31“For Fun and Benefit” was not an idiomatic expressionThomas Letan
2020-07-26Add the latest write-up on Ltac to the indexThomas Letan
2020-07-26Initial publicationThomas Letan
2020-07-21Remove half-deleted sentenceThomas Letan
2020-07-14Remove outdated TODO noteThomas Letan
2020-07-14Fix size of code fontThomas Letan
2020-07-14Fix sass issueThomas Letan
2020-07-14Prepare the introduction of a RSS feedThomas Letan
2020-07-14Identify the creation and last update date from the revisions tableThomas Letan