log doc/manual.tex

age author description
Sat, 18 Jan 2014 08:34:19 -0500 Adam Chlipala Manual: remove database version numbers from Debian package names, where possible
Thu, 09 Jan 2014 17:27:24 -0500 Adam Chlipala Add 'html5' .urp directive
Sat, 04 Jan 2014 19:02:14 -0500 Adam Chlipala noMangleSql .urp directive
Wed, 25 Dec 2013 12:02:42 -0500 Adam Chlipala Add a bit of manual clarification about channels and clients
Mon, 09 Dec 2013 17:25:53 -0500 Adam Chlipala Merge
Mon, 09 Dec 2013 15:47:14 -0500 Adam Chlipala Rename <activeHead> to <script> and make it work properly
Fri, 06 Dec 2013 08:54:03 -0500 Adam Chlipala Small reformatting and documentation for '-print-cinclude'