Adding an option "Set Ltac Batch Debug" to additionally run Ltac debug in batch mode.
Adding an option "Set Ltac Batch Debug" to additionally run Ltac debug in batch mode.

william-lawvere/coq,amintimany/coq,ejgallego/coq,ejgallego/coq,letouzey/coq-wip,Lionel-Rieg/coq,maximedenes/coq,JasonGross/coq,gares/coq,coq/coq,Matafou/coq,silene/coq,JasonGross/coq,letouzey/coq-wip,coq/coq,SkySkimmer/coq,ppedrot/coq,Matafou/coq,gares/coq,Zimmi48/coq,ppedrot/coq,amintimany/coq,SkySkimmer/coq,maximedenes/coq,gares/coq,Zimmi48/coq,william-lawvere/coq,maximedenes/coq,silene/coq,gares/coq,coq/coq,SkySkimmer/coq,Zimmi48/coq,ppedrot/coq,coq/coq,SkySkimmer/coq,Lionel-Rieg/coq,ppedrot/coq,william-lawvere/coq,letouzey/coq-wip,amintimany/coq,letouzey/coq-wip,JasonGross/coq,ejgallego/coq,JasonGross/coq,silene/coq,Matafou/coq,ppedrot/coq,Zimmi48/coq,gares/coq,maximedenes/coq,ejgallego/coq,maximedenes/coq,Lionel-Rieg/coq,letouzey/coq-wip