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

Merge branch 'master' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF

This commit is contained in:
Achim D. Brucker 2020-01-14 17:27:00 +00:00
parent 97db02c61d 80f7a73b88
commit 2f8b79e0f1
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
examples/technical_report/Isabelle_DOF-Manual/document/root.bib
View File

@ -490,5 +490,6 @@
@Book{ eijkhout:latex-cs:2012,
author = {Victor Eijkhout},
title = {The Computer Science of TeX and LaTeX},
publisher = {Texas Advanced Computing Center},
year = 2012
}