X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhxsp%2Fconfig;fp=helm%2Fhxsp%2Fconfig;h=0000000000000000000000000000000000000000;hb=c7514aaa249a96c5fdd39b1123fbdb38d92f20b6;hp=87cd74d8a78a0124f57bc7662f5c6385540b5375;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git

diff --git a/helm/hxsp/config b/helm/hxsp/config
deleted file mode 100644
index 87cd74d8a..000000000
--- a/helm/hxsp/config
+++ /dev/null
@@ -1,47 +0,0 @@
-########################################################################
-########################################################################
-#
-# 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
-
-########################################################################
-########################################################################
-########################################################################