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 |
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 |