OutputVerbosity,0
LoadFile,set.mm
LoadFile,fd.txt
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\proofWorksheetFF.mmp
RunProofAsstGUI