Natools

Tags and Properties
Login

Tags and Properties for Check-in bfb15a00ff

Context
2015-08-26
17:27
constant_indefinite_ordered_maps: work around a regression in newer GNAT versions

For some reason GNAT 5.2 can't find Constant_Reference anymore, so creating new primitive functions so user-defined indexing still works. check-in: bfb15a00ff user: nat tags: trunk

2011-11-25
08:20
initial empty check-in check-in: 2c7b162182 user: nat tags: trunk