+## Revision 1.6 1999/11/11 17:47:34 mdw
+## Updates for new configuration system, and `mptypes' generator.
+##
+## Revision 1.7 1999/11/11 19:01:02 mdw
+## Use `libtool' to generate a shared library.
+##
+## Revision 1.6 1999/11/11 17:47:34 mdw
+## Updates for new configuration system, and `mptypes' generator.
+##
+## Revision 1.5 1999/11/11 00:59:17 mdw
+## Minor reformatting.
+##
+## Revision 1.4 1999/10/24 10:20:36 mdw
+## Modify for standalone distribution. The library's getting far too large
+## to be sensibly embedded in other programs.
+##
+## Revision 1.3 1999/10/24 10:04:26 mdw
+## Install headers in the right directory.