OutputVerbosity,0
LoadFile,set.mm
VerifyProof,*
Parse,*
ProofAsstUnifySearchExclude,biigb,xxxid,dummylink
ProofAsstProofFormat,Normal
ProofAsstProofFolder,myproofs
TheoremLoaderMMTFolder,myproofs
TMFFUseFormat,7
ProofAsstDeriveAutocomplete, no
DefineWorkVarType,wff,&W,999
MacroFolder,macros
RunMacro,echo,hello world
ProofAsstStartupProofWorksheet, c:\mmj2\mmj2jar\myproofs\proofWorksheet.mmp
RunProofAsstGUI