🚀 go-pugleaf

  A hassle in writing CLU code is the frequent need to search through the
CLU manual (appendix A in the CLU book) for the exact specifications of
some operations. Also when writing a large project in CLU, one has often
to search through one's code to find the exact parameters needed by some
procedure, or the specifications of some abstraction, etc.

  A solution to the above problems is now available: You can have the CLU
manual on-line as part of the help facility in Emacs. You can also augment
the manual with the specifications of your user defined abstractions.

  The package is available via anonymous ftp on  pion.lcs.mit.edu
(same machine that keeps the CLU source distribution) in the file
  pub/clu-manual/clu-manual.tar.Z  . A README file in the same directory
(also inside the package) describes all the features.

 In short, here is one example of using the online CLU manual (once installed
and loaded into Emacs):

  You type  		 C-h d
  Emacs prompts with	 Describe CLU symbol: 
  You type		 oneof$make_  <RETURN>
  Emacs splits your screen and gives the following help:
----------------------------------------------------------------
Operation on type class: ONEOF

 make_n_[i] = proc (e: t_[i]) returns (ot) 
   effects  Returns a oneof object with tag n_[i] and value e.
	There is a make_ operation for each selector.
 
  (  ot = oneof[n_1 : t_1, ..., n_k: t_k]  )
----------------------------------------------------------------

 Other features include help on general topics (e.g., input/output, syntax),
all the Emacs' tricks (completion, defaults, apropos, etc.), and ways to 
add (the specifications of) your CLU files into the CLU on-line manual.

Enjoy it ....

-- Boaz.

========================================================
*   Boaz Ben-Zvi   (boaz@neutron.lcs.mit.edu)          *
*   MIT: NE43-526   Tel: (617) 253-6212                *
========================================================