Overview
| Comment: | tools/smaz: genericize Parallel_Evaluate_Dictionary |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
79a36ec95798ba0f668463f2740ea175 |
| User & Date: | nat on 2016-12-02 21:12:32 |
| Other Links: | manifest | tags |
Context
|
2016-12-03
| ||
| 22:29 | tools/smaz: genericize Evaluate_Dictionary check-in: bc86bc41ee user: nat tags: trunk | |
|
2016-12-02
| ||
| 21:12 | tools/smaz: genericize Parallel_Evaluate_Dictionary check-in: 79a36ec957 user: nat tags: trunk | |
|
2016-12-01
| ||
| 20:10 | tools/smaz: refactor dictionary processing in a dedicated procedure check-in: ef7006737f user: nat tags: trunk | |
Changes
Modified tools/smaz.adb from [d614874f0e] to [876acf9894]. [diff]