summaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Expand)Author
2019-01-21The RISCV environment variable collides with common usage by the RISC-V toolc...Prashanth Mundkur
2019-01-21Update manual snapshot and add basic sail -latex documentationAlasdair Armstrong
2019-01-21Fix some issues with latex generation so manual builds againAlasdair Armstrong
2019-01-21Fix a bug with type-checking and latex generationAlasdair Armstrong
2018-09-10C: Add documentation for C compilation in manual.texAlasdair Armstrong
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-01-31 11:44:00 +0000