]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/hxsp/config
First version of hxsp (new version of UWOBO implemented in Perl by
[helm.git] / helm / hxsp / config
diff --git a/helm/hxsp/config b/helm/hxsp/config
new file mode 100644 (file)
index 0000000..87cd74d
--- /dev/null
@@ -0,0 +1,47 @@
+########################################################################
+########################################################################
+#
+# Main config file for hxsp
+# Author: Alessandro Barzanti (barzu@libero.it)
+#
+########################################################################
+########################################################################
+
+########################################################################
+# Working path of hxsp
+########################################################################
+#working_path  = helm/puwobo
+working_path  = helm/uwobo
+#working_path  = helm/hxsp
+
+########################################################################
+# Port to use for hxsp
+########################################################################
+port = 8080
+
+########################################################################
+# Interface language
+########################################################################
+language = IT
+#language = EN
+
+########################################################################
+# Use complete command description on syntax error if ON
+########################################################################
+all_usage_synerr = OFF
+#all_usage_synerr = ON
+
+########################################################################
+# Include XIncludes on the fly if ON
+########################################################################
+expand_xinc = OFF
+#expand_xinc = ON
+
+########################################################################
+# Max Depth of the DOM tree while parsing
+########################################################################
+max_depth = 1000
+
+########################################################################
+########################################################################
+########################################################################