Revision 1502 tmp/org.txm.index.rcp/src/org/txm/index/rcp/messages/messages.properties

messages.properties (revision 1502)
1 1
#TXM messages generated by the PluginMessagesManager class
2
#Thu Dec 06 14:11:46 CET 2018
2
#Thu Dec 06 15:02:43 CET 2018
3 3
computingIndex=Computing index…
4 4
indexOfInfP0SupWithPropertyColonP1InTheCorpusColonP2=Index of the query <{0}> with property {1} in the {2} corpus.
5 5
indexOfInfP0SupWithPropertyColonP1InThePartitionColonP2=Index of the query <{0}> with property {1} in the {2} partition.

Also available in: Unified diff