Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Renamed section.

This commit is contained in:
Achim D. Brucker 2019-01-09 22:38:14 +00:00
parent 12dd12a070
commit 8aa623c857
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
document-generator/README.md
View File

@ -4,7 +4,7 @@ This directory contains the LaTeX setup for Isabelle's
document generation system.
## Tipps
## 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