Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
History of the file that is called src/natools-references-pools.adb at check-in d7573547c06bc8e4
|
2014-08-26
| ||
| 20:50 | Added: references-pools: new package that provides a task-safe pool of references file: [0b765e01db] check-in: [f530098004] user: nat branch: trunk, size: 8144 | |