 Index Entry  Section 

D   
 defpgcustom  14.3 Configuration variable mechanisms 
 defpgdefault  13.1 Default values for generic settings 
 defpgdefault  14.3 Configuration variable mechanisms 

P   
 proofactivatescripting  14.5 Proof script mode 
 proofaddcompletions  3.10 Completions 
 proofass  14.3 Configuration variable mechanisms 
 proofasssym  14.3 Configuration variable mechanisms 
 proofasssymv  14.3 Configuration variable mechanisms 
 proofassertuntilpoint  14.5 Proof script mode 
 proofcompletebufferatomic  14.5 Proof script mode 
 proofdeactivatescripting  14.5 Proof script mode 
 proofdefineassistantcommand  13.4 Useful functions and macros 
 proofdefineassistantcommandwitharg  13.4 Useful functions and macros 
 proofdefinvisible  13.4 Useful functions and macros 
 proofdefshortcut  13.4 Useful functions and macros 
 proofdeftoggle  14.3 Configuration variable mechanisms 
 proofextendqueue  14.6.1 Input to the shell 
 proofextendqueue  14.6.1 Input to the shell 
 proofformatfilename  13.4 Useful functions and macros 
 proofgenericcountundos  3.4 Configuring undo behaviour 
 proofgenericfindandforget  3.4 Configuring undo behaviour 
 proofgenericstatepreservingp  3.6 Safe (statepreserving) commands 
 proofgrablock  14.6.1 Input to the shell 
 proofinitsegmentation  14.5 Proof script mode 
 proofinsert  13.4 Useful functions and macros 
 prooflookingatsyntacticcontext  3.1 Recognizing commands and comments 
 proofregisterpossiblynewprocessedfile  14.5 Proof script mode 
 proofreleaselock  14.6.1 Input to the shell 
 proofrestartbuffers  14.5 Proof script mode 
 proofretractuntilpoint  14.5 Proof script mode 
 proofscriptgenericparsecmdend  14.5 Proof script mode 
 proofscriptgenericparsecmdstart  14.5 Proof script mode 
 proofscriptgenericparsesexp  14.5 Proof script mode 
 proofscriptremoveallspansanddeactivate  14.5 Proof script mode 
 proofsemistovanillas  14.5 Proof script mode 
 proofsetvalue  14.3 Configuration variable mechanisms 
 proofshellbailout  14.6 Proof shell mode 
 proofshellexecloop  14.6.1 Input to the shell 
 proofshellexit  14.6 Proof shell mode 
 proofshellfilter  14.6.2 Output from the shell 
 proofshellfiltermanageoutput  14.6.2 Output from the shell 
 proofshellfilterwrapper  14.6.2 Output from the shell 
 proofshellhandledelayedoutput  14.6.2 Output from the shell 
 proofshellhandleimmediateoutput  14.6.2 Output from the shell 
 proofshellinsert  14.6.1 Input to the shell 
 proofshellinvisiblecommand  13.4 Useful functions and macros 
 proofshellkillfunction  14.6 Proof shell mode 
 proofshellprocessurgentmessage  14.6.2 Output from the shell 
 proofshellrestart  14.6 Proof shell mode 
 proofshellstart  14.6 Proof shell mode 
 prooftreeexternaldisplaytoggle  12.3.3 Guards 
 prooftreehandledelayedoutput  12.3.4 Urgent and Delayed Actions 
 prooftreeurgentaction  12.3.4 Urgent and Delayed Actions 
 proofzapcommas  10. Configuring Font Lock 
