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

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
-
-########################################################################
-########################################################################
-########################################################################