+ * Revision 1.13 1995-08-15 11:16:39 quinn
+ * Fixed pretty-printers.
+ * CV:e ----------------------------------------------------------------------
+ * CV:e ----------------------------------------------------------------------
+ *
+ * Revision 1.12 1995/06/19 12:38:47 quinn