X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fhbugs%2Ftest%2FHBUGS_MESSAGES.xml;fp=helm%2Focaml%2Fhbugs%2Ftest%2FHBUGS_MESSAGES.xml;h=0000000000000000000000000000000000000000;hb=1696761e4b8576e8ed81caa905fd108717019226;hp=cf15dde3d39e89ea612020fad0623b784a5d545b;hpb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;p=helm.git

diff --git a/helm/ocaml/hbugs/test/HBUGS_MESSAGES.xml b/helm/ocaml/hbugs/test/HBUGS_MESSAGES.xml
deleted file mode 100644
index cf15dde3d..000000000
--- a/helm/ocaml/hbugs/test/HBUGS_MESSAGES.xml
+++ /dev/null
@@ -1,144 +0,0 @@
-<test>
-
-    <!-- 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'> <!-- new state received -->
-    <gTopLevelStatus>
-      <CurrentGoal>0</CurrentGoal>
-      <ConstantType>
-      </ConstantType>
-      <CurrentProof>
-      </CurrentProof>
-    </gTopLevelStatus>
-  </state_change>
-
-  <state_change id='client_id'> <!-- no state received: proof is completed -->
-    <gTopLevelStatus />
-  </state_change>
-
-  <wow id="client_id" />
-
-    <!-- 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_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>
-      <ring />
-    </eureka>
-  </musing_completed>
-
-  <musing_completed id='tutor_id' musing_id='musing_id'>
-    <eureka>
-      <hints>
-        <ring />
-        <fourier />
-      </hints>
-    </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'>
-    <ring />
-  </hint>
-
-  <hint id='broker_id'>
-    <hints>
-      <ring />
-      <fourier />
-    </hints>
-  </hint>
-
-    <!-- broker -> tutor -->
-
-  <tutor_registered id='broker_id' />
-
-  <tutor_unregistered id='broker_id' />
-
-  <start_musing id='broker_id'>
-    <gTopLevelStatus>
-      <CurrentGoal>0</CurrentGoal>
-      <ConstantType>
-      </ConstantType>
-      <CurrentProof>
-      </CurrentProof>
-    </gTopLevelStatus>
-  </start_musing>
-
-  <abort_musing id='broker_id' musing_id='musing_id' />
-
-  <thanks id='broker_id' musing_id='musing_id' />
-
-  <too_late id='broker_id' musing_id='musing_id' />
-
-</test>