Thu, 06 Oct 2011 09:50:40 -0400 |
Adam Chlipala |
Basis.null |
Mon, 26 Sep 2011 03:29:09 +0400 |
Vladimir Shabanov |
Tweaked Emacs mode to handle many "->" faster. |
Mon, 26 Sep 2011 02:54:52 +0400 |
Vladimir Shabanov |
Minor tweak to speed up Emacs mode. |
Fri, 23 Sep 2011 23:11:59 -0500 |
Austin Seipp |
Add an URWEB_PQ_CON environment variable, which overrides the PostgreSQL connection string. |
Thu, 22 Sep 2011 09:51:06 -0400 |
Adam Chlipala |
Resugar tag names before printing parse errors |
Sat, 17 Sep 2011 13:10:20 -0400 |
Adam Chlipala |
Return to working version mode |
Sat, 17 Sep 2011 13:03:17 -0400 |
Adam Chlipala |
New release |
Mon, 12 Sep 2011 00:43:41 +0400 |
Vladimir Shabanov |
Added 'target' attribute for 'a' tag. |
Sun, 11 Sep 2011 14:14:49 -0400 |
Adam Chlipala |
New Basis functions: preventDefault and stopPropagation (code contributed by Vladimir Shabanov) |
Sun, 11 Sep 2011 11:37:26 -0400 |
Adam Chlipala |
Disable C optimization in debug mode |
Sat, 03 Sep 2011 12:56:05 -0400 |
Adam Chlipala |
Switch type of 'for' attribute |
Sat, 03 Sep 2011 12:51:05 -0400 |
Adam Chlipala |
An abstract type of IDs |
Sat, 03 Sep 2011 11:48:12 -0400 |
Adam Chlipala |
New client-side, document-level event handlers |
Sat, 03 Sep 2011 08:57:13 -0400 |
Adam Chlipala |
Better detection of type class witnesses in local bindings |
Sun, 28 Aug 2011 19:32:20 -0400 |
Adam Chlipala |
Even gentler handling of back-button returns to pages with stale message-passing credentials |