X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Ftutors%2FINDEX.xml;fp=helm%2Fhbugs%2Ftutors%2FINDEX.xml;h=7936066b28c399411778805dca8f616c2e12c9b0;hb=9ca6b45a45f1cc4cb30a4f36f9939dbedf657e6e;hp=9de3517095206c2fcfa0c598d1e8ea42f4f794af;hpb=71284ef6c56c909e7205543f3fe8b916517f79b0;p=helm.git

diff --git a/helm/hbugs/tutors/INDEX.xml b/helm/hbugs/tutors/INDEX.xml
index 9de351709..7936066b2 100644
--- a/helm/hbugs/tutors/INDEX.xml
+++ b/helm/hbugs/tutors/INDEX.xml
@@ -21,6 +21,19 @@
 -->
 
 <tutors>
+
+  <!-- DEBUGGING -->
+<!--
+  <tutor source="wait_tutor.ml">
+    <addr>127.0.0.1</addr>
+    <port>50111</port>
+    <tactic>Wait.wait_tac</tactic>
+    <hint>Hbugs_types.Use_ring_Luke</hint>
+    <hint_type>Use Ring Luke</hint_type>
+    <description>WAIT FOREVER tutor</description>
+  </tutor>
+-->
+
   <tutor source="ring_tutor.ml">
     <addr>127.0.0.1</addr>
     <port>50001</port>