nicolas.meric
/
Isabelle_DOF
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fixed version number.

This commit is contained in:
Achim D. Brucker 2021-03-11 00:03:37 +00:00
parent 389fd6d033
commit 46875b0560
3 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/ontologies/CENELEC_50128/DOF-CENELEC_50128.sty
View File

@ -14,7 +14,7 @@
\NeedsTeXFormat{LaTeX2e}\relax
\ProvidesPackage{DOF-cenelec_50128}
[2019/08/18 Unreleased/Isabelle2020%
[<isadofltxversion>%
Document-Type Support Framework for Isabelle (CENELEC 50128).]
\RequirePackage{DOF-COL}

2
src/ontologies/scholarly_paper/DOF-scholarly_paper-thm.sty
View File

@ -13,7 +13,7 @@
\NeedsTeXFormat{LaTeX2e}\relax
\ProvidesPackage{DOF-scholarly_paper-thm}
[2020/01/14 Unreleased/Isabelle2020%
[<isadofltxversion>%
Document-Type Support Framework for Isabelle (LNCS).]
\RequirePackage{amsthm}

2
src/ontologies/scholarly_paper/DOF-scholarly_paper.sty
View File

@ -14,7 +14,7 @@
\NeedsTeXFormat{LaTeX2e}\relax
\ProvidesPackage{DOF-scholarly_paper}
[2020/01/14 Unreleased/Isabelle2020%
[<isadofltxversion>%
Document-Type Support Framework for Isabelle (LNCS).]
\RequirePackage{DOF-COL}