This section documents several aspects of the emulator that are not covered elsewhere. This information will probably only be of interest to more advanced users and people wanting to understand better how the system works. This is not a programmers' reference - please refer to the authors' documentation for such information.

Please select a topic from the list.