Wed, 28 Dec 2011 10:30:37 -0500 |
Adam Chlipala |
More about the JavaScript FFI in the manual |
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 |