Overview
| Comment: | smaz_tools: add a Dummy_Hash function for dictionary-specific tools |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
4aa72a0c16247eb04de5e602477289c4 |
| User & Date: | nat on 2016-11-24 21:01:05 |
| Other Links: | manifest | tags |
Context
|
2016-11-25
| ||
| 22:59 | smaz_generic-tools: new package for dictionary-dependent tools check-in: f85a938c62 user: nat tags: trunk | |
|
2016-11-24
| ||
| 21:01 | smaz_tools: add a Dummy_Hash function for dictionary-specific tools check-in: 4aa72a0c16 user: nat tags: trunk | |
|
2016-11-23
| ||
| 21:10 | smaz_tools: add a dictionary-independent version of the dynamic hashes check-in: 24c6ae742e user: nat tags: trunk | |
Changes
Modified src/natools-smaz_tools.adb from [efadc5244f] to [681b96d15c]. [diff]
Modified src/natools-smaz_tools.ads from [a9993adcc9] to [1553a02b12]. [diff]