| Tue, 27 Dec 2011 16:20:48 -0500 |
Adam Chlipala |
'dynClass' pseudo-attribute |
| 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 |
