summaryrefslogtreecommitdiff
path: root/src/latex.ml
AgeCommit message (Expand)Author
2019-01-29Merge branch 'sail2' into asl_flow2Thomas Bauereiss
2019-01-21Fix some issues with latex generation so manual builds againAlasdair Armstrong
2019-01-16Latex: handle underscores when generating latex names.Prashanth Mundkur
2018-11-15Add simple valspec printing in latex that drops effects and other extraneous ...Robert Norton
2018-11-14Use code style For [id] refs in doc comments.Robert Norton
2018-11-14latex: use callback macro saildocxxx (one per top-level category) to give use...Robert Norton
2018-11-12Add referencing commands to generated latexAlasdair Armstrong
2018-11-12Fix numbers in constructor argumentsAlasdair Armstrong
2018-11-12Improve latex naming scheme and avoid collisionsAlasdair Armstrong
2018-11-09Improvements to latex generationAlasdair Armstrong
2018-10-31Rename Reporting_basic to ReportingAlasdair Armstrong
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-02-15 05:45:25 +0000