log

age author description
Sat, 10 May 2014 20:38:13 -0400 David Snider Added HTML5 Semantic Tags
Sun, 18 May 2014 18:58:50 -0400 Adam Chlipala Change context-local memory allocation to return word-aligned addresses (based on patch by Evan Danaher)
Sun, 04 May 2014 12:33:44 -0400 Adam Chlipala Fix dynClass for non-<body> contexts
Sat, 03 May 2014 07:59:45 -0400 Adam Chlipala A .urs comment about [queryL*]
Fri, 02 May 2014 19:19:09 -0400 Adam Chlipala New lessSafeFfi
Fri, 02 May 2014 17:16:02 -0400 Adam Chlipala Monadic bind supports patterns
Fri, 02 May 2014 15:32:10 -0400 Adam Chlipala HTML5 data-* attributes
Wed, 30 Apr 2014 13:05:54 -0400 Adam Chlipala <thead>, <tbody>, <tfoot>
Tue, 29 Apr 2014 16:47:45 -0400 Adam Chlipala Allow parens grouping joins in FROM clauses
Sat, 26 Apr 2014 11:54:44 -0400 Adam Chlipala Return to working version mode
Sat, 26 Apr 2014 11:15:21 -0400 Adam Chlipala Fix a bug in GROUP BY generation [keeping within today's release]
Sat, 26 Apr 2014 09:42:35 -0400 Adam Chlipala New release
Mon, 21 Apr 2014 12:09:58 -0400 Adam Chlipala Change <active> to avoid generating an empty <span> for empty content
Thu, 17 Apr 2014 17:41:24 -0400 Adam Chlipala uw_register_transactional() can return error codes
Tue, 15 Apr 2014 19:12:49 -0400 Adam Chlipala Tweaking uw_commit() logic, partly to fix a resource clean-up bug on SQL serialization failures
Mon, 24 Feb 2014 09:10:31 +0000 Sergey Mironov Add <pre> tag support
Wed, 26 Feb 2014 09:43:47 +0000 Sergey Mironov Protect uw_Basis_new_client_source from invalid ctx->id
Wed, 26 Feb 2014 08:21:52 +0000 Sergey Mironov Define uw_loggers structure, allow FFI code to access it
Sun, 13 Apr 2014 21:36:44 -0400 Adam Chlipala Update manual inaccuracies about client-side functions
Mon, 17 Mar 2014 16:52:10 -0400 Adam Chlipala -explainEmbed
Fri, 07 Mar 2014 11:50:45 -0500 Adam Chlipala getenv calls UNIX getenv() when no special alternative is set
Tue, 04 Mar 2014 08:46:33 -0500 Adam Chlipala Change Basis.getenv to return None outside the context of a web request
Tue, 25 Feb 2014 16:34:04 -0500 Adam Chlipala Parse new bytea output format from Postgres 9.x
Thu, 20 Feb 2014 15:50:33 -0500 Adam Chlipala Tweaked parameter renaming for functors, so now demos and the original bug-triggering application work
Thu, 20 Feb 2014 10:48:17 -0500 Adam Chlipala Fixed issue with datatype constructors inside functors; now on to some problem with modules inside functors
Thu, 20 Feb 2014 10:27:15 -0500 Adam Chlipala Some more nested functor bug-fixing, including generating fresh internal names at applications; still need to debug issues with datatype constructors
Tue, 18 Feb 2014 07:07:01 -0500 Adam Chlipala Merge with small clean-ups
Mon, 17 Feb 2014 19:25:30 -0500 Patrick Hurst Closing old datetime branch.
Mon, 17 Feb 2014 19:21:46 -0500 Patrick Hurst Add Datetime JavaScript support.
Sat, 15 Feb 2014 01:04:31 -0500 Patrick Hurst Merge in upstream
Fri, 14 Feb 2014 04:00:03 -0500 Patrick Hurst Merge in upstream
Wed, 29 Jan 2014 18:29:43 -0500 Patrick Hurst Merge in upstream
Sat, 25 Jan 2014 18:15:14 -0500 Patrick Hurst Use localtime, not gmtime, for datetime functions.
Sat, 25 Jan 2014 18:13:33 -0500 Patrick Hurst Trim trailing whitespace in urweb.c.
Mon, 20 Jan 2014 04:34:42 -0500 Patrick Hurst Bare-bones Datetime JS support.
Sat, 18 Jan 2014 18:26:24 -0500 Patrick Hurst Merge in upstream changes.
Mon, 09 Dec 2013 20:41:24 -0500 Patrick Hurst Declare datetimeDayOfWeek in urweb_cpp.h.
Mon, 09 Dec 2013 19:19:12 -0500 Patrick Hurst Add datetime functions for adding time intervals.
Sun, 08 Dec 2013 13:14:58 -0500 Patrick Hurst Finish datetime -> t rename
Sun, 08 Dec 2013 03:25:31 -0500 Patrick Hurst Rename datetime type to t in the .urs file.
Sat, 07 Dec 2013 21:31:51 -0500 Patrick Hurst Add day-of-week/month <-> int conversion functions.
Thu, 05 Dec 2013 11:36:54 -0500 Patrick Hurst Day of week functions.
Thu, 05 Dec 2013 11:36:46 -0500 Patrick Hurst Basic datetime library.
Thu, 05 Dec 2013 11:36:06 -0500 Patrick Hurst Add basic year/month/day/hour/minute/second <-> time functions.
Mon, 17 Feb 2014 14:34:48 -0500 Adam Chlipala MySQL does case-sensitive catalog queries
Sat, 15 Feb 2014 10:06:18 -0500 Adam Chlipala Use neverInline in reduce
Fri, 14 Feb 2014 15:11:22 -0500 Adam Chlipala Fix a subtle renaming problem in elaborating functor applications
Sun, 09 Feb 2014 19:29:50 -0500 Adam Chlipala Merge
Sun, 09 Feb 2014 19:29:36 -0500 Adam Chlipala neverInline
Fri, 07 Feb 2014 18:34:17 -0500 Adam Chlipala Turn off GCC's fancy %n checking, because the performance cost is too high
Wed, 29 Jan 2014 18:19:25 -0500 Adam Chlipala Add another simple case for record unification between alpha-equivalent constructors
Sun, 19 Jan 2014 14:31:55 -0500 Adam Chlipala Make that purity analysis a bit more lax again
Sun, 19 Jan 2014 13:51:26 -0500 Adam Chlipala Fix a soundness bug in purity analysis (mono_reduce)
Sun, 19 Jan 2014 13:08:01 -0500 Adam Chlipala New compiler option: -stop
Sat, 18 Jan 2014 08:34:19 -0500 Adam Chlipala Manual: remove database version numbers from Debian package names, where possible
Wed, 15 Jan 2014 15:46:46 -0500 Adam Chlipala Stop quoting Postgres identifiers in 'noMangleSql' mode
Wed, 15 Jan 2014 14:54:26 -0500 Adam Chlipala Postgres: look up table names case-sensitively in catalog
Tue, 14 Jan 2014 19:22:53 -0500 Adam Chlipala MySQL: set character set when opening a new connection
Thu, 09 Jan 2014 17:27:24 -0500 Adam Chlipala Add 'html5' .urp directive
Tue, 07 Jan 2014 08:36:18 -0500 Adam Chlipala MySQL: Combine transaction setup commands into one mysql_query()
Sun, 05 Jan 2014 20:20:09 -0500 Adam Chlipala MySQL: catch deadlocks during queries
Sat, 04 Jan 2014 19:02:14 -0500 Adam Chlipala noMangleSql .urp directive
Wed, 01 Jan 2014 10:51:47 -0500 Adam Chlipala Add some URL-related benignEffectful functions
Tue, 31 Dec 2013 11:10:19 -0500 Adam Chlipala Return to working version mode
Tue, 31 Dec 2013 10:48:50 -0500 Adam Chlipala New release
Tue, 31 Dec 2013 09:34:41 -0500 Adam Chlipala Do a bit of extra userspace copying to send HTTP response with a single system call
Mon, 30 Dec 2013 11:01:42 -0500 Adam Chlipala HTTP: continue after accept() failure
Sun, 29 Dec 2013 13:18:50 -0500 Adam Chlipala Compile-time error for periodic tasks in nonpersistent protocols
Sun, 29 Dec 2013 10:29:26 -0500 Adam Chlipala Avoid some spurious error messages about link/form incompatibility; change the text of that error message to include RPC handlers
Sat, 28 Dec 2013 06:30:21 -0500 Adam Chlipala How embarrassing; didn't try compiling before committing
Sat, 28 Dec 2013 06:27:08 -0500 Adam Chlipala Make HTTP keepalive switch between available connections to improve throughput
Fri, 27 Dec 2013 12:30:44 -0500 Adam Chlipala Change where a transaction is marked finished, to avoid forgetting to rollback a failed transaction
Fri, 27 Dec 2013 12:10:03 -0500 Adam Chlipala Raise exception when recv()ing from someone else's channel; improve setting of client ID in RPCs
Wed, 25 Dec 2013 13:11:43 -0500 Adam Chlipala Tweaking handling of database transactions
Wed, 25 Dec 2013 12:02:42 -0500 Adam Chlipala Add a bit of manual clarification about channels and clients
Wed, 25 Dec 2013 11:43:41 -0500 Adam Chlipala No need to ROLLBACK after a failed COMMIT
Mon, 23 Dec 2013 15:59:17 +0000 Adam Chlipala Proper handling of serialization failures during SQL COMMIT
Tue, 17 Dec 2013 20:12:33 -0500 Adam Chlipala Fix compilation of apps that don't use database; fix HTTP pipelining
Thu, 12 Dec 2013 17:42:48 -0500 Adam Chlipala Start SQL transactions as read-only when possible, based on conservative program analysis
Thu, 12 Dec 2013 10:31:34 -0500 Adam Chlipala Only output Content-script-type header when there is client-side code
Thu, 12 Dec 2013 10:24:38 -0500 Adam Chlipala HTTP: avoid duplicate Content-length
Wed, 11 Dec 2013 18:54:42 -0500 Adam Chlipala RAND_bytes isn't thread-safe, so wrap it with a lock
Wed, 11 Dec 2013 18:22:10 -0500 Adam Chlipala Change handling of returned text blobs, to activate the normal EWrite optimizations
Wed, 11 Dec 2013 14:57:54 -0500 Adam Chlipala Fix regression in http.c for long-polling connections; add lazy initialization of database connections, to avoid the overhead in handlers that don't use SQL
Wed, 11 Dec 2013 11:06:08 -0500 Adam Chlipala Add '-q' option to HTTP binaries
Mon, 07 Oct 2013 14:08:10 +0400 Sergey Mironov Add show instance for 'id' type
Mon, 09 Dec 2013 17:25:53 -0500 Adam Chlipala Merge
Mon, 09 Dec 2013 17:23:25 -0500 Adam Chlipala Add JavaScript mappings for isprint and ord
Mon, 09 Dec 2013 15:47:14 -0500 Adam Chlipala Rename <activeHead> to <script> and make it work properly
Fri, 06 Dec 2013 14:52:47 +0400 Sergey Mironov activeHead: don't modify the head. just execute the code provided
Fri, 06 Dec 2013 13:59:39 +0400 Sergey Mironov Add activeHead tag.
Fri, 06 Dec 2013 08:54:03 -0500 Adam Chlipala Small reformatting and documentation for '-print-cinclude'
Wed, 06 Nov 2013 13:54:07 +0400 Sergey Mironov Add -print-cinlude command line option
Fri, 06 Dec 2013 08:44:26 -0500 Adam Chlipala Add 'xhead' case to Monoize
Tue, 03 Dec 2013 16:54:04 -0500 Adam Chlipala Increase precision for rendering floats to SQL
Sun, 01 Dec 2013 16:28:02 -0500 Adam Chlipala Remove extra line break for onError
Fri, 29 Nov 2013 08:12:57 -0500 Adam Chlipala Postgres: remove DML error code logging and (hopefully) fix the real problem, not checking for concurrency faults on SELECTs
Thu, 28 Nov 2013 11:06:11 -0500 Adam Chlipala Add keepalive option to the http protocol
Wed, 27 Nov 2013 15:42:24 -0500 Adam Chlipala Postgres: print SQLSTATE on DML failure, to help figure out when new special cases should be added
Wed, 27 Nov 2013 15:28:55 -0500 Adam Chlipala Add Connection and Content-length headers to raw HTTP responses
Wed, 27 Nov 2013 08:59:57 -0500 Adam Chlipala In HTTP protocol C code, increase listening socket backlog to maximum
Sun, 24 Nov 2013 10:06:37 -0500 Adam Chlipala Return to working version mode
Sun, 24 Nov 2013 09:56:50 -0500 Adam Chlipala Sneaky still-in-today's-release update of 'table' signature item handling
Sun, 24 Nov 2013 09:26:38 -0500 Adam Chlipala New release
Fri, 22 Nov 2013 09:48:16 -0500 Adam Chlipala Get SML/NJ support working again
Fri, 22 Nov 2013 09:36:14 -0500 Anders Kaseorg make dist: Use fewer wildcards
Fri, 22 Nov 2013 09:36:14 -0500 Anders Kaseorg make clean: Clean bin/mlton, src/urweb.mlton.lex,
Fri, 22 Nov 2013 09:36:14 -0500 Anders Kaseorg make uninstall: Uninstall types_cpp.h, urweb_cpp.h
Fri, 22 Nov 2013 09:36:14 -0500 Anders Kaseorg Allow building in a separate build directory
Fri, 22 Nov 2013 09:36:14 -0500 Anders Kaseorg Remove autogenerated config.h.in from version control
Fri, 22 Nov 2013 09:36:14 -0500 Anders Kaseorg xml/parse: Accept entity files on the command line
Thu, 21 Nov 2013 16:36:22 -0500 Adam Chlipala Add autogen.sh
Thu, 21 Nov 2013 15:39:45 -0500 Adam Chlipala Switch back to working version mode
Thu, 21 Nov 2013 15:23:27 -0500 Adam Chlipala Remove autogenerated files from version control
Thu, 21 Nov 2013 15:12:42 -0500 Adam Chlipala Add bin to EXTRA_DIST
Thu, 21 Nov 2013 15:08:37 -0500 Adam Chlipala Add src/c/*.h to EXTRA_DIST
Thu, 21 Nov 2013 15:06:41 -0500 Adam Chlipala Add more include files to EXTRA_DIST
Thu, 21 Nov 2013 15:04:17 -0500 Adam Chlipala Some more EXTRA_DIST
Thu, 21 Nov 2013 14:59:33 -0500 Adam Chlipala Getting more specific about 'src' in EXTRA_DIST
Thu, 21 Nov 2013 14:53:01 -0500 Adam Chlipala Experimenting with distribution via 'make dist', to allow deletion of autogenerated files from version control
Thu, 21 Nov 2013 14:36:57 -0500 Adam Chlipala Regenerate Makefile.in
Thu, 21 Nov 2013 14:32:11 -0500 Anders Kaseorg compileC: Link libraries in the right order
Thu, 21 Nov 2013 14:32:11 -0500 Anders Kaseorg Add missing inter-library dependencies
Sun, 17 Nov 2013 07:54:59 -0500 Adam Chlipala Manual: add a pointer to background reading on inference rule notation
Thu, 14 Nov 2013 06:36:36 -0500 Adam Chlipala Fix more of client-side error handlers
Thu, 14 Nov 2013 06:16:58 -0500 Adam Chlipala Fix regression in execution of 'onError' handlers
Tue, 05 Nov 2013 11:58:52 -0500 Adam Chlipala Identify more local definitions as functions that should be lifted to the top level, which has synergistic effects on inlining later
Mon, 04 Nov 2013 16:00:48 -0500 Adam Chlipala A fancier test for the new SQL constraints subtyping
Mon, 04 Nov 2013 15:14:23 -0500 Adam Chlipala Interpret 'table' signature items more flexibly, automatically adding (Ur) constraints to support a kind of subtyping over (SQL) constraint sets
Mon, 04 Nov 2013 08:38:20 -0500 Adam Chlipala Rename ListPair.map2 to ListPair.mp
Sun, 03 Nov 2013 19:27:30 -0500 Adam Chlipala ListPair.map2, based on code by escalier@riseup.net
Thu, 17 Oct 2013 09:22:38 -0400 Adam Chlipala Save disjointness environments across top-level declarations
Mon, 14 Oct 2013 08:08:57 -0400 Adam Chlipala Change Pthread thread creation logic to avoid Cygwin limitations with setting stack size
Fri, 11 Oct 2013 17:15:28 -0400 Adam Chlipala New header file scheme to support FFI code in either of C or C++ [based on suggestion by Ron de Bruijn]
Thu, 10 Oct 2013 18:31:10 -0400 Adam Chlipala Remove uw_cutErrorLocation() hijinks
Thu, 10 Oct 2013 18:04:29 -0400 Adam Chlipala Remove debug prints
Thu, 10 Oct 2013 18:01:30 -0400 Adam Chlipala Make transactional FFI functions effectful by default
Thu, 10 Oct 2013 14:48:43 -0400 Adam Chlipala Take proper account of signatures changing during page generation
Mon, 07 Oct 2013 14:08:53 +0400 Sergey Mironov Add <dl> <dt> <dd> tags
Thu, 10 Oct 2013 14:01:19 -0400 Adam Chlipala Manual entries for -ccompiler and -print-ccompiler
Mon, 07 Oct 2013 14:07:31 +0400 Sergey Mironov Add xhead type
Mon, 07 Oct 2013 14:07:06 +0400 Sergey Mironov Add <em> and <strong> tags
Wed, 18 Sep 2013 15:45:18 +0400 Sergey Mironov Add -print-ccompiler command line option
Tue, 20 Aug 2013 17:13:50 +0400 Sergey Mironov Add -ccompiler command line argument
Tue, 01 Oct 2013 07:33:20 -0400 Adam Chlipala Add monoize case for 'dml' type
Mon, 30 Sep 2013 16:37:37 -0400 Adam Chlipala Detect more SQL uses without 'database' directive
Thu, 26 Sep 2013 16:22:06 -0400 Adam Chlipala Get -root working properly again
Fri, 13 Sep 2013 10:24:10 -0400 Adam Chlipala Tweak Sergey's patch to work with Postgres
Fri, 13 Sep 2013 10:09:15 -0400 Sergey Mironov Add hex SQL syntax for blobs, such as X'0ABC12343'. Works with sqlite.
Mon, 19 Aug 2013 12:38:43 -0400 Adam Chlipala Potentially exponential search through where to head-normalize in [decompileCon]
Mon, 19 Aug 2013 12:25:32 -0400 Adam Chlipala Allow [where con] to descend within submodule structure; open submodule constraints while checking later signature items
Sat, 10 Aug 2013 10:13:40 -0400 Adam Chlipala Expand coverage of 'functionInside' for Especialize
Fri, 09 Aug 2013 16:13:44 -0400 Adam Chlipala Add 'rel' attribute to <a>
Fri, 09 Aug 2013 16:04:16 -0400 Adam Chlipala Extend Especialize rule: find maximal argument prefixes that end in 1 or more arguments with functional types
Wed, 17 Jul 2013 10:48:31 -0400 Adam Chlipala Make that error message even more helpful
Wed, 17 Jul 2013 10:40:13 -0400 Adam Chlipala Make that new error message text a bit more accurate
Wed, 17 Jul 2013 10:35:43 -0400 Adam Chlipala Tweak error message about naughty GET handlers
Wed, 17 Jul 2013 09:09:48 -0400 Adam Chlipala Postgres unicode printing fix from Artyom Shalkhakov
Sat, 15 Jun 2013 08:18:47 -0400 Adam Chlipala Add Sigcheck phase to avoid issues with signatures in global initializers
Fri, 07 Jun 2013 16:11:52 -0400 Adam Chlipala Undo 'let' inlining tweak; improve optimization of 'case' of type 'transaction'
Sun, 02 Jun 2013 10:17:52 -0400 Adam Chlipala Tweak to 'let' inlining behavior
Sun, 21 Apr 2013 13:32:10 -0400 Adam Chlipala Return to working version mode
Sun, 21 Apr 2013 13:03:20 -0400 Adam Chlipala Get Iflow working again
Sun, 21 Apr 2013 10:29:30 -0400 Adam Chlipala New release
Sun, 21 Apr 2013 10:17:43 -0400 Adam Chlipala Plugging some gaps in the manual
Tue, 16 Apr 2013 11:25:56 -0400 Adam Chlipala Get -css flag working again
Tue, 16 Apr 2013 10:55:48 -0400 Adam Chlipala Basis.tryRpc
Mon, 01 Apr 2013 10:13:49 -0400 Adam Chlipala Change Name_js to skip code snippets that depend on the CSRF-protection signature
Tue, 19 Mar 2013 19:10:31 -0400 Adam Chlipala Attempt to get more static linking for OpenSSL
Fri, 15 Mar 2013 16:09:55 -0400 Adam Chlipala Make Scriptcheck catch more script/message-passing uses, and move the phase earlier in compilation
Tue, 12 Mar 2013 16:21:20 -0400 Adam Chlipala Manual: Reveal JavaScript representation of transaction type family
Tue, 05 Mar 2013 09:29:50 -0500 Adam Chlipala Make CGI programs use Status header to set HTTP status code
Sat, 05 Jan 2013 18:19:20 -0500 Jason Gross Add MLTONARGS to xml/parse
Mon, 31 Dec 2012 09:04:35 -0500 Adam Chlipala Add more HTML singleton tags, anticipating that others may make them available via the FFI
Thu, 27 Dec 2012 15:34:11 -0500 Adam Chlipala Add some name-mangling rules to allow XML attribute 'name' and attributes with dashes
Thu, 13 Dec 2012 17:51:34 -0500 Adam Chlipala Fix determination of MySQL timestamp hour fields (may still be wrong once DST bit flips)
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
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
Thu, 17 May 2012 16:22:05 -0400 Adam Chlipala Implicit records of folders
Thu, 17 May 2012 10:20:24 -0400 Adam Chlipala Be more conservative in choosing candidates for Especialize, re: mutual recursion
Thu, 17 May 2012 03:22:34 +0400 Vladimir Shabanov Vector fonts in manual
Thu, 17 May 2012 01:41:30 +0400 Vladimir Shabanov Speed up space eating in MonoOpt
Wed, 16 May 2012 22:46:35 +0400 Vladimir Shabanov Allow RPC and run it synchronously in onunload event.
Sun, 13 May 2012 17:41:21 -0400 Adam Chlipala Lance Hepler's fix to configure.ac; small refactor of fastcgi.c to avoid undefined behavior
Sun, 13 May 2012 14:27:29 -0400 Adam Chlipala Fix hyphenation for demos; parse CSS class 'table' as 'tabl'
Sat, 12 May 2012 15:22:39 -0400 Adam Chlipala Automake 1.12 compatibility, based on suggestions by Lance Hepler
Sat, 12 May 2012 12:15:26 -0400 Adam Chlipala Return to working version mode
Sat, 12 May 2012 11:59:31 -0400 Adam Chlipala New release
Wed, 09 May 2012 08:53:10 -0400 Adam Chlipala In incremental elaboration, handle invalidated FFI signatures
Mon, 07 May 2012 08:16:18 -0400 Adam Chlipala Fix manual's grammar for subquery FROM items
Sun, 06 May 2012 16:08:48 -0400 Adam Chlipala Run-time CSS style validation
Sun, 06 May 2012 15:46:25 -0400 Adam Chlipala Fix bugs in support for 'style' and 'dynStyle'
Sun, 06 May 2012 15:34:10 -0400 Adam Chlipala Clarify need for 'prefix' for FastCGI
Sun, 06 May 2012 15:27:30 -0400 Adam Chlipala New optional suffice for 'rewrite' in .urp files: [-]
Sun, 06 May 2012 15:15:46 -0400 Adam Chlipala 'dynStyle' pseudo-attribute
Sun, 06 May 2012 14:01:29 -0400 Adam Chlipala 'style' attributes
Sun, 06 May 2012 13:07:13 -0400 Adam Chlipala Simplify type of Basis.tag, regarding 'class' attribute; new compatibility parsing of 'class' values given as string literals
Sun, 06 May 2012 12:37:43 -0400 Adam Chlipala Fix from Edward Yang to generation of 404 errors in FastCGI
Sat, 05 May 2012 19:57:54 -0400 Adam Chlipala Adjust error message format to match Emacs defaults
Sat, 05 May 2012 13:08:26 -0400 Adam Chlipala Fix bug in installation of source files to proper directories
Sat, 05 May 2012 12:58:13 -0400 Adam Chlipala -dumpTypesOnError
Sat, 05 May 2012 12:45:35 -0400 Adam Chlipala Send daemon output to calling process
Fri, 04 May 2012 10:38:22 -0400 Adam Chlipala Report which files lead to duplicate module names
Fri, 04 May 2012 10:33:04 -0400 Adam Chlipala More diagnostic information about some type class resolution failures
Fri, 04 May 2012 10:07:27 -0400 Adam Chlipala Reinitialize lexer state properly
Thu, 03 May 2012 10:29:12 -0400 Adam Chlipala Adaptations to ezyang's patch
Wed, 02 May 2012 17:17:57 -0400 Edward Z. Yang Add support for -boot flag, which allows in-tree execution of Ur/Web
Thu, 03 May 2012 09:56:41 -0400 Adam Chlipala Catch duplicate top-level module names; fix dropping of constraints during incremental elaboration; document treatment of record types as type class instance types
Wed, 02 May 2012 08:56:19 -0400 Adam Chlipala Don't modify the module cache after elaboration failures
Wed, 02 May 2012 08:34:50 -0400 Adam Chlipala Better discovery of type class instances from recursive definitions
Wed, 02 May 2012 08:23:30 -0400 Adam Chlipala In simplifying constructors for error messages, unfold constructor synonyms from modules
Sun, 29 Apr 2012 20:37:45 -0400 Adam Chlipala Fix generation of normal datatypes from polymorphic variants
Sun, 29 Apr 2012 16:23:03 -0400 Adam Chlipala 'urweb daemon start' and 'urweb daemon stop'
Sun, 29 Apr 2012 13:17:31 -0400 Adam Chlipala Initial support for reusing elaboration results
Sat, 28 Apr 2012 12:00:35 -0400 Adam Chlipala Include JavaScript files properly in error handler pages
Sat, 28 Apr 2012 11:35:12 -0400 Adam Chlipala Fix urlification of recursive polymorphic variants
Fri, 27 Apr 2012 09:52:16 -0400 Adam Chlipala Avoid generating empty <script> tags
Fri, 27 Apr 2012 09:43:09 -0400 Adam Chlipala Ensure proper ordering of <script> execution, to bring identifiers into scope in time
Fri, 27 Apr 2012 07:35:59 -0400 Adam Chlipala Omit unnecessary parens around arrows in pretty-printing
Wed, 25 Apr 2012 03:07:07 +0400 Vladimir Shabanov Removed excess zero byte from empty pages.
Sun, 22 Apr 2012 10:57:22 -0400 Adam Chlipala 'linker' .urp directive
Sun, 22 Apr 2012 09:18:21 -0400 Adam Chlipala Another test for cancelation in error messages
Sun, 22 Apr 2012 09:08:45 -0400 Adam Chlipala -unifyMore
Sat, 21 Apr 2012 15:47:02 -0400 Adam Chlipala Antiquote for PRIMARY KEY
Sat, 21 Apr 2012 15:19:00 -0400 Adam Chlipala Omit 'Basis.' in pretty-printing constructors, where this is unambiguous
Sat, 21 Apr 2012 15:09:02 -0400 Adam Chlipala Pretty-print tuple types using tuple syntax
Sat, 21 Apr 2012 14:57:00 -0400 Adam Chlipala Saving proper environments, to use in displaying nested error messages
Sat, 21 Apr 2012 14:06:03 -0400 Adam Chlipala Add another rule to simplify record concatenations for pretty-printing
Sat, 21 Apr 2012 13:57:10 -0400 Adam Chlipala Avoid kindof failures in elaboration
Mon, 16 Apr 2012 10:12:04 -0400 Adam Chlipala Tweak printing of constructor record literals to allow re-parsing by compiler
Mon, 16 Apr 2012 09:53:48 -0400 Adam Chlipala Simplify types for printing with '-dumpTypes'
Mon, 16 Apr 2012 09:46:42 -0400 Adam Chlipala Do a lot more type simplification for error messages
Mon, 16 Apr 2012 09:07:28 -0400 Adam Chlipala Fix monoization of recursive variants
Wed, 11 Apr 2012 03:05:26 +0400 Vladimir Shabanov Saving uw_event for all events (so stopPropagation works everywhere)
Wed, 11 Apr 2012 03:06:23 +0400 Vladimir Shabanov Fixed 'onload' handling for img tag.
Sun, 15 Apr 2012 12:40:53 -0400 Adam Chlipala Remove string-valued style attribute, which may allow injection attacks
Wed, 11 Apr 2012 03:03:19 +0400 Vladimir Shabanov Added several missing tag attributes
Sun, 08 Apr 2012 16:29:28 -0400 Adam Chlipala Optimize code from last changeset a bit
Sun, 08 Apr 2012 16:24:16 -0400 Adam Chlipala Refactor to avoid dependence on recursive mutexes
Thu, 29 Mar 2012 11:23:35 -0400 Adam Chlipala Return to working version mode
Thu, 29 Mar 2012 11:09:43 -0400 Adam Chlipala New release
Thu, 29 Mar 2012 09:55:04 -0400 Adam Chlipala Fix defunctorization of modules containing datatype definitions
Fri, 16 Mar 2012 08:42:51 -0400 Adam Chlipala Change ID generation scheme to conform to HTML standards (thanks to Edward Yang for the catch)
Wed, 14 Mar 2012 10:10:56 -0400 Adam Chlipala New JavaScript FFI function: setInnerHTML
Wed, 14 Mar 2012 09:06:23 -0400 Adam Chlipala Remove weird special case for FFI functions whose first arguments have type [unit]
Tue, 13 Mar 2012 20:17:23 -0400 Adam Chlipala Delete C temporary directories, even if other files wind up there
Tue, 13 Mar 2012 13:36:26 -0400 Adam Chlipala Clarify necessity of 'effectful' in the manual
Tue, 13 Mar 2012 11:59:03 -0400 Adam Chlipala Remove seemingly inaccurate part of comment (perhaps clarified version can be added back in later)
Mon, 12 Mar 2012 12:00:23 -0700 Edward Z. Yang Refactor SQL parsing code from Iflow to Sql, add querydml parser.
Mon, 12 Mar 2012 12:00:13 -0700 Edward Z. Yang Some minor documentation to the Mono AST.
Sun, 11 Mar 2012 21:20:09 -0400 Adam Chlipala Handle recursive RPC handlers
Sat, 10 Mar 2012 13:35:02 -0500 Adam Chlipala Return to working version mode
Sat, 10 Mar 2012 13:13:15 -0500 Adam Chlipala New release
Sat, 10 Mar 2012 12:53:33 -0500 Adam Chlipala Change <radio> to yield [option string]
Sat, 03 Mar 2012 16:41:20 -0500 Adam Chlipala Avoid URL size limit in RPCs with large arguments
Sat, 03 Mar 2012 16:20:54 -0500 Adam Chlipala Avoid 'not fully determined' errors for fancy tasks
Sat, 03 Mar 2012 15:47:52 -0500 Adam Chlipala Pass non-printing characters through unchanged in sqlifyString, to support UTF-8
Sat, 25 Feb 2012 15:34:44 -0500 Adam Chlipala Correct an SQL grammar omission (thanks to Alexei Golovko for spotting the problem)
Sat, 18 Feb 2012 08:14:51 -0500 Adam Chlipala Update manual to fix lexical table and clarify sequencing notation
Sat, 04 Feb 2012 11:08:56 -0500 Adam Chlipala Mention FFI encoding of abstract syntax types
Sat, 04 Feb 2012 11:01:06 -0500 Adam Chlipala Basis.toMilliseconds and diffInMilliseconds, based on a patch from Gergely Buday
Sat, 04 Feb 2012 10:42:18 -0500 Adam Chlipala Extend and document RANDOM
Fri, 03 Feb 2012 08:30:56 -0500 Adam Chlipala Mention convention for parens in selected expressions
Thu, 02 Feb 2012 11:40:10 -0500 Adam Chlipala 'ORDER BY RANDOM' (based on a patch from Ron de Bruijn)
Sun, 22 Jan 2012 20:25:14 -0500 Adam Chlipala Fix runtime system handling of <dyn> inside <table> inside <dyn>
Sun, 15 Jan 2012 14:45:06 -0500 Adam Chlipala Fix fetching of keycodes for key events
Sat, 14 Jan 2012 23:02:34 +0400 Vladimir Shabanov Fixed clients mutex initialization for compiling under OS X.
Sat, 14 Jan 2012 11:24:17 -0500 Adam Chlipala Fix bug with 'dynClass' immediately inside <dyn>
Thu, 12 Jan 2012 20:37:39 -0500 Adam Chlipala -dumpSource flag; Especialize tweak: may specialize any argument sequence ending in a value of function-containing type
Wed, 11 Jan 2012 14:52:31 -0500 Adam Chlipala Small fix to previous commit
Wed, 11 Jan 2012 13:53:35 -0500 Adam Chlipala New, more principled heuristic for Especialize: only specialize uniform function arguments; that is, arguments that don't change across recursive calls
Wed, 11 Jan 2012 11:08:48 -0500 Adam Chlipala Tweak Especialize heuristic
Tue, 10 Jan 2012 17:38:00 -0500 Adam Chlipala Make Ubuntu linking patch more general
Tue, 10 Jan 2012 17:32:48 -0500 Adam Chlipala Fix some locking issues for client array
Tue, 10 Jan 2012 15:34:18 -0500 Adam Chlipala Properly handle case where an RPC changes signed cookie state
Tue, 10 Jan 2012 10:10:51 -0500 Adam Chlipala Return to working version mode
Tue, 10 Jan 2012 09:34:15 -0500 Adam Chlipala New release
Mon, 09 Jan 2012 16:20:10 -0500 Adam Chlipala Prevent horrifying loops in unification variable graph
Mon, 09 Jan 2012 09:51:39 -0500 Adam Chlipala Tweak Especialize heuristic to prevent non-termination
Mon, 09 Jan 2012 08:38:53 -0500 Adam Chlipala Revert ax_check_openssl.m4 and instead compensate for Ubuntu weirdness in config.sml
Sun, 08 Jan 2012 15:47:05 -0500 Adam Chlipala Fix channel delivery to handle sending of messages for channels whose clients haven't connected yet
Sat, 07 Jan 2012 16:49:19 -0500 Adam Chlipala Finish function argument order-of-operations fix
Sat, 07 Jan 2012 15:56:22 -0500 Adam Chlipala First part of changes to avoid depending on C function call argument order of evaluation (omitting normal Ur function calls, so far)
Sat, 07 Jan 2012 11:01:21 -0500 Adam Chlipala Make wildification a bit smarter about ordering of new wildcard declarations
Fri, 06 Jan 2012 18:09:50 -0500 Adam Chlipala Switch default linking order for OpenSSL libs
Fri, 06 Jan 2012 09:40:20 -0500 Adam Chlipala Revert last unification tweak
Thu, 05 Jan 2012 19:23:34 -0500 Adam Chlipala Change linking argument order, based on reported problems in Ubuntu 11.10
Thu, 05 Jan 2012 19:13:31 -0500 Adam Chlipala Tweak new unification heuristic
Thu, 05 Jan 2012 17:10:43 -0500 Adam Chlipala Prevent unifications of 'others' pieces in record summaries, when both pieces contain unification variables (to prevent undesired unifications)
Mon, 02 Jan 2012 17:08:39 -0500 Adam Chlipala Fix handling of quotes in generating C literals
Mon, 02 Jan 2012 16:54:18 -0500 Adam Chlipala Adapt Monoize serialization to handle freshly created variant types
Mon, 02 Jan 2012 15:38:52 -0500 Adam Chlipala Add arguments to [type] declarations and signature items
Sat, 31 Dec 2011 16:08:17 -0500 Adam Chlipala More documentation on URL generation and free variables
Sat, 31 Dec 2011 15:24:44 -0500 Adam Chlipala Undo change to dyn() in runtime system
Sat, 31 Dec 2011 13:31:00 -0500 Adam Chlipala Error messages about applying 'dynClass' to tags that don't like it
Thu, 29 Dec 2011 16:08:34 -0500 Adam Chlipala Add dynamic content before running its scripts, to get IDs in scope; fix generation of Postgres queries with blobs
Thu, 29 Dec 2011 14:12:03 -0500 Adam Chlipala Rename [Top.id] to avoid clash with [Basis.id]
Thu, 29 Dec 2011 10:04:09 -0500 Adam Chlipala Discuss a subtlety in the semantics of <dyn>
Thu, 29 Dec 2011 09:47:41 -0500 Adam Chlipala Finish updating Grid1 demo to work with type inference change
Wed, 28 Dec 2011 18:05:27 -0500 Adam Chlipala Get a few more source files up-to-date with change to [tag] type
Wed, 28 Dec 2011 10:30:56 -0500 Adam Chlipala Merge
Wed, 28 Dec 2011 10:30:37 -0500 Adam Chlipala More about the JavaScript FFI in the manual
Tue, 27 Dec 2011 16:20:48 -0500 Adam Chlipala 'dynClass' pseudo-attribute
Tue, 20 Dec 2011 21:06:25 -0500 Adam Chlipala Refactor HTML contexts to prevent some illegal nestings (that can crash the JavaScript runtime system)
Tue, 20 Dec 2011 19:02:04 -0500 Adam Chlipala Redo HTML context classification, to keep regular <body> tags out of <table> and <tr>
Sun, 18 Dec 2011 12:00:36 -0500 Adam Chlipala Order constructors properly in wildification, to avoid spuriously displeasing the new scoping check
Sun, 18 Dec 2011 11:29:13 -0500 Adam Chlipala Add a new scoping check for unification variables, to fix a type inference bug
Sat, 17 Dec 2011 20:42:39 -0500 Adam Chlipala Manual typo fix
Sat, 17 Dec 2011 13:10:23 -0500 Adam Chlipala Allow .urp libraries to set prefix
Sat, 17 Dec 2011 12:01:31 -0500 Adam Chlipala SQL lower() and upper() functions
Sat, 17 Dec 2011 09:24:31 -0500 Adam Chlipala Fix C-side unurlification of unboxable Option datatypes
Sun, 11 Dec 2011 15:02:55 -0500 Adam Chlipala Some new List functions, based on code by Ron de Bruijn
Mon, 05 Dec 2011 10:43:06 -0500 Adam Chlipala Treat [naughtyDebug] as pure for optimization purposes
Sun, 04 Dec 2011 16:32:06 -0500 Adam Chlipala Fix client-side [int] parsing and extend server-side [time] parsing to support a format that also works portably in JavaScript
Sun, 04 Dec 2011 15:18:41 -0500 Adam Chlipala Make last change nicer
Sun, 04 Dec 2011 15:13:53 -0500 Adam Chlipala Stop [read] from raising an exception for invalid [int] strings
Sun, 04 Dec 2011 14:40:12 -0500 Adam Chlipala timeFormat .urp directive
Sat, 03 Dec 2011 17:25:51 -0500 Adam Chlipala Don't crash on invalid URL head terms during Tag
Sat, 03 Dec 2011 17:07:34 -0500 Adam Chlipala New 't.*' notation for SELECT
Sat, 03 Dec 2011 16:39:45 -0500 Adam Chlipala Nicer record summary error messages
Sat, 03 Dec 2011 16:25:09 -0500 Adam Chlipala Change client-side debug to use console.debug
Sat, 03 Dec 2011 16:05:06 -0500 Adam Chlipala Client-side strlenGe
Sat, 03 Dec 2011 15:59:21 -0500 Adam Chlipala Better error messages about non-SQL-izability of types
Sat, 03 Dec 2011 10:13:36 -0500 Adam Chlipala Avoid setting a Date's time with a non-integer value
Sat, 03 Dec 2011 10:07:50 -0500 Adam Chlipala Change client-side int parsing to match server-side, in ignoring initial zeroes
Sat, 03 Dec 2011 10:00:10 -0500 Adam Chlipala Allow sources to be returned by RPCs
Sat, 03 Dec 2011 09:44:07 -0500 Adam Chlipala Catching integer divisions by zero
Wed, 30 Nov 2011 15:28:56 -0500 Adam Chlipala Update Coq semantics for 8.3pl2
Sun, 27 Nov 2011 15:32:06 -0500 Adam Chlipala Return to working version mode
Sun, 27 Nov 2011 15:12:44 -0500 Adam Chlipala New release
Sat, 26 Nov 2011 10:14:05 -0500 Adam Chlipala Switch to YUI strftime
Fri, 25 Nov 2011 17:19:34 -0500 Adam Chlipala Support 'safeGet' in demos
Fri, 25 Nov 2011 16:30:34 -0500 Adam Chlipala Fix server-side urlification of custom Option types
Fri, 25 Nov 2011 11:08:51 -0500 Adam Chlipala Announce sidedness errors with source locations
Thu, 24 Nov 2011 11:56:05 -0500 Adam Chlipala Tweak error message about Basis.get to use that name instead of internal name
Thu, 24 Nov 2011 11:41:52 -0500 Adam Chlipala Catch more <ccheckbox> events
Thu, 24 Nov 2011 11:27:51 -0500 Adam Chlipala Client-side timef
Thu, 24 Nov 2011 11:09:50 -0500 Adam Chlipala Mention Basis.current in manual
Wed, 23 Nov 2011 13:17:40 -0430 Karn Kallio Add LIKE operator to SQL sublanguage.
Sun, 20 Nov 2011 20:54:03 -0500 Adam Chlipala Yet another fix to previous change
Sun, 20 Nov 2011 20:46:28 -0500 Adam Chlipala Fix bug in previous change
Sun, 20 Nov 2011 19:22:57 -0500 Adam Chlipala More complete account of URI determination in structure section
Sun, 20 Nov 2011 18:33:21 -0500 Adam Chlipala Don't treat comment-only lines as blank, in determining split point of .urp files
Sat, 19 Nov 2011 10:43:57 -0500 Adam Chlipala COALESCE
Sat, 19 Nov 2011 10:26:19 -0500 Adam Chlipala Better error messages when client-side constructs are detected in Cjrize
Fri, 18 Nov 2011 17:44:12 -0500 Adam Chlipala Fix catalog querying about empty tables
Fri, 18 Nov 2011 17:17:22 -0500 Adam Chlipala Regenerate proper Autotools files; fix JS stringToTime and add stringToTime_error
Thu, 17 Nov 2011 17:19:10 +0100 Ron de Bruijn Merge
Thu, 17 Nov 2011 17:14:44 +0100 Ron de Bruijn Add read instance for time on the client
Wed, 16 Nov 2011 13:51:22 -0430 Karn Kallio Include character encoding in HTTP response headers.
Mon, 14 Nov 2011 09:15:10 -0500 Adam Chlipala Better error messages about server-side use of client-side functions
Mon, 14 Nov 2011 09:02:00 -0500 Adam Chlipala Fix completely broken manual description of 'view'
Sun, 06 Nov 2011 08:14:53 -0500 Adam Chlipala Remove dummy entity
Sat, 05 Nov 2011 15:05:13 -0400 Adam Chlipala Support the full set of XHTML character entities
Sat, 05 Nov 2011 13:12:07 -0400 Adam Chlipala Tweaks to choices of source positions to use in error messages, including for subSgn
Sat, 05 Nov 2011 12:32:20 -0400 Adam Chlipala Adjust for different ml-lex behavior between SML/NJ and MLton
Sat, 05 Nov 2011 11:33:59 -0400 Adam Chlipala Strengthen consNeq, to avoid unwise unifications
Sat, 05 Nov 2011 09:56:52 -0400 Adam Chlipala Fix confusing error message when record unification fails because enclosed types are incompatible
Sat, 05 Nov 2011 09:40:38 -0400 Adam Chlipala Fix SQL grammar bug in manual
Wed, 02 Nov 2011 09:37:20 -0400 Adam Chlipala Remove debug print
Wed, 02 Nov 2011 08:39:01 -0400 Adam Chlipala Handle application in decompileCon
Sat, 29 Oct 2011 17:30:34 -0400 Adam Chlipala Shorter, more focused error messages about undetermined unification variables
Fri, 28 Oct 2011 08:54:44 -0400 Adam Chlipala Clear reducedSummaries
Thu, 27 Oct 2011 08:36:31 -0400 Adam Chlipala Harmonize have/need terminology in error messages; display canceled record summaries on errors
Wed, 26 Oct 2011 09:10:40 -0400 Adam Chlipala Turn off warnings about deprecated functions, to placate silly OpenSSL change for OS X
Fri, 21 Oct 2011 08:51:30 -0400 Adam Chlipala Catch UnboundNamed exceptions that arise from missing signature items
Fri, 21 Oct 2011 08:36:10 -0400 Adam Chlipala Note a parsing restriction in the manual
Thu, 20 Oct 2011 09:27:37 -0400 Adam Chlipala Some notes on 'T' for update/delete combinators
Sat, 15 Oct 2011 13:30:59 -0400 Adam Chlipala Fix parsing conflict
Sat, 15 Oct 2011 10:31:30 -0400 Adam Chlipala Change error message display order: only show disjointness/type class failures if all record unifications succeeded
Sat, 15 Oct 2011 10:19:50 -0400 Adam Chlipala Improved unification of record literals in type class resolution
Sat, 15 Oct 2011 10:05:13 -0400 Adam Chlipala Extend and document 'con' syntax with arguments
Sat, 15 Oct 2011 09:04:41 -0400 Adam Chlipala For new IF, fix Monoize typing and add to manual
Fri, 14 Oct 2011 02:33:03 -0430 Karn Kallio IF THEN ELSE conditional for SQL.
Sat, 08 Oct 2011 17:23:58 -0400 Adam Chlipala Primitive int/float functions: ceil, float, round, trunc
Sat, 08 Oct 2011 14:16:13 -0400 Adam Chlipala Fix wildification for signatures with synonyms
Thu, 06 Oct 2011 10:12:20 -0400 Adam Chlipala Merge
Fri, 30 Sep 2011 08:16:50 -0400 Ron de Bruijn Fix searching for underscore elements in PDF files.
Thu, 06 Oct 2011 09:50:40 -0400 Adam Chlipala Basis.null
Mon, 26 Sep 2011 03:29:09 +0400 Vladimir Shabanov Tweaked Emacs mode to handle many "->" faster.
Mon, 26 Sep 2011 02:54:52 +0400 Vladimir Shabanov Minor tweak to speed up Emacs mode.
Fri, 23 Sep 2011 23:11:59 -0500 Austin Seipp Add an URWEB_PQ_CON environment variable, which overrides the PostgreSQL connection string.
Thu, 22 Sep 2011 09:51:06 -0400 Adam Chlipala Resugar tag names before printing parse errors
Sat, 17 Sep 2011 13:10:20 -0400 Adam Chlipala Return to working version mode
Sat, 17 Sep 2011 13:03:17 -0400 Adam Chlipala New release
Mon, 12 Sep 2011 00:43:41 +0400 Vladimir Shabanov Added 'target' attribute for 'a' tag.
Sun, 11 Sep 2011 14:14:49 -0400 Adam Chlipala New Basis functions: preventDefault and stopPropagation (code contributed by Vladimir Shabanov)
Sun, 11 Sep 2011 11:37:26 -0400 Adam Chlipala Disable C optimization in debug mode
Sat, 03 Sep 2011 12:56:05 -0400 Adam Chlipala Switch type of 'for' attribute
Sat, 03 Sep 2011 12:51:05 -0400 Adam Chlipala An abstract type of IDs
Sat, 03 Sep 2011 11:48:12 -0400 Adam Chlipala New client-side, document-level event handlers
Sat, 03 Sep 2011 08:57:13 -0400 Adam Chlipala Better detection of type class witnesses in local bindings
Sun, 28 Aug 2011 19:32:20 -0400 Adam Chlipala Even gentler handling of back-button returns to pages with stale message-passing credentials
Sun, 28 Aug 2011 17:16:54 -0400 Adam Chlipala Gentle handling of back-button returns to pages with stale message-passing credentials
Sun, 28 Aug 2011 14:43:30 -0400 Adam Chlipala Warn about concurrency issues with message-passing
Sun, 28 Aug 2011 14:01:41 -0400 Adam Chlipala Postgres deadlock triggers unlimited retry
Fri, 26 Aug 2011 09:51:38 -0400 Adam Chlipala Gracefully accept browser's refusal to let us set certain AJAX headers
Wed, 24 Aug 2011 08:18:09 -0400 Adam Chlipala Document monadic shorthands
Sun, 21 Aug 2011 13:41:57 -0400 Adam Chlipala Fix another list unurlification segfault bug; List.foldlMi
Sun, 21 Aug 2011 10:55:31 -0400 Adam Chlipala Add prototypes for [un]urlification functions
Sun, 21 Aug 2011 10:39:19 -0400 Adam Chlipala Fix crash in list unurlification
Fri, 19 Aug 2011 15:23:01 -0400 Adam Chlipala Basis.mkMonad
Fri, 19 Aug 2011 14:20:24 -0400 Adam Chlipala Add antiquote for ORDER BY directions
Fri, 19 Aug 2011 08:59:01 -0400 Adam Chlipala Add timestamps to 'app.js' filenames, to prevent inappropriate caching by browsers
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.