+## 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.