| 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 |
| Sun, 28 Aug 2011 17:16:54 -0400 |
Adam Chlipala |
Gentle handling of back-button returns to pages with stale message-passing credentials |
| Sun, 28 Aug 2011 14:43:30 -0400 |
Adam Chlipala |
Warn about concurrency issues with message-passing |
| Sun, 28 Aug 2011 14:01:41 -0400 |
Adam Chlipala |
Postgres deadlock triggers unlimited retry |
| Fri, 26 Aug 2011 09:51:38 -0400 |
Adam Chlipala |
Gracefully accept browser's refusal to let us set certain AJAX headers |
| Wed, 24 Aug 2011 08:18:09 -0400 |
Adam Chlipala |
Document monadic shorthands |
| Sun, 21 Aug 2011 13:41:57 -0400 |
Adam Chlipala |
Fix another list unurlification segfault bug; List.foldlMi |
| Sun, 21 Aug 2011 10:55:31 -0400 |
Adam Chlipala |
Add prototypes for [un]urlification functions |
| Sun, 21 Aug 2011 10:39:19 -0400 |
Adam Chlipala |
Fix crash in list unurlification |
| Fri, 19 Aug 2011 15:23:01 -0400 |
Adam Chlipala |
Basis.mkMonad |
| Fri, 19 Aug 2011 14:20:24 -0400 |
Adam Chlipala |
Add antiquote for ORDER BY directions |
| Fri, 19 Aug 2011 08:59:01 -0400 |
Adam Chlipala |
Add timestamps to 'app.js' filenames, to prevent inappropriate caching by browsers |
| Mon, 15 Aug 2011 12:33:28 -0400 |
Adam Chlipala |
Fix bug in JavaScript embedding of lists |
| Mon, 15 Aug 2011 11:26:10 -0400 |
Adam Chlipala |
Compiler frees as much memory as possible before passing control to C compiler |
| Mon, 15 Aug 2011 10:22:09 -0400 |
Adam Chlipala |
List.mapXi |
| Sun, 14 Aug 2011 17:39:18 -0400 |
Adam Chlipala |
Fix bug with <dyn> as first child of <table> |
| Sun, 14 Aug 2011 16:46:36 -0400 |
Adam Chlipala |
Fix list urlification |
| Sun, 14 Aug 2011 09:31:53 -0400 |
Adam Chlipala |
Remove commented-out code |
| Sat, 13 Aug 2011 00:07:28 -0430 |
Karn Kallio |
Handle case where shakeExp can remove datatype. |
| Sun, 14 Aug 2011 09:29:04 -0400 |
Adam Chlipala |
Remove some unnecessary parens |
| Fri, 12 Aug 2011 00:55:57 -0430 |
Karn Kallio |
Distribute applications of "arrow type" ECase across branches. |
