#This file is part of the project *Hilbert II* - http://www.qedeq.org
#Fri Jan 25 23:21:52 CET 2013
automaticLogScroll=true
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPlugin$equivalenceWeight=1
org.qedeq.kernel.bo.service.heuristic.DynamicHeuristicCheckerPlugin$model=org.qedeq.kernel.bo.logic.model.FourDynamicModel
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPlugin$conjunctionOrder=6
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPlugin$partFormulaOrder=2
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPlugin$logFrequence=1000
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPlugin$disjunctionWeight=3
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPlugin$boolean=true
http.proxyPort=
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextPlugin$brief=false
configFileLocation=/home/m31/projects/qedeq/eclipse/QedeqGuiSe/config/org.qedeq.properties
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPlugin$implicationOrder=4
moduleHistory.112=http\://wwww.qedeq.org/0_04_05/doc/sample/qedeq_sample4.xml
moduleHistory.111=http\://wwww.qedeq.org/0_04_05/doc/sample/qedeq_sample3.xml
moduleHistory.110=http\://wwww.qedeq.org/0_04_05/doc/sample/qedeq_sample2.xml
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextPlugin$info=true
autoStartHtmlBrowser=true
org.qedeq.kernel.bo.service.unicode.Qedeq2Utf8Plugin$brief=false
http.nonProxyHosts=none
sessionAutoReload=true
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextPlugin$maximumColumn=80
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPlugin$maximumProofLines=2147483645
connectionTimeout=2002
moduleHistory.109=http\://wwww.qedeq.org/0_04_05/doc/sample/qedeq_sample1.xml
moduleHistory.108=http\://wwww.qedeq.org/0_04_05/doc/project/qedeq_logic_language.xml
moduleHistory.107=http\://wwww.qedeq.org/0_04_05/doc/project/qedeq_basic_concept.xml
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPlugin$propositionVariableWeight=3
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPlugin$implicationWeight=1
moduleHistory.106=http\://wwww.qedeq.org/0_04_05/doc/math/qedeq_set_theory_v1.xml
moduleHistory.105=http\://wwww.qedeq.org/0_04_05/doc/math/qedeq_formal_logic_v1.xml
moduleHistory.104=http\://wwww.qedeq.org/0_04_05/doc/math/qedeq_logic_v1.xml
moduleHistory.103=file\:///home/m31/projects/qedeq/eclipse/QedeqDoc/math/qedeq_formal_logic_v1.xml
moduleHistory.102=file\:///home/m31/projects/qedeq/eclipse/QedeqDoc/project/qedeq_basic_concept.xml
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPlugin$propositionVariableOrder=1
moduleHistory.101=file\:///home/m31/projects/qedeq/eclipse/QedeqDoc/project/qedeq_development_concept.xml
org.qedeq.kernel.bo.service.unicode.Qedeq2Utf8Plugin$language=en
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPlugin$extraVars=1
iconSize=16x16
org.qedeq.kernel.bo.service.latex.Qedeq2LatexPlugin$info=true
bufferLocation=buffer/
fileBrowserStartDirectory=/home/m31/projects/qedeq/eclipse/QedeqDoc/project
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPlugin$noSave=false
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPlugin$negationWeight=1
generationLocation=generated/
org.qedeq.kernel.bo.service.unicode.Qedeq2Utf8Plugin$info=true
lookAndFeel=PlasticXP
localModulesDirectory=local/
org.qedeq.kernel.bo.service.unicode.Qedeq2Utf8Plugin$maximumColumn=80
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPlugin$conjunctionWeight=1
loadedModule.9=http\://www.qedeq.org/0_04_05/doc/math/qedeq_logic_v1.xml
loadedModule.8=http\://www.qedeq.org/0_04_05/sample/proplogic.xml
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextPlugin$language=en
loadedModule.7=http\://www.qedeq.org/0_04_05/sample/qedeq_error_sample_03.xml
loadedModule.6=http\://www.qedeq.org/0_04_05/doc/math/qedeq_formal_logic_v1.xml
http.proxyHost=proxy
loadedModule.5=http\://www.qedeq.org/0_04_05/sample/qedeq_error_sample_17.xml
loadedModule.4=http\://www.qedeq.org/0_04_05/sample/qedeq_sample2.xml
loadedModule.3=file\:///home/m31/projects/qedeq/eclipse/QedeqDoc/project/qedeq_development_concept.xml
loadedModule.2=http\://www.qedeq.org/0_04_05/sample/qedeq_error_sample_18.xml
loadedModule.1=http\://www.qedeq.org/0_04_05/sample/qedeq_error_sample_16.xml
loadedModule.21=http\://www.qedeq.org/0_04_05/sample/qedeq_error_sample_05.xml
loadedModule.20=http\://www.qedeq.org/0_04_05/sample/qedeq_sample1.xml
traceOn=true
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPlugin$partFormulaWeight=1
org.qedeq.kernel.bo.service.logic.WellFormedCheckerPlugin$checkerFactory=org.qedeq.kernel.bo.logic.FormulaCheckerFactoryImpl
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPlugin$disjunctionOrder=3
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPlugin$negationOrder=5
org.qedeq.kernel.bo.service.latex.Qedeq2LatexPlugin$brief=false
readTimeout=1001
loadedModule.19=http\://www.qedeq.org/0_04_05/doc/project/qedeq_logic_language.xml
loadedModule.18=http\://www.qedeq.org/0_04_05/sample/qedeq_error_sample_15.xml
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPlugin$checkerFactory=org.qedeq.kernel.bo.logic.ProofCheckerFactoryImpl
loadedModule.17=http\://www.qedeq.org/0_04_05/sample/qedeq_error_sample_02.xml
loadedModule.16=http\://www.qedeq.org/0_04_05/sample/predlogic.xml
loadedModule.15=http\://www.qedeq.org/0_04_05/sample/qedeq_error_sample_05b.xml
loadedModule.14=http\://www.qedeq.org/0_04_05/doc/math/qedeq_set_theory_v1.xml
loadedModule.13=http\://www.qedeq.org/0_04_05/sample/qedeq_error_sample_04.xml
loadedModule.12=http\://www.qedeq.org/0_04_05/doc/project/qedeq_basic_concept.xml
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPlugin$skipFormulas=
loadedModule.11=http\://www.qedeq.org/0_04_05/sample/qedeq_sample4.xml
loadedModule.10=http\://www.qedeq.org/0_04_05/sample/qedeq_sample3.xml
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPlugin$equivalenceOrder=7
logLocation=search/for/me/log.txt
