summaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Expand)Author
2018-08-09fix tutorial infix exampleMatthew Fernandez
2018-08-02fix some typosMatthew Fernandez
2018-07-12Temporarily remove some paragraphs from the manual for anonymisationAlasdair Armstrong
2018-07-12Further anonymise manualAlasdair Armstrong
2018-07-09anonymise another github link.Robert Norton
2018-07-09anonymise github link in sail manual.Robert Norton
2018-07-09Support building an anonymised version of manual. Fix sail example in manual....Robert Norton
2018-05-21Fix a doc typo.Prashanth Mundkur
2018-05-16Some minor edits and typo-fixes to the manual, and update the files in the ri...Prashanth Mundkur
2018-05-11Add missing document list example to repositoryAlasdair Armstrong
2018-05-11Update and alphabetise author list in manualAlasdair Armstrong
2018-05-11Add link to Thomas's Sail/Isabelle documentation in manualAlasdair Armstrong
2018-05-11More work on documentationAlasdair Armstrong
2018-05-09Add type system documentationAlasdair Armstrong
2018-05-08More work on Sail documentationAlasdair Armstrong
2018-04-25Start working on documentationAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 09:15:41 +0000