| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-09-28 | LaTeX: Underscore-escape values in the \ifstrequal code | Alex Richardson |
| 2020-09-28 | LaTeX tests: check that the generated code builds | Alex Richardson |
| 2020-09-28 | LaTeX: provide default implementations of the other saildoc commands | Alex Richardson |
| 2020-09-28 | Re-generate latex tests | Alex Richardson |
| 2020-09-28 | LaTeX: Add newline after itemize and enumerate environments | Alex Richardson |
| 2020-09-28 | Handle sectioning commands in saildoc LaTeX output | Alex Richardson |
| 2020-09-25 | Saildoc: do not mangle links targets enclosed in <> | Alex Richardson |
| 2020-09-25 | Add an initial LaTeX test | Alex Richardson |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |