forked from Isabelle_DOF/Isabelle_DOF
Achim D. Brucker 783f580752 | ||
---|---|---|
.. | ||
Tools | ||
document-template | ||
latex | ||
README.md |
README.md
Isabelle_DOF: Document Preparation Setup
This directory contains the LaTeX setup for Isabelle's document generation system.
Tips and Tricks
During debugging of LaTeX errors, it can be very helpful to use more than 79 characters for error messages (otherwise, long errors are truncated)"
max_print_line=200 error_line=200 half_error_line=100 pdflatex root.tex
Team
Main contacts:
License
This project is licensed under a 2-clause BSD license.
SPDX-License-Identifier: BSD-2-Clause