Statistics
| Revision:

root / tmp / org.txm.index.rcp / src / org / txm / index / rcp / messages / messages.properties @ 1502

History | View | Annotate | Download (745 Bytes)

1
#TXM messages generated by the PluginMessagesManager class
2
#Thu Dec 06 15:02:43 CET 2018
3
computingIndex=Computing index…
4
indexOfInfP0SupWithPropertyColonP1InTheCorpusColonP2=Index of the query <{0}> with property {1} in the {2} corpus.
5
indexOfInfP0SupWithPropertyColonP1InThePartitionColonP2=Index of the query <{0}> with property {1} in the {2} partition.
6
index=Index
7
indexColonQueryIsEmpty=Index\: query is empty.
8
openingIndexResults=Opening the Index
9
pageSize=Results per page
10
couldntInitializeIndexTable=**  Can not initialize the index table
11
numberOfLinesPerResultPage=Number of rows per page of results
12
openingTheIndexResults=Opening the index table
13
IndexEditor_17=
14
infos=Informations
15
failedToComputeIndex=** Failed to compute the index