Tue, 20 Dec 2011 21:06:25 -0500 |
Adam Chlipala |
Refactor HTML contexts to prevent some illegal nestings (that can crash the JavaScript runtime system) |
Tue, 20 Dec 2011 19:02:04 -0500 |
Adam Chlipala |
Redo HTML context classification, to keep regular <body> tags out of <table> and <tr> |
Sat, 17 Dec 2011 20:42:39 -0500 |
Adam Chlipala |
Manual typo fix |
Sun, 04 Dec 2011 14:40:12 -0500 |
Adam Chlipala |
timeFormat .urp directive |
Sat, 03 Dec 2011 17:07:34 -0500 |
Adam Chlipala |
New 't.*' notation for SELECT |
Thu, 24 Nov 2011 11:09:50 -0500 |
Adam Chlipala |
Mention Basis.current in manual |
Sun, 20 Nov 2011 19:22:57 -0500 |
Adam Chlipala |
More complete account of URI determination in structure section |
Sat, 19 Nov 2011 10:43:57 -0500 |
Adam Chlipala |
COALESCE |