+This manual begins with an introduction into the concepts of
+\ctsim. The graphical, \helprefn{ctsim}{ctsim}, and
+command-line, \helprefn{ctsimtext}{ctsimtext}, shells are then
+presented. Finally, the web-based
+\helprefn{interface}{webinterface} and
+\helprefn{installation}{installation} are discussed.