+ * Revision 1.3 2000/06/17 10:45:21 mdw
+ * Typesetting fixes. Advertise random number generator strength. Use
+ * secure arena for memory allocation.
+ *
+ * Revision 1.2 1999/12/13 15:34:01 mdw
+ * Add support for seeding from a generic pseudorandom source.
+ *