forked from Isabelle_DOF/Isabelle_DOF
Fixed package name.
This commit is contained in:
parent
e0305a6694
commit
1c57e9b08b
|
@ -13,7 +13,7 @@
|
|||
|
||||
|
||||
\NeedsTeXFormat{LaTeX2e}\relax
|
||||
\ProvidesPackage{DOF-COL}
|
||||
\ProvidesPackage{DOF-amssymb}
|
||||
[<isadofltxversion>%
|
||||
Document-Type Support Framework for Isabelle (amssymb wrapper for lualatex/pdflatex).]
|
||||
|
||||
|
|
Reference in New Issue