Overview
| Comment: | file_streams: new package for a simple mix-in of stream and file |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
3deed330501486dba8ca13ecd3e4963d |
| User & Date: | nat on 2015-01-23 22:48:02 |
| Other Links: | manifest | tags |
Context
|
2015-02-17
| ||
| 23:33 | s_expressions-printers-pretty: make ancestry of Stream_Parser public check-in: a6a5d38d6f user: nat tags: trunk | |
|
2015-01-23
| ||
| 22:48 | file_streams: new package for a simple mix-in of stream and file check-in: 3deed33050 user: nat tags: trunk | |
|
2015-01-16
| ||
| 22:10 | tools: new "timekey" too to provide a CLI interface to Natools.Time_Keys check-in: 25d22b98f4 user: nat tags: trunk | |
Changes
Added src/natools-file_streams.adb version [751c1d54f1].
Added src/natools-file_streams.ads version [ec65d7c490].