log

age author description
Fri, 24 Apr 2015 10:01:56 -0400 Adam Chlipala Ignore manual.out
Fri, 24 Apr 2015 07:51:47 -0400 Julian Squires Allow file directives to contain slashes