+ * Revision 1.14 2004/08/03 15:50:03 aleph
+ * Rename timer_tick() to timer_ticks()
+ *
+ * Revision 1.13 2004/08/02 20:20:29 aleph
+ * Merge from project_ks
+ *
+ * Revision 1.12 2004/07/30 14:34:10 rasky
+ * Vari fix per documentazione e commenti
+ * Aggiunte PP_CATn e STATIC_ASSERT
+ *