Download Manual

Contents
1 Introduction
1
1.1 Introduction of AoDoc . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1
1.2 Introduction to AoDocGui . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1
2 The AoDoc
3
2.1 Using Aodoc . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3
2.2 The Proofer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5
2.3 The logging le . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5
2.4 AoDoc.java . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6
2.5 How to comment atf/xml les correctly. . . . . . . . . . . . . . . . . . . . . . . . .
6
3 Using the GUI
11
3.1 Congure the settings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
11
3.2 The functions of AoDocGUI . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13
3.3 The system output . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
14
3.4 Starting the AoDocGUI.java . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
15
4 Document Historie
17