| Age | Commit message (Collapse) | 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 | |
| This can be useful to reference things that aren't defined by sail. | |||
| 2020-09-25 | Add an initial LaTeX test | Alex Richardson | |
| This is for a bug I encountered while moving some docs over from the ISA spec into sail documentation comments. | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |