]> matita.cs.unibo.it Git - helm.git/blob - helm/hxsp/config
1. change_tac moved from PrimitiveTactics to ReductionTactics
[helm.git] / helm / hxsp / config
1 ########################################################################
2 ########################################################################
3 #
4 # Main config file for hxsp
5 # Author: Alessandro Barzanti (barzu@libero.it)
6 #
7 ########################################################################
8 ########################################################################
9
10 ########################################################################
11 # Working path of hxsp
12 ########################################################################
13 #working_path  = helm/puwobo
14 working_path  = helm/uwobo
15 #working_path  = helm/hxsp
16
17 ########################################################################
18 # Port to use for hxsp
19 ########################################################################
20 port = 8080
21
22 ########################################################################
23 # Interface language
24 ########################################################################
25 language = IT
26 #language = EN
27
28 ########################################################################
29 # Use complete command description on syntax error if ON
30 ########################################################################
31 all_usage_synerr = OFF
32 #all_usage_synerr = ON
33
34 ########################################################################
35 # Include XIncludes on the fly if ON
36 ########################################################################
37 expand_xinc = OFF
38 #expand_xinc = ON
39
40 ########################################################################
41 # Max Depth of the DOM tree while parsing
42 ########################################################################
43 max_depth = 1000
44
45 ########################################################################
46 ########################################################################
47 ########################################################################