Sat, 21 Jul 2012 10:02:53 -0400 |
Adam Chlipala |
New event records for key and mouse handlers |
Fri, 13 Jul 2012 09:01:01 -0400 |
Adam Chlipala |
Change propagation of source value to textarea |
Wed, 16 May 2012 22:46:35 +0400 |
Vladimir Shabanov |
Allow RPC and run it synchronously in onunload event. |
Sun, 06 May 2012 16:08:48 -0400 |
Adam Chlipala |
Run-time CSS style validation |
Sun, 06 May 2012 15:15:46 -0400 |
Adam Chlipala |
'dynStyle' pseudo-attribute |
Fri, 16 Mar 2012 08:42:51 -0400 |
Adam Chlipala |
Change ID generation scheme to conform to HTML standards (thanks to Edward Yang for the catch) |
Wed, 14 Mar 2012 10:10:56 -0400 |
Adam Chlipala |
New JavaScript FFI function: setInnerHTML |