Download Spec2Box - Adelard

Contents
i
Contents
1 Introduction : : : : : : : : : : : : : : : : : : : : : : :
1.1 Overview : : : : : : : : : : : : : : : : : : : : :
1.2 Method of operation : : : : : : : : : : : : : : :
1.1
1.1
1.3
2 Installation : : : : :
2.1 General : : : :
2.2 Use of a mouse
2.3 PC versions : :
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
2.1
2.1
2.1
2.2
3 General features : : : : : : : : : :
3.1 The menu system : : : : : : :
3.2 The help system : : : : : : :
3.3 Displays : : : : : : : : : : : :
3.4 Aborting the current activity
3.5 Batch processing : : : : : : :
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
3.1
3.1
3.2
3.3
3.3
3.4
4 Utilities : : : : : : : : : : :
4.1 Selecting the input le
4.2 External edits : : : : :
4.3 Conguration : : : : :
4.4 DOS : : : : : : : : : :
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
4.1
4.1
4.2
4.3
4.5
5 The syntax checker : : : : : : : :
5.1 Syntax checker options : : :
5.2 General operation : : : : :
5.3 Selecting the start point : :
5.4 Selecting an insertion point
5.5 Action on error : : : : : : :
5.6 Adding and correcting text
5.7 Editor : : : : : : : : : : : :
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
5.1
5.1
5.2
5.3
5.4
5.4
5.5
5.9
SpecBox User Manual, version: PC/2.21a