forked from Isabelle_DOF/Isabelle_DOF
Use scrartcl as default LaTeX class.
This commit is contained in:
parent
16b46da95f
commit
5a532ec973
|
@ -73,7 +73,7 @@ function fail()
|
|||
# options
|
||||
|
||||
NAME=""
|
||||
DEFAULT_TEMPLATE="scrreprt"
|
||||
DEFAULT_TEMPLATE="scrartcl"
|
||||
DEFAULT_ONTOLOGY="scholarly_paper"
|
||||
|
||||
TEMPLATE="$DEFAULT_TEMPLATE"
|
||||
|
|
Loading…
Reference in New Issue