pierre.derathe
/
Isabelle_DOF
Archived
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
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.
Isabelle_DOF/document-generator
History
Achim D. Brucker da3ffdc729 "Renamed lipics template (currently not supported). 
This renaming should clearly communicate that this setup is not a (well)
supported configuration. Firstly, lipics requires a recent version of
comment.sty that conflicts with the outdated version required by Isabelle
and, moreover, the lipics classes are non-free and, hence, prevent us
from distribution a patched version that works with Isabelle.
 		2019-04-06 13:16:04 +01:00
..
Tools Add empty dummy arguments to title\author (required by some classes, e.g., lipics-v2019.cls. 2019-01-08 21:19:37 +00:00
document-template "Renamed lipics template (currently not supported). 2019-04-06 13:16:04 +01:00
latex Enabled passing of default arguments to LaTeX backend. 2019-03-31 17:47:10 +01:00
README.md Renamed section. 2019-01-09 22:38:14 +00:00

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