Thanks; both patches accepted. On 04/24/2015 07:55 AM, Julian Squires wrote:
Attached are two one-liner patches. One adds hyperref to the manual so that the table of contents shows up correctly in PDF readers (very handy if you spend much time jumping around in the manual as I do), the other fixes an InvalidArc exception when one gives "file" directives in one's project file that contain slashes in the local filename.
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
