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 |