Natools

Tags and Properties
Login

Tags and Properties for Check-in 96a6d2d262

Context
2013-10-08
21:21
string_slices: fix Is_Subrange so that any empty range is a subrange of any range check-in: 96a6d2d262 user: nat tags: trunk
2011-11-25
08:20
initial empty check-in check-in: 2c7b162182 user: nat tags: trunk