X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Ftest%2FHBUGS_MESSAGES.xml;fp=helm%2Fhbugs%2Ftest%2FHBUGS_MESSAGES.xml;h=0000000000000000000000000000000000000000;hb=869549224eef6278a48c16ae27dd786376082b38;hp=f6ee8362b4d681db5f49dfa95f22a387a55d6e88;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8;p=helm.git

diff --git a/helm/hbugs/test/HBUGS_MESSAGES.xml b/helm/hbugs/test/HBUGS_MESSAGES.xml
deleted file mode 100644
index f6ee8362b..000000000
--- a/helm/hbugs/test/HBUGS_MESSAGES.xml
+++ /dev/null
@@ -1,102 +0,0 @@
-
-  <!-- general purpose -->
-
-<help />
-
-<usage>usage string</usage>
-
-<exception name='eccezione1'>corpo dell'exc</exception>
-
-  <!-- client -> broker -->
-
-<register_client id='client_id' url='client_url' />
-
-<unregister_client id='client_id' />
-
-<list_tutors id='client_id' />
-
-<subscribe id='client_id'>
-  <tutor id='tutor_id1' />
-  <tutor id='tutor_id2' />
-  <!-- .... -->
-  <tutor id='tutor_idN' />
-</subscribe>
-
-<state_change id='client_id'>
-  <!-- STATO -->
-</state_change>
-
-  <!-- tutor -> broker -->
-
-<register_tutor id='tutor_id' url='tutor_url'>
-  <hint_type>
-    <!-- HINT TYPE -->
-  </hint_type>
-  <description>
-    descrizione del tutor
-  </description>
-</register_tutor>
-
-<unregister_tutor id='tutor_id' />
-
-<musing_started id='tutor_id' musing_id='musing_id' />
-
-<musing_completed id='tutor_id' musing_id='musing_id'>
-  <!-- either -->
-  <sorry />
-
-  <!-- or -->
-  <eureka> extras </eureka>
-</musing_completed>
-
-  <!-- broker -> client -->
-
-<client_registered id='broker_id' />
-
-<client_unregistered id='broker_id' />
-
-<tutor_list id='broker_id'>
-  <tutor_dsc id='tutor_id1'> description 1 </tutor_dsc>
-  <tutor_dsc id='tutor_id2'> description 2 </tutor_dsc>
-  <!-- ... -->
-  <tutor_dsc id='tutor_idN'> description N </tutor_dsc>
-</tutor_list>
-
-<subscribed id='broker_id'>
-  <tutor_dsc id='tutor_id1'> description 1 </tutor_dsc>
-  <tutor_dsc id='tutor_id2'> description 2 </tutor_dsc>
-  <!-- ... -->
-  <tutor_dsc id='tutor_idN'> description N </tutor_dsc>
-</subscribed>
-
-<state_accepted id='broker_id'>
-  <stopped>
-    <musing id='musing_id1' />
-    <!-- ... -->
-    <musing id='musing_idN' />
-  </stopped>
-  <started>
-    <musing id='musing_id1' />
-    <!-- ... -->
-    <musing id='musing_idM' />
-  </started>
-</state_accepted>
-
-<hint id='broker_id'>
-  <!-- HINT parsata a seconda dell'hint type del tutor -->
-</hint>
-
-  <!-- broker -> tutor -->
-
-<tutor_registered id='broker_id' />
-
-<tutor_unregistered id='broker_id' />
-
-<start_musing id='broker_id'>
-  <!-- STATE -->
-</start_musing>
-
-<thanks id='broker_id' musing_id='musing_id' />
-
-<abort_musing id='broker_id' musing_id='musing_id' />
-