From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 16 Apr 2003 12:16:27 +0000 (+0000)
Subject: no longer used (use HBUGS_MESSAGES.xml directly)
X-Git-Tag: before_refactoring~17
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=2153805fd8c6f53f2429a3c2c3fa53880de8a487

no longer used (use HBUGS_MESSAGES.xml directly)
---

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' />