2018-03-06 06:43:16 +00:00
|
|
|
# Isabelle_DOF: Document Preparation Setup
|
|
|
|
|
|
2018-11-07 22:15:55 +00:00
|
|
|
This directory contains the LaTeX setup for Isabelle's
|
2018-03-06 06:43:16 +00:00
|
|
|
document generation system.
|
|
|
|
|
|
2018-04-08 16:32:04 +00:00
|
|
|
|
2018-11-07 22:15:55 +00:00
|
|
|
## Tipps
|
2018-04-08 16:32:04 +00:00
|
|
|
|
2018-11-07 22:15:55 +00:00
|
|
|
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
|
2018-04-08 16:32:04 +00:00
|
|
|
```
|
|
|
|
|
|
|
|
|
|
## Team
|
|
|
|
|
|
|
|
|
|
Main contacts:
|
|
|
|
|
* [Achim D. Brucker](http://www.brucker.ch/)
|
|
|
|
|
* [Burkhart Wolff](https://www.lri.fr/~wolff/)
|
|
|
|
|
|
2018-04-08 16:13:45 +00:00
|
|
|
## License
|
|
|
|
|
|
|
|
|
|
This project is licensed under a 2-clause BSD license.
|
|
|
|
|
|
|
|
|
|
SPDX-License-Identifier: BSD-2-Clause
|
