forked from Isabelle_DOF/Isabelle_DOF
Fixed naming inconsistency (cenelec vs. CENELEC_50128).
This commit is contained in:
parent
869f1615cd
commit
92f8fa5c25
|
@ -1,4 +1,4 @@
|
|||
scholarly_paper
|
||||
technical_report
|
||||
math_exam
|
||||
cenelec
|
||||
CENELEC_50128
|
||||
|
|
Loading…
Reference in New Issue