| Tue, 25 Sep 2012 08:29:27 -0400 |
Adam Chlipala |
Return to working version mode |
| Tue, 25 Sep 2012 08:16:58 -0400 |
Adam Chlipala |
New release |
| Sun, 23 Sep 2012 20:47:20 -0500 |
Austin Seipp |
Fix compilation when using Clang on OS X; it doesn't like -pthread |
| Wed, 19 Sep 2012 18:01:22 -0400 |
Adam Chlipala |
Paranoid inlining prevention for FFI types at the Core level; less paranoid inlining promotion for passive values at the Mono level |
| Wed, 19 Sep 2012 14:36:12 -0400 |
Adam Chlipala |
Merge |
| Wed, 19 Sep 2012 14:20:47 -0400 |
Adam Chlipala |
Edward Z. Yang's patch to avoid repeating linker arguments |
| Sun, 16 Sep 2012 08:31:54 -0400 |
Adam Chlipala |
Better error message about signals remaining in server-side code |
| Fri, 14 Sep 2012 07:35:48 -0400 |
Adam Chlipala |
Reduce default inlining thresholds; improve a let-substitution optimization to compensate |
| Fri, 14 Sep 2012 06:44:14 -0400 |
Adam Chlipala |
Merge |
| Wed, 12 Sep 2012 19:49:02 +0400 |
Vladimir Shabanov |
Fixed HTTP date format and added Cache-Control to app.js |
| Sun, 05 Aug 2012 14:55:28 -0400 |
Adam Chlipala |
Tweaking treatment of function application: substitute or introduce a 'let'? |
| Tue, 04 Sep 2012 16:30:22 -0400 |
Adam Chlipala |
Manual addition for last changeset |
| Tue, 04 Sep 2012 03:32:59 +0400 |
Vladimir Shabanov |
Added 'coreInline' and 'monoInline' .urp options |
| Mon, 03 Sep 2012 09:51:23 -0400 |
Adam Chlipala |
Update tutorial for Ur/Web changes |
