Overview
| Comment: | time_keys: new package that provides short printable chronological keys |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
0ca258c8c8e9900547fc9515f4c7c3ce |
| User & Date: | nat on 2015-01-14 20:55:26 |
| Other Links: | manifest | tags |
Context
|
2015-01-15
| ||
| 22:48 | time_keys-tests: almost-fully covering test suite for time keys check-in: 79433e4065 user: nat tags: trunk | |
|
2015-01-14
| ||
| 20:55 | time_keys: new package that provides short printable chronological keys check-in: 0ca258c8c8 user: nat tags: trunk | |
|
2014-12-15
| ||
| 22:40 | constant_indefinite_ordered_map_tests: add a fully-covering test of the new range iterator feature check-in: 98083b9906 user: nat tags: trunk | |
Changes
Added src/natools-time_keys.adb version [b24ddd3065].
Added src/natools-time_keys.ads version [fbf3e16aff].