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

diff --git a/helm/hbugs/test/messages_raw.xml b/helm/hbugs/test/messages_raw.xml
deleted file mode 100644
index 98a956cd1..000000000
--- a/helm/hbugs/test/messages_raw.xml
+++ /dev/null
@@ -1,25 +0,0 @@
-<help />
-<usage>usage string</usage>
-<exception name='eccezione1'>corpo dell'exc</exception>
-<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>
-<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_aborted id='tutor_id' musing_id='musing_id' />
-<musing_completed id='tutor_id' musing_id='musing_id'> <sorry /> </musing_completed>
-<musing_completed id='tutor_id' musing_id='musing_id'> <eureka> extras </eureka> </musing_completed>
-<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>
-<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' />