Rev 14268 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 14268 | Rev 15230 | ||
|---|---|---|---|
| Line 8... | Line 8... | ||
| 8 | !set wims_name_addglossary=Insert in a glossary |
8 | !set wims_name_addglossary=Insert in a glossary |
| 9 | !set name_insert=You want to insert the entry |
9 | !set name_insert=You want to insert the entry |
| 10 | !set name_parm=with the initialization parameters |
10 | !set name_parm=with the initialization parameters |
| 11 | 11 | ||
| 12 | !set name_endadd=!nosubst The <span class="wims_mod_title">$title</span>\ |
12 | !set name_endadd=!nosubst The <span class="wims_mod_title">$title</span>\ |
| 13 | resource has been successfully inserted |
13 | resource has been successfully inserted into$ the glossary |
| 14 | !set name_endmod=!nosubst Modification on glossary $gl\ |
14 | !set name_endmod=!nosubst Modification on glossary $gl\ |
| 15 | (<span class="wims_mod_title">$title</span>) done |
15 | (<span class="wims_mod_title">$title</span>) done |
| 16 | 16 | ||
| 17 | !set name_endmod2=!nosubst Resource <span class="wims_mod_title">$title</span>\ |
17 | !set name_endmod2=!nosubst Resource <span class="wims_mod_title">$title</span>\ |
| 18 | could not be inserted because it already existed. |
18 | could not be inserted because it already existed. |