log

age author description
Sun, 22 Nov 2015 10:09:16 -0500 Adam Chlipala New release
Sun, 22 Nov 2015 10:03:35 -0500 Adam Chlipala Make daemon mode support sharing of libraries across projects
Sun, 01 Nov 2015 17:02:16 -0500 Adam Chlipala Change behavior of SQL equality to do the intuitive thing for nullable types
Sun, 01 Nov 2015 16:33:14 -0500 Adam Chlipala After a tricky debugging session, limit visibility of type-class instances from anonymous modules
Sun, 01 Nov 2015 14:17:09 -0500 Adam Chlipala JavaScript versions of a few more functions
Sun, 01 Nov 2015 12:23:44 -0500 Adam Chlipala Better client-side error messages for RPC failures
Sun, 01 Nov 2015 11:55:01 -0500 Adam Chlipala Basis.fromMilliseconds
Sat, 31 Oct 2015 19:21:05 -0400 Adam Chlipala Remove spurious failure about reopening database connection
Sat, 31 Oct 2015 11:49:30 -0400 Adam Chlipala Monad.mapR3
Sat, 24 Oct 2015 17:23:07 -0400 Adam Chlipala More Elaborate work to avoid instantiating unification variables with out-of-scope regular variables
Sun, 18 Oct 2015 16:03:56 -0400 Adam Chlipala Allow duplicate 'file' directives if paths normalize to same value
Sun, 18 Oct 2015 14:46:50 -0400 Adam Chlipala Return to working version mode
Sun, 18 Oct 2015 14:38:20 -0400 Adam Chlipala Grandfathered into release: make urweb-mode keep working in Emacs 23
Sun, 18 Oct 2015 10:50:59 -0400 Adam Chlipala Return to working version mode
Sun, 18 Oct 2015 10:34:24 -0400 Adam Chlipala New release
Sat, 17 Oct 2015 11:31:22 -0400 Adam Chlipala Database-server reconnection for MySQL
Sat, 17 Oct 2015 11:08:12 -0400 Adam Chlipala Switching to a more dynamic method of handling database reconnection, restarting transactions
Sat, 17 Oct 2015 10:49:25 -0400 Adam Chlipala Start of support for surviving database-server restarts, for Postgres
Thu, 15 Oct 2015 07:52:37 -0400 Adam Chlipala Make urweb-mode inherit from prog-mode (contributed by Ziv Scully)
Sun, 20 Sep 2015 17:46:07 -0400 Benjamin Barenblat Use correct OpenSSL thread safety macros on OS X (closes #209)
Thu, 27 Aug 2015 16:28:45 -0400 Adam Chlipala Proper error message for excessively fancy FFI signatures
Thu, 20 Aug 2015 15:11:40 -0400 Adam Chlipala Beautify '-h' output for web servers
Wed, 19 Aug 2015 10:53:18 -0400 Adam Chlipala Return to working version mode
Wed, 19 Aug 2015 10:32:11 -0400 Adam Chlipala New release
Sat, 15 Aug 2015 08:10:20 -0400 Adam Chlipala Add LIKE to the manual
Sun, 09 Aug 2015 11:14:09 -0400 Adam Chlipala Fix termination bug in tutorial's isEven/isOdd
Thu, 06 Aug 2015 12:51:09 -0400 Adam Chlipala Add '-noEmacs' for 'make test'
Thu, 06 Aug 2015 10:15:53 -0400 Benjamin Barenblat Make OpenSSL usage thread-safe (closes #206)
Thu, 06 Aug 2015 09:57:47 -0400 Adam Chlipala Change 'make test' to work before 'make install'
Wed, 29 Jul 2015 10:08:03 -0400 Adam Chlipala Add a simple 'make test' target
Thu, 07 May 2015 16:12:06 -0400 Julian Squires Add onChange handler to radioOption
Mon, 13 Jul 2015 14:34:30 -0400 Julian Squires Allow returnBlob and redirect in static protocol
Sun, 05 Jul 2015 16:11:24 -0400 Adam Chlipala Add a missed case in CoreUtil.Exp fold
Sat, 04 Jul 2015 19:24:26 -0400 Adam Chlipala Tag NULLs with their types in SQL, to help the DBMS do type inference
Sat, 04 Jul 2015 18:44:52 -0400 Adam Chlipala Stray character in a comment
Fri, 03 Jul 2015 17:25:56 -0400 Adam Chlipala Fix a maddening bug in the comparator for Core constructors
Thu, 02 Jul 2015 13:02:37 -0400 Adam Chlipala Add HTML 'align' attribute
Thu, 02 Jul 2015 12:42:49 -0400 Adam Chlipala Allow mouse and key events for <body>
Thu, 11 Jun 2015 19:38:03 -0400 Adam Chlipala A number of bug fixes in the manual
Thu, 11 Jun 2015 19:06:32 -0400 Adam Chlipala Allow apostrophes in capitalized identifiers
Mon, 08 Jun 2015 11:11:46 -0400 Adam Chlipala Apply syntax sugar for 'class' attribute to <form> as well
Wed, 03 Jun 2015 09:55:37 -0400 Adam Chlipala Adjust new [assert] to work properly from top.ur
Wed, 03 Jun 2015 15:07:46 +0200 Gabriel Riba Faura assert function to use with location literal _LOC_
Wed, 03 Jun 2015 08:34:23 +0200 Gabriel Riba Faura location literal _LOC_
Thu, 28 May 2015 10:28:15 -0400 Adam Chlipala Remove duplicate lexer line
Thu, 28 May 2015 10:23:43 -0400 Adam Chlipala Handling overflow in integer literals (contributed by Gabriel Riba)
Wed, 20 May 2015 12:44:28 -0400 Adam Chlipala Return to working version mode
Wed, 20 May 2015 12:33:25 -0400 Adam Chlipala New release
Thu, 07 May 2015 09:50:37 -0400 Julian Squires Do not explicitly return false from onclick handler
Sun, 10 May 2015 12:56:19 -0400 Adam Chlipala Fix .sql generation to honor 'noMangleSql' in column names
Sun, 10 May 2015 12:13:12 -0400 Adam Chlipala Make naughtyDebug use protocol-specific logging
Mon, 04 May 2015 14:35:07 -0400 Julian Squires Fix XML indentation in Emacs mode
Tue, 05 May 2015 14:03:06 -0400 Julian Squires Treat "style" as starting an expression in urweb-mode
Mon, 04 May 2015 16:15:01 -0400 Julian Squires Add urweb-mode command to close current XML tag
Fri, 24 Apr 2015 16:21:55 -0400 Julian Squires Allow URIs specified in file directives implicitly
Mon, 04 May 2015 13:22:29 -0400 Julian Squires Add fieldset and legend tags
Sun, 03 May 2015 09:40:13 -0400 Adam Chlipala Set dummy header lookup function in static.c
Fri, 24 Apr 2015 10:01:56 -0400 Adam Chlipala Ignore manual.out
Fri, 24 Apr 2015 07:51:47 -0400 Julian Squires Allow file directives to contain slashes
Fri, 24 Apr 2015 07:43:22 -0400 Julian Squires Use hyperref in manual
Thu, 23 Apr 2015 16:37:15 -0400 Istvan Chung Fix missing SQL name-mangling in table initialization
Sun, 12 Apr 2015 14:28:27 -0400 Adam Chlipala Return to working version mode
Sun, 12 Apr 2015 14:19:02 -0400 Adam Chlipala New release
Tue, 07 Apr 2015 14:18:53 -0400 Ziv Scully New mouse events oncontextmenu, onmouseenter, and onmouseleave.
Sun, 08 Mar 2015 11:12:28 -0400 Adam Chlipala Make flattening of reactive HTML trees iterative instead of recursive, to avoid stack overflows
Sun, 08 Mar 2015 11:05:54 -0400 Adam Chlipala Fix dynClass JavaScript reversion
Sun, 08 Mar 2015 10:55:05 -0400 Adam Chlipala Fix interpretation of 'file' argument paths
Fri, 06 Mar 2015 09:46:21 -0500 Adam Chlipala Change MonoReduce to do fixed-pointing, since it sometimes enables more optimizations for itself (e.g., yanking lambdas out of [case]s)
Thu, 05 Mar 2015 15:05:53 -0500 Adam Chlipala Document hexadecimal literals
Thu, 05 Mar 2015 15:03:04 -0500 Adam Chlipala Hexadecimal integer literals, contributed by Gabriel Riba
Thu, 05 Mar 2015 14:58:34 -0500 Adam Chlipala Document new infix operators
Thu, 05 Mar 2015 14:50:31 -0500 Adam Chlipala Some new infix operators, contributed by Gabriel Riba
Tue, 03 Mar 2015 15:55:00 -0500 Adam Chlipala Support 'dynClass' and 'dynStyle' for <body>
Mon, 16 Feb 2015 14:52:56 -0500 Adam Chlipala Evaluate minus and times in MonoOpt
Sun, 26 Oct 2014 14:07:07 +0000 Sergey Mironov Add 'download' attribute to <a/>, part of HTML5
Sat, 14 Feb 2015 08:27:50 -0500 Adam Chlipala Return to working version mode
Sat, 14 Feb 2015 08:17:36 -0500 Adam Chlipala New release
Thu, 12 Feb 2015 15:09:26 -0500 Adam Chlipala The 2nd half of proper CSRF protection related to environment variables
Wed, 11 Feb 2015 13:12:59 -0500 Adam Chlipala An Emacs urweb-mode optimization contributed by John Wiegley
Tue, 10 Feb 2015 09:58:35 -0500 Adam Chlipala Merge
Tue, 10 Feb 2015 09:58:20 -0500 Adam Chlipala Fix resolution of 'file' paths
Thu, 05 Feb 2015 11:09:25 -0500 Adam Chlipala Treat getHeader and getenv as vectors for reading request data supplied implicitly by browsers
Sun, 01 Feb 2015 15:50:54 -0500 Adam Chlipala Don't allow singleton <button> tags
Sun, 01 Feb 2015 12:29:14 -0500 Adam Chlipala A new MonoReduce optimization for lifting 'let' out of field projection; JavaScript compilation for exponentiation
Wed, 28 Jan 2015 08:47:04 -0500 Adam Chlipala Improve wildification for records of type-class witnesses
Thu, 22 Jan 2015 11:26:24 -0500 Adam Chlipala Fix case issue in name mangling for MySQL
Thu, 22 Jan 2015 11:00:17 -0500 Adam Chlipala Reference manual: fix rendering of field removal operators
Thu, 22 Jan 2015 09:55:05 -0500 Adam Chlipala Fix a potential memory bug in fastcgi.c
Thu, 22 Jan 2015 09:46:20 -0500 Adam Chlipala Fix silly mistake from last commit; also switch away from rand() in openssl.c
Mon, 12 Jan 2015 12:02:54 -0500 Adam Chlipala Switch to using OpenSSL PRNG for the one remaining rand()
Wed, 07 Jan 2015 09:25:13 -0500 Adam Chlipala Fix arguments to PQprepare()
Sat, 03 Jan 2015 10:28:36 -0500 Adam Chlipala Return to working version mode
Sat, 03 Jan 2015 10:21:26 -0500 Adam Chlipala Fixing one small issue with changes to signature matching (grandfathered into release)
Sat, 03 Jan 2015 09:56:57 -0500 Adam Chlipala New release
Tue, 30 Dec 2014 17:02:31 -0500 Adam Chlipala Fix a bug in subsignature checking for submodules
Fri, 26 Dec 2014 12:30:22 -0500 Adam Chlipala Add to .hgignore
Thu, 25 Dec 2014 18:32:27 -0500 Adam Chlipala Client-side conversion of string to bool
Wed, 24 Dec 2014 12:35:20 -0500 Adam Chlipala Broaden handling of wildcard rewrites
Tue, 23 Dec 2014 14:41:23 -0500 Adam Chlipala List.mem
Tue, 23 Dec 2014 13:42:20 -0500 Adam Chlipala Improve wildify heuristic for finding record type-class witnesses
Tue, 23 Dec 2014 12:24:38 -0500 Adam Chlipala New antiquote syntax for ORDER BY
Tue, 23 Dec 2014 11:23:27 -0500 Adam Chlipala Another try at a proper fix for constraint matching in subsignature checking
Sun, 21 Dec 2014 13:20:11 -0500 Adam Chlipala Compatibility fix in header file
Thu, 18 Dec 2014 07:48:37 -0500 Adam Chlipala Fix XML syntax for closing <input> tags
Sat, 06 Dec 2014 15:45:41 -0500 Adam Chlipala Return to working version mode
Sat, 06 Dec 2014 15:26:56 -0500 Adam Chlipala New release
Fri, 05 Dec 2014 19:41:27 -0500 Adam Chlipala Move code from last changeset, to improve performance
Thu, 04 Dec 2014 20:22:39 -0500 Adam Chlipala In checking signature subsumption, be sure to try constraints last.
Thu, 04 Dec 2014 19:54:04 -0500 Adam Chlipala Optimizing writes of single characters
Thu, 04 Dec 2014 02:47:24 -0500 Adam Chlipala More aggressive inlining of 'let' with record literals, plus some changes to Monoization of queries, to make inlining more common
Wed, 03 Dec 2014 21:21:37 -0500 Adam Chlipala MonoOpt: remove concatenation with empty string
Wed, 03 Dec 2014 21:06:15 -0500 Adam Chlipala Some more optimization of string expressions showing up in JSON generation (Meta library)
Tue, 25 Nov 2014 08:21:09 -0500 Adam Chlipala Tiny lexer change for SML/NJ compatibility (suggested by Ziv Scully)
Sun, 16 Nov 2014 15:20:13 -0500 Adam Chlipala More HTML5 AJAX widgets
Sun, 16 Nov 2014 15:03:29 -0500 Adam Chlipala Textual HTML5 AJAX widgets
Sun, 16 Nov 2014 14:39:38 -0500 Adam Chlipala Some more HTML5 input types
Sun, 16 Nov 2014 14:16:11 -0500 Adam Chlipala More simple textual HTML5 input types
Sun, 16 Nov 2014 14:06:24 -0500 Adam Chlipala Remove 'value' attribute of <checkbox>
Sun, 16 Nov 2014 14:02:17 -0500 Adam Chlipala Make 'required' and 'autofocus' attributes Boolean; add a syntax extension for parsing their usual HTML syntax
Sun, 12 Oct 2014 10:03:36 +0000 Sergey Mironov HTML5 input attributes: placeholder, required, autofocus; email input type (without cformTag equivalent)