]> matita.cs.unibo.it Git - helm.git/blob - helm/hxsp/msg/error.en
incomplete proof completed
[helm.git] / helm / hxsp / msg / error.en
1 #syntax errors
2
3 home_qs = syntax error: don't use parameters on hxsp if they aren't required by a specific command
4
5 help_qs  = syntax error: too parameters, help don't require any parameter
6
7 list_qs  = syntax error: too parameters, list don't require any parameter
8
9 add_no_bind      = syntax error: you must use the "bind" parameter
10 add_oth          = syntax error: you may use only the "bind" parameter
11 add_null_bind    = syntax error: bad bind value (NULL)
12 add_many_sep     = syntax error: bad bind value (too commas)
13 add_no_sep       = syntax error: bad bind value (no comma)
14
15 re_oth           = syntax error: you may use only the "keys" parameter
16 re_many          = syntax error: you may use only the "keys" parameter and you must use it once
17 re_null_keys     = syntax error: bad keys value (NULL)
18
19 apply_few_pars   = syntax error: xmluri and keys are both required
20 apply_oth        = syntax error:  you may use only keys, xmluri e param as parameters
21 apply_many_uri   = syntax error: you must use the xmluri parameter once
22 apply_null_uri   = syntax error: bad xmluri value (NULL)
23 apply_many_keys  = syntax error: you must use the keys parameter once
24 apply_null_keys  = syntax error: bad keys value (NULL)
25 apply_no_dots_param  = syntax error: bad param value (no dots)
26 apply_no_dots_prop  = syntax error: bad prop value (no dots)
27 apply_dots_param  = syntax error: bad param value (more than 2 dots)
28 apply_dots_prop  = syntax error: bad prop value (many dots)
29 apply_null_param = syntax error: bad param value (NULL)
30 apply_null_prop = syntax error: bad prop value (NULL)
31 apply_inv_param  = syntax error: bad param value (key not specified in the keys parameter)
32
33 #operative errors
34 add_dup_key = error in the stylesheet with key {KEY} and uri {URI}: a stylesheet with key {KEY} was already loaded use another key
35 add_dup_value = error in the stylesheet with key {KEY} and uri {URI}: the stylesheet with uri {URI} was already loaded with key {OLDKEY} use "reload" instead
36 add_xml_error = the XML parser found an error in the stylesheet with key {KEY} and uri {URI}:<br>{ERROR}
37 add_xslt_error = the XSLT parser found an error in the stylesheet with key {KEY} and uri {URI}:<br>{ERROR}
38
39 re_inv_key = the stylesheet with key {KEY} was not loaded
40 re_no_sl = there is no stylesheets loaded
41
42 apply_inv_key = the stylesheet with key {KEY} was not loaded
43 apply_xml_error = the XML parser found an error in the file {URI}:<br>{ERROR}
44 apply_xslt_error = the LibXSLT library found an error applying the stylesheet with key {KEY} and uri {URI}:<br>{ERROR}
45 apply_xslt_out_error = lthe LibXSLT library found an error creating the return file:<br>{ERROR}