--- a/jv_libgdbs.st	Wed Jun 18 07:54:03 2014 +0100
+++ b/jv_libgdbs.st	Wed Jun 18 10:50:49 2014 +0100
@@ -73,21 +73,31 @@
         GDBInternalPipeStream
         GDBLauncher
         GDBObject
+        GDBObjectDescriptor
+        GDBObjectDescriptorError
         GDBPTY
+        GDBPropertyDescriptor
         #'jv_libgdbs'
         GDB
         GDBAsyncEvent
         GDBCLICommand
         GDBCommandEvent
         GDBCommandResultEvent
+        GDBCompoundPropertyDescriptor
         GDBDriver
+        GDBEnumPropertyDescriptor
         GDBInternalEvent
         GDBMICommand
         GDBParser
+        GDBPrimitivePropertyDescriptor
         GDBStreamOutputEvent
+        GDBAddressPropertyDescriptor
+        GDBBooleanPropertyDescriptor
         GDBConsoleOutputEvent
         GDBExecutionEvent
         GDBExitEvent
+        GDBIntegerPropertyDescriptor
+        GDBListPropertyDescriptor
         GDBLogOutputEvent
         #'GDBMI_ada_task_info'
         #'GDBMI_add_inferior'
@@ -199,7 +209,9 @@
         #'GDBMI_var_show_format'
         #'GDBMI_var_update'
         GDBNotificationEvent
+        GDBObjectPropertyDescriptor
         GDBStatusEvent
+        GDBStringPropertyDescriptor
         GDBTargetOutputEvent
         GDBBreakpointCreatedEvent
         GDBBreakpointDeletedEvent