Table of Contents

1. Introduction
2. Quick Start
3. Reference

3.1 Launcher

3.1.1 Menu
3.1.2 Notes

3.2 Explorer

3.2.1 Menu
3.2.2 Notes

3.3 Inspector
3.4 Trace display
3.5 Viewer

4. Technical Details

4.1 Display font
4.2 GUI style
4.3 Operational semantics

5. Licence
A. Revision History
B. Bibliography