added tactic and tactical (still heavily bugged!!!)

[helm.git] / helm / gTopLevel / gTopLevel.conf.xml.sample

diff --git a/helm/gTopLevel/gTopLevel.conf.xml.sample b/helm/gTopLevel/gTopLevel.conf.xml.sample
index e8f1a5c58a6e286ff44369e2a20a9399277c2ee8..8e26407e6832c7588f8ce5478ac713af31a04369 100644 (file)
--- a/helm/gTopLevel/gTopLevel.conf.xml.sample
+++ b/helm/gTopLevel/gTopLevel.conf.xml.sample
@@ -11,8 +11,12 @@
   </section>
 
   <!-- From now on it is unlikely that something needs to be changed -->
+  <section name="mathql_interpreter">
+   <key name="db_map">mathql_db_map.txt</key>
+   <key name="postgresql_connection_string">dbname=mowgli host=mowgli.cs.unibo.it user=helm password=awH21Un</key>
+  </section>
   <section name="local_library">
-    <key name="dir">file://$(users_settings_per_user_work_directory)/objects</key>
+    <key name="dir">file://$(users_settings.per_user_work_directory)/objects</key>
     <key name="url">$(local_library.dir)</key>
   </section>
   <section name="getter">