]> matita.cs.unibo.it Git - helm.git/blob - helm/hxsp/msg/message.en
ocaml 3.09 transition
[helm.git] / helm / hxsp / msg / message.en
1 ########################################################################
2 ########################################################################
3 #
4 # Interface messages config file in EN language for hxsp
5 # Author: Alessandro Barzanti (barzu@libero.it)
6 #
7 ########################################################################
8 ########################################################################
9
10 ########################################################################
11 ########################################################################
12 # usage messages
13 ########################################################################
14 ########################################################################
15
16 ########################################################################
17 # Message sent after help syntax errors if "all_usage_synerr" is set OFF
18 ########################################################################
19 help_usage  = usage:<BR> {URL}/help
20
21 ########################################################################
22 # Message sent after add syntax errors if "all_usage_synerr" is set OFF
23 ########################################################################
24 add_usage   = usage:<BR> {URL}/add?bind=<i>key</i>,<i>stylesheet</i>[&bind=<i>key</i>,<i>stylesheet</i>]*
25
26 ########################################################################
27 # Message sent after remove syntax errors if "all_usage_synerr" is set OFF
28 ########################################################################
29 remove_usage = usage:<BR> {URL}/remove[?keys=<i>key_1,...,key_n</i>]
30
31 ########################################################################
32 # Message sent after list syntax errors if "all_usage_synerr" is set OFF
33 ########################################################################
34 list_usage  = usage:<BR> {URL}/list
35
36 ########################################################################
37 # Message sent after reload syntax errors if "all_usage_synerr" is set OFF
38 ########################################################################
39 reload_usage =usage:<BR> {URL}/reload[?keys=<i>key_1,...,key_n</i>]
40
41 ########################################################################
42 # Message sent after apply syntax errors if "all_usage_synerr" is set OFF
43 ########################################################################
44 apply_usage  =usage:<BR> {URL}/apply?xmluri=<i>xmldata</i>&keys=<i>key_1,...,key_n</i>[&param.<i>name</i>=<i>value</i>]*[&param.<i>key</i>.<i>name</i>=<i>value</i>]*[&amp;prop.<i>name</i>=[<i>value</i>]]*
45
46 ########################################################################
47 # Message sent after "home_message" when hxsp was called without commands
48 # and sent after "help_message" when hxsp was called with the help command
49 # and after all syntax errors if "all_usage_synerr" is set ON
50 ########################################################################
51 all_usage = usage:<BR><UL><LI>{URL}/help</LI><LI>{URL}/add?bind=<i>key</i>,<i>stylesheet</i>&bind=<i>key</i>,<i>stylesheet</i>]*</LI><LI>{URL}/remove[?keys=<i>key_1,...,key_n</i>]</LI><LI>{URL}/list</LI><LI>{URL}/reload[?keys=<i>key_1,...,key_n</i>]</LI><LI>{URL}/apply?xmluri=<i>xmldata</i>&keys=<i>key_1,...,key_n</i>[&param.<i>name</i>=<i>value</i>]*[&param.<i>key</i>.<i>name</i>=<i>value</i>]*[&amp;prop.<i>name</i>=[<i>value</i>]]*</LI></UL>
52
53 ########################################################################
54 ########################################################################
55 #operative messages
56 ########################################################################
57 ########################################################################
58
59 ########################################################################
60 # Message sent when hxsp was called without commands
61 ########################################################################
62 home_message = <h1>hxsp v{VER} active</h1><BR>
63
64 ########################################################################
65 # Message sent when hxsp was called with the help command
66 ########################################################################
67 help_message =
68
69 ########################################################################
70 # Message sent when a stylesheet is added
71 ########################################################################
72 s_add = the stylesheet with key: {KEY} and uri: {URI} was successfully loaded
73
74 ########################################################################
75 # Message sent when a stylesheet is reloaded
76 ########################################################################
77 s_reload = the stylesheet with key: {KEY} and uri: {URI} was successfully reloaded
78
79 ########################################################################
80 # Message sent when a stylesheet is removed
81 ########################################################################
82 s_remove = the stylesheet with key: {KEY} and uri: {URI} was successfully removed
83
84 ########################################################################
85 # Message to print the stylesheet status for list command
86 ########################################################################
87 list = the stylesheet with key: {KEY} and uri: {URI} was loaded
88
89 ########################################################################
90 # Message sent when the list command was called
91 # and there is no stylesheet loaded
92 ########################################################################
93 empty = there is no stylesheet loaded
94
95 ########################################################################
96 ########################################################################