The installation of Larch/C++ at Iowa State is on the computer science department HP machines. The Larch/C++ parser can be run by using /usr/unsup/bin/lcpp. (See also the section on Tools below.)
You can find materials on Larch/C++ in /usr/unsup/larch/LCPP. You might want to look in the subdirectories exercises for some tutorial exercises, and in samples for some some more extended examples. The subdirctory lib contains the Larch/C++ ``built-in'' traits.
The LSL Handbook traits live in /usr/unsup/larch/LSL/LSL. See /usr/unsup/larch/LSL/Doc for the latest grammar of LSL, etc.
The local newsgroup for Larch and Larch/C++ related material is isu.coms.larch.
On the ISU computer science department machines the Larch/C++ Reference Manual is best read from your WWW browser (by clicking on the name above).
Another way to read it in hypertext by reading the info version. You can do this from within emacs by invoking help and then selecting menu item i (i.e., C-h i unless you have changed your emacs key mappings), then selecting ``Unsupported'' from the menu (type m Unsupported and a return), and then selecting ``Larch/C++'' (type m Larch/C++).
If you don't use emacs, you can still read the info version of the manual as hypertext. Just use either the info or the xinfo program. Start your favorite of these, then select ``Unsupported'' from the menu (type m Unsupported and a return), and then select ``Larch/C++'' (type m Larch/C++). To learn about how to use these programs, start it, and then select ``Info'' from the menu (type m Info and a return) for a tutorial.
On the ISU computer science department machines the parser for Larch/C++ is called lcpp. It lives in /usr/unsup/bin.
The latest version of the LSL checker, called lsl, lives in /usr/unsup/bin.
The latest version of the LP proof assistant is called LP, and also lives in /usr/unsup/bin.
You can run the Larch Development Environment by using the command /usr/unsup/bin/lde.