NOTE-3-0

Please see note-2-9-5 for a description of changes since Version 2.9.4.
These include the new make-event feature, a soundness bug fix, an
improvement for :expandhints, evaluation in the logic by way of
:set-guard-checking :none, and many other improvements.

A very few users have contributed books following the instructions on the
web. We expect that when more contributions come in, we will give more
attention to the question of how to organize the distributed and workshop
books. For now, we have simply added the new contributions according to the
old-style distribution methodology.