1.3 Directions for use of manual
Novices should use this manual by skimming the above remarks, and working through the Getting Started section, referring whenever stuck to the on-line Help about the syntax, the rules, and the tactics.
Advanced users will wish to explore the facilities for working in various logics, and should therefore read the section on Advanced Work.
Teachers will wish to know how to install MacLogic, how to customise it for their own students, and how to construct problem files for their students to work on: they should read all sections of the manual, and the file "READ ME" accompanying the MacLogic application.
In case of difficulty, users of all kinds may need to ensure that MacLogic has been correctly installed.