+This manual begins with an introduction into the concepts of
+\rtfsp\ctsim. Then, the graphical shell, \helprefn{ctsim}{ctsim},
+is documented followed the the command-line shell,
+\helprefn{ctsimtext}{ctsimtext}. Finally, the web-based
+\helprefn{interface}{webinterface} is discussed followed by
+\helprefn{installation}{installation} instructions.