summaryrefslogtreecommitdiff
path: root/src/latex.ml
AgeCommit message (Expand)Author
2020-10-07latex: Guard abbreviations with \@Jessica Clarke
2020-09-30Merge pull request #100 from arichardson/add-more-latex-tests-and-fix-escapingAlasdair Armstrong
2020-09-29Refactor: Change AST type from a union to a structAlasdair
2020-09-28LaTeX: Underscore-escape values in the \ifstrequal codeAlex Richardson
2020-09-28LaTeX: provide default implementations of the other saildoc commandsAlex Richardson
2020-09-28Move the ast defs wrapper into it's own fileAlasdair
2020-09-28Merge pull request #98 from arichardson/add-sectioning-commandsAlasdair Armstrong
2020-09-28LaTeX: Add newline after itemize and enumerate environmentsAlex Richardson
2020-09-28Handle sectioning commands in saildoc LaTeX outputAlex Richardson
2020-09-27latex: Prefix label names with the specified -latex_prefixJessica Clarke
2020-09-27latex: Prepend opt_prefix inside latex_cat_idJessica Clarke
2020-09-27latex: Refactor category name prefixingJessica Clarke
2020-09-27latex: Remove unused latex_label functionJessica Clarke
2020-09-25Saildoc: do not mangle links targets enclosed in <>Alex Richardson
2020-09-24Wrap saildoc LaTeX in \saildoclabelled macroJessica Clarke
2020-09-21latex: Handle Ulp, Ol and Olp markdown constructsJessica Clarke
2020-09-21latex: Dump out S-Expr of any unhandled markdownJessica Clarke
2019-05-22Move Util.warn to Reporting, and make it take the location as a parameterAlasdair Armstrong
2019-04-05Lem: Make generated assertion messages look nicer in prover outputAlasdair
2019-02-18Fix latex outputAlasdair Armstrong
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-01-31 09:55:15 +0000