summaryrefslogtreecommitdiff
path: root/src/latex.ml
AgeCommit message (Expand)Author
2018-09-12Jenkins: Fix deprecation warningsAlasdair Armstrong
2018-08-07Revert "Warnings: deal with all the deprecation warnings"Alasdair Armstrong
2018-07-26Warnings: deal with all the deprecation warningsAlastair Reid
2018-05-11Remove unneeded _sail suffix from latex files.Robert Norton
2018-05-11Avoid generating latex files that differ only by case because this causes con...Robert Norton
2018-05-10latex: don't include the prefix in the label. This means we have the option o...Robert Norton
2018-05-09Add language=sail option in listings command for latex output. This helps wit...Robert Norton
2018-04-25Start working on documentationAlasdair Armstrong
2018-04-23Merge branch 'rmn30_latex' into sail2Robert Norton
2018-04-18add some experimental support for latex output in multiple files.Robert Norton
2018-04-18Updates to latex mode for documentationAlasdair Armstrong
2018-04-05Fix precedence printing and update aarch64 specAlasdair Armstrong
2018-04-05More work on latex outputAlasdair Armstrong
2018-03-19Fixes to C backend for RISCV-compilationAlasdair Armstrong
2018-03-14WIP Latex formattingAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 23:59:13 +0000