log doc/manual.tex

age author description
Thu, 05 Mar 2015 15:05:53 -0500 Adam Chlipala Document hexadecimal literals
Thu, 05 Mar 2015 14:58:34 -0500 Adam Chlipala Document new infix operators
Thu, 22 Jan 2015 11:00:17 -0500 Adam Chlipala Reference manual: fix rendering of field removal operators
Tue, 23 Dec 2014 12:24:38 -0500 Adam Chlipala New antiquote syntax for ORDER BY
Sun, 16 Nov 2014 14:02:17 -0500 Adam Chlipala Make 'required' and 'autofocus' attributes Boolean; add a syntax extension for parsing their usual HTML syntax
Fri, 01 Aug 2014 11:43:44 -0400 Adam Chlipala 'aria-*' attributes
Thu, 31 Jul 2014 09:56:41 -0400 Adam Chlipala New .urp directive: file