Mercurial > urweb
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 |
Fri, 24 Apr 2015 07:43:22 -0400 | Julian Squires | Use hyperref in manual |
Thu, 23 Apr 2015 16:37:15 -0400 | Istvan Chung | Fix missing SQL name-mangling in table initialization |