This repository has been archived on 2024-04-22. You can view files and clone it, but cannot push or open issues or pull requests.

History

Achim D. Brucker c75c9e8836 Removed shorthands for e.g. and i.e..		2019-06-29 09:40:19 +01:00
..
Tools	Fixed printing of default template.	2019-04-06 13:19:27 +01:00
document-template	Removed shorthands for e.g. and i.e..	2019-06-29 09:40:19 +01:00
latex	Ported LaTeX document generation to Isabelle 2018.	2019-06-17 10:10:29 +01:00
README.md	Renamed section.	2019-01-09 22:38:14 +00:00

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

Main contacts:

This project is licensed under a 2-clause BSD license.

SPDX-License-Identifier: BSD-2-Clause