History

Achim D. Brucker 8f22b53b18 Isabelle_DOF/Isabelle_DOF/master This commit looks good Details Renamed document-template directory to document-templates.		2019-07-20 15:40:17 +01:00
..
Tools	Port to Isabelle 2019.	2019-07-19 23:30:40 +01:00
document-templates	Renamed document-template directory to document-templates.	2019-07-20 15:40:17 +01:00
latex	Added basic support for eptcs.cls.	2019-06-29 11:16:17 +01:00
scripts	Moved build script into separate directory.	2019-07-20 15:34:16 +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