log

age author description
Tue, 14 Dec 2010 10:59:17 -0500 Adam Chlipala Allow use of path variables in strings with no slashes
Tue, 14 Dec 2010 10:35:52 -0500 Adam Chlipala Bump year on LICENSE