# Principia Mathematica II, Prototyp of Hilbert II
#
# sample configuration file, will be overwritten during shutdown of application, so this comments will vanish

# should default web browser be started instantly after generation for single qedeq module?
# default: true
# values: true, false
autoStartHtmlBrowser=true

# should success or failure messages be shown in pop up window?
# default: true
# values: true, false
directResponse=true

# use System font HTML at web browser start? starts HTML with entities like "&and;" if false
# default: true
# values: true, false
oldHtml=true

# at startup should qedeq modules be loaded again, which were marked successfully checked just before last shutdown?
# default: true
# values: true, false
sessionAutoReload=true

# starting directory of the application, this value is only written and not read by the application
startDirectory=.

# path to the config file location, this value is only written and not read by the application
configFileLocation=./com.meyling.principia.properties

# directory of local qedeq module file buffer
# default: buffer/
bufferLocation=buffer/

# directory for generated files, e.g. HTML, LaTeX and qedeq module files
# default: generated/
generationLocation=generated/

# directory for newly (by template) created qedeq qedeq files
# default: local/
localModulesDirectory=local/
