Chapter 4

Reference Manual

[ Guide contents] | Next chapter: Appendix A: Rules component | Previous chapter: 3 Englex ]

4.1 Introduction and technical specifications

4.2 Installing PC-KIMMO

4.3 Starting PC-KIMMO

4.4 Interacting with the user interface

4.5 Command reference by function

4.6 Alphabetic list of commands

4.7 File formats

4.8 Trace formats

4.9 Algorithms

4.10 Messages