| Sun, 10 May 2015 12:13:12 -0400 |
Adam Chlipala |
Make naughtyDebug use protocol-specific logging |
| Mon, 04 May 2015 14:35:07 -0400 |
Julian Squires |
Fix XML indentation in Emacs mode |
| Tue, 05 May 2015 14:03:06 -0400 |
Julian Squires |
Treat "style" as starting an expression in urweb-mode |
| Mon, 04 May 2015 16:15:01 -0400 |
Julian Squires |
Add urweb-mode command to close current XML tag |
| Fri, 24 Apr 2015 16:21:55 -0400 |
Julian Squires |
Allow URIs specified in file directives implicitly |
| Mon, 04 May 2015 13:22:29 -0400 |
Julian Squires |
Add fieldset and legend tags |
| Sun, 03 May 2015 09:40:13 -0400 |
Adam Chlipala |
Set dummy header lookup function in static.c |
| Fri, 24 Apr 2015 10:01:56 -0400 |
Adam Chlipala |
Ignore manual.out |
