Archive history

BranchCommit messageAuthorAge
masterNew releaseMarco Pessotto3 weeks
AgeCommit messageAuthor
2020-05-07New releaseHEADmasterMarco Pessotto
2020-05-01Bump pubdateMarco Pessotto
2020-05-01Version 2.453Marco Pessotto
2020-04-28Bump metaMarco Pessotto
2020-04-28Document GH-Markdown tablesMarco Pessotto
2020-04-28Update the manual with the ?? placeholder in the anchor linkingMarco Pessotto
2020-04-20Correct prove switchesMarco Pessotto
2020-04-20Merge pull request #24 from mycelian/update_hackingMarco
2020-04-19Update hacking instructions to use cartonMycelian
2020-04-18Set the pubdateMarco Pessotto