# 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)"
``` bash
max_print_line=200 error_line=200 half_error_line=100  pdflatex root.tex
```

## Team

Main contacts:
* [Achim D. Brucker](http://www.brucker.ch/)
* [Burkhart Wolff](https://www.lri.fr/~wolff/)

## License

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

SPDX-License-Identifier: BSD-2-Clause
