Overview
Comment: | s_expressions-printers-pretty: make ancestry of Stream_Parser public |
---|---|
Timelines: | family | ancestors | descendants | both | trunk |
Files: | files | file ages | folders |
SHA1: |
a6a5d38d6f51688fb0113a12db2758b3 |
User & Date: | nat on 2015-02-17 23:33:27 |
Other Links: | manifest | tags |
Context
2015-02-28
| ||
14:51 | constant_indefinite_ordered_maps: add constants for empty maps check-in: f17f93813b user: nat tags: trunk | |
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 | |
Changes
Modified src/natools-s_expressions-printers-pretty.ads from [601d499607] to [b0075c596a]. [diff]