Variable and User Option Index

Jump to:	A M Q

	Index Entry	Section

A
	`advisor-limit`	11. Mizar Proof Advisor

M
	`mizar-assume-items-func`	13. Proof Skeletons
	`mizar-default-label-name`	13. Proof Skeletons
	`mizar-do-expl`	9.2 Getting Constructor explanations
	`mizar-expl-kind`	9.2 Getting Constructor explanations
	`mizar-goto-error`	2.1 Running Mizar
	`mizar-grep-case-sensitive`	7. Grepping in MML
	`mizar-indent-width`	2.2 Indentation and commenting
	`mizar-momm-dir`	12.1 Installing MoMM
	`mizar-momm-load-tptp`	12.2 Starting MoMM in Mizar Mode
	`mizar-query-browser`	10. MML Query
	`mizar-quick-run`	2.1 Running Mizar
	`mizar-show-output`	2.1 Running Mizar
	`mizar-skeleton-items-func`	13. Proof Skeletons
	`mizar-skeleton-labels`	13. Proof Skeletons
	`mizar-underline-expls`	9.2 Getting Constructor explanations
	`mizar-use-momm`	12.2 Starting MoMM in Mizar Mode

Q
	`query-text-output`	10. MML Query

Jump to:	A M Q

This document was generated by Josef Urban on February 20, 2014 using texi2html 1.82.