Wed, 12 Dec 2012 16:42:15 -0500 |
Adam Chlipala |
Autogenerate some files |
Wed, 12 Dec 2012 14:47:06 -0500 |
Jason Gross |
Add ./configure MLTONARGS option for MLTON arguments |
Tue, 11 Dec 2012 15:58:23 -0500 |
Adam Chlipala |
Ignore polymorphism in JavaScript calls to custom FFI functions, allowing a kind of simple dynamic typing (unsafe, of course) |
Fri, 30 Nov 2012 10:02:13 -0500 |
Adam Chlipala |
add Placeholder attribute to <password>; change <textbox> code generation to set 'type' to 'text' |
Fri, 30 Nov 2012 09:50:00 -0500 |
Adam Chlipala |
Fix generation of timestamp literals for MySQL and SQLite |
Wed, 28 Nov 2012 16:56:45 -0500 |
Adam Chlipala |
Allow any FFI module to declare new HTML tags |
Wed, 28 Nov 2012 11:45:46 -0500 |
Adam Chlipala |
Rename Basis.exp to Basis.pow, to avoid confusion with 'expression'; add a test case for it |
Wed, 28 Nov 2012 11:41:54 -0500 |
Austin Seipp |
Standard library additions: Option.unsafeGet, Basis.exp |
Wed, 28 Nov 2012 11:39:38 -0500 |
Austin Seipp |
Fix broken implementation of 'urweb daemon stop' |
Mon, 22 Oct 2012 01:49:22 +0400 |
Vladimir Shabanov |
Removed unused parent() function which conflicts with window.parent. |
Sat, 20 Oct 2012 13:51:46 -0400 |
Adam Chlipala |
Switch linker order |
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 |
Thu, 30 Aug 2012 17:58:37 +0400 |
Vladimir Shabanov |
Minor js optimizations. |
Thu, 30 Aug 2012 17:04:30 +0400 |
Vladimir Shabanov |
Removed setting of ignored XMLHttpRequest headers. |
Thu, 30 Aug 2012 17:00:18 +0400 |
Vladimir Shabanov |
Fixed memory leak in dynClass |
Wed, 22 Aug 2012 08:46:32 -0400 |
Adam Chlipala |
show_sql_query |
Sat, 18 Aug 2012 13:57:48 -0400 |
Adam Chlipala |
Add list of files to new error message |
Sat, 18 Aug 2012 13:51:41 -0400 |
Adam Chlipala |
Better error message for funky command lines |
Tue, 07 Aug 2012 10:02:19 -0400 |
Adam Chlipala |
Return to working version mode |
Tue, 07 Aug 2012 09:41:02 -0400 |
Adam Chlipala |
New release |
Sun, 05 Aug 2012 17:11:39 -0400 |
Adam Chlipala |
Revert last changeset for now; needs more thought |
Sun, 05 Aug 2012 14:55:28 -0400 |
Adam Chlipala |
Tweaking treatment of function application: substitute or introduce a 'let'? |
Fri, 03 Aug 2012 12:39:04 -0400 |
Adam Chlipala |
Back out last change and pursue a different fix, based on explicitly aborting script execution at times when we don't expect scripts to run |
Fri, 03 Aug 2012 08:38:47 -0400 |
Adam Chlipala |
Undo change to script evaluation, originally made to support <active> + 'giveFocus'; alternate approach to making 'giveFocus' work in dynamic code generatione |
Fri, 03 Aug 2012 08:32:03 -0400 |
Adam Chlipala |
Fix some unportable uses of C character class functions |
Thu, 02 Aug 2012 18:12:37 -0400 |
Adam Chlipala |
New NameJs phase, still needing some debugging |
Thu, 02 Aug 2012 16:33:25 -0400 |
Adam Chlipala |
Basis.getenv |
Sun, 29 Jul 2012 12:54:17 -0400 |
Adam Chlipala |
Removed evaluation of js function name strings. (from Vladimir Shabanov) |
Sun, 29 Jul 2012 12:27:13 -0400 |
Adam Chlipala |
Remove 'class' declaration; now use 'con' instead |
Thu, 26 Jul 2012 10:04:58 -0400 |
Adam Chlipala |
Remove misguided type class optimization |
Wed, 25 Jul 2012 14:04:59 -0400 |
Adam Chlipala |
Allow type class instances with hypotheses via local ('let') definitions |
Wed, 25 Jul 2012 08:20:15 -0400 |
Adam Chlipala |
Change 'spawn' implementation to allow blocking within <active code> |
Tue, 24 Jul 2012 19:49:50 -0400 |
Adam Chlipala |
Fix JavaScript implementation of strcspn() |
Mon, 23 Jul 2012 09:03:41 -0400 |
Adam Chlipala |
Disallow suspending operations in <active code={...}> |
Mon, 23 Jul 2012 08:38:39 -0400 |
Adam Chlipala |
Add more global mouse event hooks |
Sun, 22 Jul 2012 09:42:17 -0400 |
Adam Chlipala |
Nicer <active> semantics |
Sat, 21 Jul 2012 21:07:15 -0400 |
Adam Chlipala |
Fix bug in handling of event attributes within client-side widgets |
Sat, 21 Jul 2012 15:34:07 -0400 |
Adam Chlipala |
Get regular forms working again |
Sat, 21 Jul 2012 15:16:57 -0400 |
Adam Chlipala |
Top.postFields |
Sat, 21 Jul 2012 13:55:35 -0400 |
Adam Chlipala |
<active> |
Sat, 21 Jul 2012 11:59:41 -0400 |
Adam Chlipala |
Basis.giveFocus |
Sat, 21 Jul 2012 10:12:35 -0400 |
Adam Chlipala |
Update demo code for key/mouse handler change |
Sat, 21 Jul 2012 10:02:53 -0400 |
Adam Chlipala |
New event records for key and mouse handlers |