[
Top
]
[
Contents
]
[
Index
]
[
?
]
Table of Contents
1. Prerequisities
1.1 Installation
1.1.1 XEmacs compatibility
1.2 Emacs basics
2. Basic Functions
2.1 Running Mizar
2.2 Indentation and commenting
2.3 Error explanations and movement
3. Summaries and Hide/Show
3.1 Hide/Show - Hiding proofs
4. Running Mizar utilities
4.1 Simple constructor and vocabulary utilities
4.1.1 Constructors and user symbols
4.2 Irrelevant Utilities
4.3 Other Utilities
5. Miscellaneous editing
5.1 Proof checking
5.2 Then placement
6. Browsing Functions
7. Grepping in MML
8. Miscellaneous Emacs facilities for fast mizaring
8.1 Imenu and Speedbar support
8.2 Abbreviations
9. Constructor explanations
9.1 How Constructor explanations work
9.2 Getting Constructor explanations
9.3 Using Constructor explanations
10. MML Query
10.1 Asking arbitrary queries
11. Mizar Proof Advisor
12. MoMM
12.1 Installing MoMM
12.2 Starting MoMM in Mizar Mode
12.3 Getting MoMM hints
13. Proof Skeletons
14. Mizar TWiki
Function and Command Index
Variable and User Option Index
Keystroke Index
Concept Index
[
Top
]
[
Contents
]
[
Index
]
[
?
]
This document was generated by
Josef Urban
on
February 20, 2014
using
texi2html 1.82
.