+ * Revision 1.6 2004/06/07 18:10:06 aleph
+ * Remove free pool of timers; use user-provided Timer structure instead
+ *
+ * Revision 1.5 2004/06/07 15:54:23 aleph
+ * Update to new event.h naming
+ *
+ * Revision 1.4 2004/06/06 16:09:22 bernie
+ * Reformat (from project_ks).
+ *