Updated doxygen documentation, revised copyright stuff
diff --git a/contiki/ctk/ctk.c b/contiki/ctk/ctk.c
index 1d0bc11..1d5076f 100644
--- a/contiki/ctk/ctk.c
+++ b/contiki/ctk/ctk.c
@@ -1,11 +1,13 @@
 /**
  * \file
- * The Contiki Toolkit, CTK, the Contiki GUI.
+ * The Contiki Toolkit CTK, the Contiki GUI.
  * \author Adam Dunkels <adam@dunkels.com>
  *
  * The Contiki Toolkit (CTK) provides the graphical user interface for
  * the Contiki system.
  *
+ *
+ *
  * 
  */
 
@@ -40,7 +42,7 @@
  *
  * This file is part of the "ctk" console GUI toolkit for cc65
  *
- * $Id: ctk.c,v 1.31 2003/08/31 22:17:09 adamdunkels Exp $
+ * $Id: ctk.c,v 1.32 2003/09/02 21:47:27 adamdunkels Exp $
  *
  */
 
@@ -106,20 +108,22 @@
   /** Emitted when a widget is activated (pressed). A pointer to the
       widget is passed as signal data. */
   ctk_signal_widget_activate,
-  /** Same as ctk_signal_widget_activate. */
+  
+  /** \deprecated Same as ctk_signal_widget_activate. */
   ctk_signal_button_activate,
 
   /** Emitted when a widget is selected. A pointer to the widget is
       passed as signal data. */
   ctk_signal_widget_select,
-  /** Same as ctk_signal_widget_select. */  
+  
+  /** \deprecated Same as ctk_signal_widget_select. */  
   ctk_signal_button_hover,
 
   /** Emitted when a hyperlink is activated. The signal is broadcast
       to all listeners. */
   ctk_signal_hyperlink_activate,
 
-  /** Same as ctk_signal_widget_select.. */  
+  /** \deprecated Same as ctk_signal_widget_select.. */  
   ctk_signal_hyperlink_hover,
 
   /** Emitted when a menu item is activated. The number of the menu