]> matita.cs.unibo.it Git - helm.git/blob - helm/hxsp/msg/message.it
ocaml 3.09 transition
[helm.git] / helm / hxsp / msg / message.it
1 ########################################################################
2 ########################################################################
3 #
4 # Interface messages config file in IT 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  = utilizzo:<BR>{URL}/help
20
21 ########################################################################
22 # Message sent after add syntax errors if "all_usage_synerr" is set OFF
23 ########################################################################
24 add_usage   = utilizzo:<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 =  utilizzo:<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      = utilizzo:<BR>{URL}/list
35
36 ########################################################################
37 # Message sent after reload syntax errors if "all_usage_synerr" is set OFF
38 ########################################################################
39 reload_usage = utilizzo:<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  = utilizzo:<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 = utilizzo:<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} attivo</h1><BR>
63
64 ########################################################################
65 # Message sent when hxsp was called with the help command
66 ########################################################################
67 help_message = <h1>hxsp v{VER} attivo</h1><BR>
68
69 ########################################################################
70 # Message sent when a stylesheet is added
71 ########################################################################
72 s_add = lo stylesheet con chiave: {KEY} e uri: {URI} è stato caricato con successo
73
74 ########################################################################
75 # Message sent when a stylesheet is reloaded
76 ########################################################################
77 s_reload = lo stylesheet con chiave: {KEY} e uri: {URI} è stato ricaricato con successo
78
79 ########################################################################
80 # Message sent when a stylesheet is removed
81 ########################################################################
82 s_remove = lo stylesheet con chiave: {KEY} e uri: {URI} è stato rimosso
83
84 ########################################################################
85 # Message to print the stylesheet status for list command
86 ########################################################################
87 list = lo stylesheet con chiave: {KEY} e uri: {URI} è presente nel sistema
88
89 ########################################################################
90 # Message sent when the list command was called
91 # and there is no stylesheet loaded
92 ########################################################################
93 empty = non è ancora stato caricato nessuno stylesheet
94
95 ########################################################################
96 ########################################################################