log

age author description
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
Wed, 18 Jul 2012 17:29:13 -0400 Adam Chlipala Support fancy expressions in module-level 'val' declarations
Fri, 13 Jul 2012 09:01:01 -0400 Adam Chlipala Change propagation of source value to textarea
Sat, 23 Jun 2012 10:11:33 -0400 Adam Chlipala Flush elaboration cache when switching between .urp files
Sat, 23 Jun 2012 09:46:40 -0400 Adam Chlipala HTTP daemons now take '-a' option to set IP address to listen on
Sun, 03 Jun 2012 11:29:31 -0400 Adam Chlipala Lighter-weight encoding of window function use
Sat, 02 Jun 2012 16:47:09 -0400 Adam Chlipala Partitioning and ordering for window functions
Sat, 02 Jun 2012 16:00:50 -0400 Adam Chlipala Compiled a window function use
Sat, 02 Jun 2012 15:35:58 -0400 Adam Chlipala Track whether SQL expressions may use window functions, in preparation for actual window function support
Sat, 02 Jun 2012 10:54:49 -0400 Adam Chlipala Avoid redundant rollbacks
Sat, 26 May 2012 09:16:14 -0400 Adam Chlipala Proper error messages for missing source files
Sat, 19 May 2012 12:12:54 -0400 Adam Chlipala Return to working version mode
Sat, 19 May 2012 11:46:29 -0400 Adam Chlipala New release
Sat, 19 May 2012 11:38:14 -0400 Adam Chlipala More manual detail on registering error handlers
Sat, 19 May 2012 11:32:24 -0400 Adam Chlipala Merge
Sat, 19 May 2012 11:32:12 -0400 Adam Chlipala Some standard library additions from Edward Z. Yang