Overview
| Comment: | tools/smaz: use the new version of Worst_Index |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
6eaac2a01ca5beaf5afde45a9e7aa11c |
| User & Date: | nat on 2017-05-17 21:44:12 |
| Other Links: | manifest | tags |
Context
|
2017-05-18
| ||
| 21:13 | tools/smaz: implement forced words for optimized dictionary generation check-in: 014ca1d01b user: nat tags: trunk | |
|
2017-05-17
| ||
| 21:44 | tools/smaz: use the new version of Worst_Index check-in: 6eaac2a01c user: nat tags: trunk | |
|
2017-05-16
| ||
| 21:25 | smaz-tools: new version of Worst_Index limited to a range check-in: 5388213f83 user: nat tags: trunk | |
Changes
Modified tools/smaz.adb from [c932ff0009] to [e22ccc7ac2]. [diff]