Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Hilfe/ | 2017-06-07 18:40 | - | ||
corpora/ | 2017-06-07 18:40 | - | ||
repository/ | 2017-06-07 18:40 | - | ||
ExternalTools.xml | 2017-06-07 18:40 | 59 | ||
README | 2017-06-07 18:40 | 714 | ||
Salto.bat | 2017-06-07 18:40 | 107 | ||
Salto.jar | 2017-06-07 18:40 | 478K | ||
Salto.prf | 2017-06-07 18:40 | 204 | ||
Salto.properties | 2017-06-07 18:40 | 199 | ||
Salto.sh | 2017-06-07 18:40 | 123 | ||
Salto_bigmemory.bat | 2017-06-07 18:40 | 116 | ||
Salto_bigmemory.sh | 2017-06-07 18:40 | 124 | ||
Steps.xml | 2017-06-07 18:40 | 171 | ||
TigerSearch.jar | 2017-06-07 18:40 | 17M | ||
WindowsTools.xml | 2017-06-07 18:40 | 59 | ||
example_corpus.xml | 2017-06-07 18:40 | 9.3K | ||
frames.xml | 2017-06-07 18:40 | 3.0M | ||