sail/test/latex, branch sail2 Formal specification language for ISAs LaTeX: Underscore-escape values in the \ifstrequal code 2020-09-28T16:29:25+00:00 Alex Richardson 2020-09-28T16:18:08+00:00 38341beb186e5ac871d0e3446e5a98a25a806667 






LaTeX tests: check that the generated code builds
2020-09-28T15:53:37+00:00

Alex Richardson

2020-09-28T15:53:37+00:00

bc73f660dc1a4b119670e66def7041fd328a715a












LaTeX: provide default implementations of the other saildoc commands
2020-09-28T15:51:54+00:00

Alex Richardson

2020-09-28T15:51:54+00:00

1ed71fb2a5dbf1b1a44d25a8b9588c8e0f43144f












Re-generate latex tests
2020-09-28T15:51:26+00:00

Alex Richardson

2020-09-28T15:51:26+00:00

2e2bfac6d15f27db67b20c40ea73e4ebd9f0c4b4












LaTeX: Add newline after itemize and enumerate environments
2020-09-28T11:03:26+00:00

Alex Richardson

2020-09-28T11:03:26+00:00

263ffca94d22e1ff7ce32d8f6ba782b0fcacd0d7












Handle sectioning commands in saildoc LaTeX output
2020-09-28T11:01:04+00:00

Alex Richardson

2020-09-28T11:01:04+00:00

8bd1d46961b41cc643810fc028c4127279463c36












Saildoc: do not mangle links targets enclosed in <>
2020-09-25T15:43:10+00:00

Alex Richardson

2020-09-25T15:21:57+00:00

cd32009738e05e4eb7f7e0e25ccf700525a7badb

This can be useful to reference things that aren't defined by sail.





This can be useful to reference things that aren't defined by sail.







Add an initial LaTeX test
2020-09-25T11:31:04+00:00

Alex Richardson

2020-09-25T11:31:04+00:00

f22136def93656ebe8c4c6e49214983365ecd6e2

This is for a bug I encountered while moving some docs over from the ISA
spec into sail documentation comments.





This is for a bug I encountered while moving some docs over from the ISA
spec into sail documentation comments.