Overview
| Comment: | smaz_generic-tools: new version of Worst_Index limited to a range |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
579aa9f314d0ed28c5c7b4b79f6e5387 |
| User & Date: | nat on 2017-05-15 21:34:37 |
| Other Links: | manifest | tags |
Context
|
2017-05-16
| ||
| 21:25 | smaz-tools: new version of Worst_Index limited to a range check-in: 5388213f83 user: nat tags: trunk | |
|
2017-05-15
| ||
| 21:34 | smaz_generic-tools: new version of Worst_Index limited to a range check-in: 579aa9f314 user: nat tags: trunk | |
|
2017-05-14
| ||
| 20:16 | tools/smaz: implement forced words for unoptimized dictionary generation check-in: bb325e8d12 user: nat tags: trunk | |
Changes
Modified src/natools-smaz_generic-tools.adb from [6d6d345c58] to [ec9ad0d224]. [diff]
Modified src/natools-smaz_generic-tools.ads from [af4ec8d531] to [438eb41516]. [diff]