Wed, 25 Dec 2013 12:02:42 -0500 |
Adam Chlipala |
Add a bit of manual clarification about channels and clients |
Mon, 09 Dec 2013 17:25:53 -0500 |
Adam Chlipala |
Merge |
Mon, 09 Dec 2013 15:47:14 -0500 |
Adam Chlipala |
Rename <activeHead> to <script> and make it work properly |
Fri, 06 Dec 2013 08:54:03 -0500 |
Adam Chlipala |
Small reformatting and documentation for '-print-cinclude' |
Sun, 17 Nov 2013 07:54:59 -0500 |
Adam Chlipala |
Manual: add a pointer to background reading on inference rule notation |
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:01:30 -0400 |
Adam Chlipala |
Make transactional FFI functions effectful by default |
Thu, 10 Oct 2013 14:01:19 -0400 |
Adam Chlipala |
Manual entries for -ccompiler and -print-ccompiler |
Sun, 21 Apr 2013 10:17:43 -0400 |
Adam Chlipala |
Plugging some gaps in the manual |
Tue, 16 Apr 2013 10:55:48 -0400 |
Adam Chlipala |
Basis.tryRpc |
Tue, 12 Mar 2013 16:21:20 -0400 |
Adam Chlipala |
Manual: Reveal JavaScript representation of transaction type family |
Wed, 28 Nov 2012 16:56:45 -0500 |
Adam Chlipala |
Allow any FFI module to declare new HTML tags |
Tue, 04 Sep 2012 16:30:22 -0400 |
Adam Chlipala |
Manual addition for last changeset |
Thu, 02 Aug 2012 16:33:25 -0400 |
Adam Chlipala |
Basis.getenv |
Sun, 29 Jul 2012 12:27:13 -0400 |
Adam Chlipala |
Remove 'class' declaration; now use 'con' instead |
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:02:53 -0400 |
Adam Chlipala |
New event records for key and mouse handlers |
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 15:35:58 -0400 |
Adam Chlipala |
Track whether SQL expressions may use window functions, in preparation for actual window function support |
Sat, 19 May 2012 11:38:14 -0400 |
Adam Chlipala |
More manual detail on registering error handlers |
Thu, 17 May 2012 03:22:34 +0400 |
Vladimir Shabanov |
Vector fonts in manual |
Mon, 07 May 2012 08:16:18 -0400 |
Adam Chlipala |
Fix manual's grammar for subquery FROM items |
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 |
Sat, 05 May 2012 12:58:13 -0400 |
Adam Chlipala |
-dumpTypesOnError |
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 |
Sun, 29 Apr 2012 16:23:03 -0400 |
Adam Chlipala |
'urweb daemon start' and 'urweb daemon stop' |
Sun, 22 Apr 2012 10:57:22 -0400 |
Adam Chlipala |
'linker' .urp directive |
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 |
Wed, 14 Mar 2012 10:10:56 -0400 |
Adam Chlipala |
New JavaScript FFI function: setInnerHTML |
Tue, 13 Mar 2012 13:36:26 -0400 |
Adam Chlipala |
Clarify necessity of 'effectful' in the manual |
Sat, 10 Mar 2012 13:13:15 -0500 |
Adam Chlipala |
New release |
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 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 |
Sat, 31 Dec 2011 16:08:17 -0500 |
Adam Chlipala |
More documentation on URL generation and free variables |
Thu, 29 Dec 2011 10:04:09 -0500 |
Adam Chlipala |
Discuss a subtlety in the semantics of <dyn> |
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> |
Sat, 17 Dec 2011 20:42:39 -0500 |
Adam Chlipala |
Manual typo fix |
Sun, 04 Dec 2011 14:40:12 -0500 |
Adam Chlipala |
timeFormat .urp directive |
Sat, 03 Dec 2011 17:07:34 -0500 |
Adam Chlipala |
New 't.*' notation for SELECT |
Thu, 24 Nov 2011 11:09:50 -0500 |
Adam Chlipala |
Mention Basis.current in manual |
Sun, 20 Nov 2011 19:22:57 -0500 |
Adam Chlipala |
More complete account of URI determination in structure section |
Sat, 19 Nov 2011 10:43:57 -0500 |
Adam Chlipala |
COALESCE |
Mon, 14 Nov 2011 09:02:00 -0500 |
Adam Chlipala |
Fix completely broken manual description of 'view' |
Sat, 05 Nov 2011 09:40:38 -0400 |
Adam Chlipala |
Fix SQL grammar bug in manual |
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 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, 30 Sep 2011 08:16:50 -0400 |
Ron de Bruijn |
Fix searching for underscore elements in PDF files. |
Fri, 23 Sep 2011 23:11:59 -0500 |
Austin Seipp |
Add an URWEB_PQ_CON environment variable, which overrides the PostgreSQL connection string. |
Sun, 11 Sep 2011 14:14:49 -0400 |
Adam Chlipala |
New Basis functions: preventDefault and stopPropagation (code contributed by Vladimir Shabanov) |
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 |
Sun, 28 Aug 2011 14:43:30 -0400 |
Adam Chlipala |
Warn about concurrency issues with message-passing |
Wed, 24 Aug 2011 08:18:09 -0400 |
Adam Chlipala |
Document monadic shorthands |
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 |
Wed, 10 Aug 2011 18:39:27 -0400 |
Adam Chlipala |
Mention transitive dependency calculation for tree shaking |
Sun, 07 Aug 2011 16:53:06 -0400 |
Adam Chlipala |
'-dumpTypes' |
Sun, 07 Aug 2011 13:47:15 -0400 |
Adam Chlipala |
Manual: emphasize how great '-tc' is |
Tue, 02 Aug 2011 14:45:19 -0400 |
Adam Chlipala |
Remove some GCC-specific identifier choice and documentation |
Tue, 02 Aug 2011 14:31:37 -0400 |
Adam Chlipala |
Introduce URWEB_STACK_SIZE environment variable (based on a patch by Hao Deng) |
Sat, 23 Jul 2011 16:27:04 -0400 |
Adam Chlipala |
A few more tweaks to support Clang (including ending use of nested functions) |
Sat, 23 Jul 2011 09:42:34 -0400 |
Adam Chlipala |
Stop using -fno-inline by default |
Sun, 17 Jul 2011 13:48:00 -0400 |
Adam Chlipala |
Document tutorial features |
Fri, 08 Jul 2011 13:33:26 -0400 |
Adam Chlipala |
Fix manual syntax for SQL injection |
Tue, 28 Jun 2011 08:07:20 -0400 |
Adam Chlipala |
Clarify about implicit folder arguments |
Fri, 24 Jun 2011 13:50:59 -0400 |
Adam Chlipala |
'noXsrfProtection' .urp directive |
Tue, 14 Jun 2011 08:54:45 -0400 |
Adam Chlipala |
Implicit argument insertion for local variables |
Tue, 31 May 2011 09:14:03 -0400 |
Adam Chlipala |
Explain how to signal an error in a commit handler |
Sun, 29 May 2011 14:29:26 -0400 |
Adam Chlipala |
getHeader and setHeader |
Sun, 29 May 2011 13:31:53 -0400 |
Adam Chlipala |
Configuration detects proper header files for database dev libraries |
Sun, 29 May 2011 12:18:59 -0400 |
Adam Chlipala |
Don't mention 'sessions' in the manual |
Sun, 15 May 2011 13:16:58 -0400 |
Adam Chlipala |
New release |
Sun, 20 Mar 2011 13:47:39 -0400 |
Adam Chlipala |
'--without-emacs' configure option |
Thu, 03 Feb 2011 21:04:12 -0500 |
Adam Chlipala |
Subqueries may always return NULL |
Tue, 18 Jan 2011 13:32:48 -0500 |
Adam Chlipala |
More detail on sources and signals |
Sun, 16 Jan 2011 12:06:38 -0500 |
Adam Chlipala |
Updating documentation in preparation for a release |
Thu, 06 Jan 2011 08:55:53 -0500 |
Adam Chlipala |
Thanks to Vag Vagoff, catch some cases of an obsolete notation for guarded types in the manual |
Sun, 02 Jan 2011 11:40:08 -0500 |
Adam Chlipala |
Add a note about Explify to the manual |
Sun, 26 Dec 2010 17:29:03 -0500 |
Adam Chlipala |
queryString and effectfulUrl |
Sun, 26 Dec 2010 11:13:37 -0500 |
Adam Chlipala |
Switch from libmhash to OpenSSL |
Tue, 21 Dec 2010 18:01:23 -0500 |
Adam Chlipala |
Basis.cdataChar |
Tue, 21 Dec 2010 14:01:27 -0500 |
Adam Chlipala |
More detail on Especialize in the manual |
Mon, 20 Dec 2010 19:28:41 -0500 |
Adam Chlipala |
Fix manual mistake about '@' notations; remove obsolete demos |
Mon, 20 Dec 2010 08:48:20 -0500 |
Adam Chlipala |
Fix manual discussion of tuple syntax |
Sat, 18 Dec 2010 15:17:09 -0500 |
Adam Chlipala |
Periodic tasks |
Sat, 18 Dec 2010 14:17:45 -0500 |
Adam Chlipala |
Change tasks to support parametric code; add clientLeaves |
Sat, 18 Dec 2010 10:56:31 -0500 |
Adam Chlipala |
postBody type |
Thu, 16 Dec 2010 13:35:40 -0500 |
Adam Chlipala |
Fiddly tweaks |
Thu, 16 Dec 2010 10:23:37 -0500 |
Adam Chlipala |
Clarify that you aren't supposed to be able to create new XML tags |
Sun, 12 Dec 2010 10:44:19 -0500 |
Adam Chlipala |
-prefix command-line option |
Sat, 11 Dec 2010 19:57:22 -0500 |
Adam Chlipala |
Warn about XHTML looseness |
Sat, 11 Dec 2010 15:16:04 -0500 |
Adam Chlipala |
minHeap option in .urp files |
Sat, 11 Dec 2010 13:42:54 -0500 |
Adam Chlipala |
Comments in .urp files |
Sat, 11 Dec 2010 11:00:05 -0500 |
Adam Chlipala |
Clarifying some C FFI details in manual |
Sat, 04 Dec 2010 11:18:19 -0500 |
Adam Chlipala |
Update manual to track uw_register_transactional() change |
Thu, 14 Oct 2010 11:54:54 -0400 |
Adam Chlipala |
Documenting limits |
Sun, 10 Oct 2010 20:33:10 -0400 |
Adam Chlipala |
:::_ notation; switch to TooDeep error message |
Sun, 10 Oct 2010 13:07:38 -0400 |
Adam Chlipala |
Flex kinds for type-level tuples; ::_ notation |
Thu, 30 Sep 2010 18:12:04 -0400 |
Adam Chlipala |
Mention empty-third-field 'rewrite' directives |
Tue, 07 Sep 2010 09:47:06 -0400 |
Adam Chlipala |
Updating documentation |
Sat, 17 Apr 2010 13:57:10 -0400 |
Adam Chlipala |
Forward reference to URI convention |
Thu, 25 Mar 2010 16:41:51 -0400 |
Adam Chlipala |
'AS' clauses for expression columns may be omitted |
Thu, 25 Mar 2010 16:27:10 -0400 |
Adam Chlipala |
Add subqueries to the manual |
Tue, 16 Mar 2010 16:02:54 -0400 |
Adam Chlipala |
Update manual for COUNT(col) |
Tue, 09 Mar 2010 18:28:44 -0500 |
Adam Chlipala |
safeGet |
Sat, 27 Feb 2010 16:49:11 -0500 |
Adam Chlipala |
benignEffectful |
Sat, 27 Feb 2010 14:57:57 -0500 |
Adam Chlipala |
Basic analysis of tag and CSS class usage |
Thu, 11 Feb 2010 09:10:01 -0500 |
Adam Chlipala |
sigfile directive |
Tue, 09 Feb 2010 20:08:59 -0500 |
Adam Chlipala |
Tips for CGI scripts without httpd.conf access |
Tue, 09 Feb 2010 09:51:21 -0500 |
Adam Chlipala |
Update manual with Gian's experience building in OS X |
Sun, 07 Feb 2010 16:13:09 -0500 |
Adam Chlipala |
Expand 'row types' in first paragraph of manual |
Sat, 06 Feb 2010 15:34:41 -0500 |
Adam Chlipala |
Allow .urp files without initial blank lines |
Sun, 31 Jan 2010 07:44:49 -0500 |
Adam Chlipala |
Remove mention of (hopefully) fixed problem with ./configure |
Sat, 30 Jan 2010 08:45:31 -0500 |
Adam Chlipala |
New release |
Tue, 12 Jan 2010 11:19:02 -0500 |
Adam Chlipala |
Update manual for last two changesets |
Tue, 12 Jan 2010 09:42:13 -0500 |
Adam Chlipala |
New release |
Wed, 30 Dec 2009 09:48:32 -0500 |
Adam Chlipala |
Update manual's description of implicit arguments |
Tue, 29 Dec 2009 13:34:03 -0500 |
Adam Chlipala |
ctextarea; s/header/include in the manual |
Sun, 27 Dec 2009 13:18:32 -0500 |
Adam Chlipala |
Dynamic linking of the runtime system |
Thu, 24 Dec 2009 15:49:52 -0500 |
Adam Chlipala |
Convenience libifying; allow more NULLs with globals |
Thu, 24 Dec 2009 10:02:48 -0500 |
Adam Chlipala |
-tc flag |
Thu, 24 Dec 2009 09:56:09 -0500 |
Adam Chlipala |
Updating the manual |
Thu, 26 Nov 2009 14:20:00 -0500 |
Adam Chlipala |
More fun with cookies |
Tue, 06 Oct 2009 15:59:11 -0400 |
Adam Chlipala |
Initial versioned1 demo working |
Sat, 26 Sep 2009 12:57:01 -0400 |
Adam Chlipala |
New release |
Tue, 25 Aug 2009 17:33:13 -0400 |
Adam Chlipala |
New release |
Sat, 18 Jul 2009 15:08:21 -0400 |
Adam Chlipala |
FFI manual section |
Sat, 18 Jul 2009 13:46:22 -0400 |
Adam Chlipala |
New command-line options; describe simple SQLite build in demo intro |
Sun, 12 Jul 2009 13:16:05 -0400 |
Adam Chlipala |
MySQL query gets up to C linking |
Tue, 23 Jun 2009 14:05:12 -0400 |
Adam Chlipala |
Factor out common request functionality, in preparation for supporting different protocols |
Tue, 23 Jun 2009 12:53:47 -0400 |
Adam Chlipala |
New release |
Tue, 05 May 2009 14:45:21 -0400 |
Adam Chlipala |
Describe GET/POST |
Tue, 05 May 2009 14:36:16 -0400 |
Adam Chlipala |
Constraint syntax |
Tue, 05 May 2009 14:15:55 -0400 |
Adam Chlipala |
on* handlers |
Tue, 05 May 2009 13:21:26 -0400 |
Adam Chlipala |
Revised query types |
Tue, 05 May 2009 12:49:16 -0400 |
Adam Chlipala |
Table constraint Ur code |
Tue, 05 May 2009 11:59:50 -0400 |
Adam Chlipala |
Revising manual through end of Section 6 |
Tue, 05 May 2009 11:45:03 -0400 |
Adam Chlipala |
Revising manual through end of Section 3 |
Sun, 05 Apr 2009 12:37:38 -0400 |
Adam Chlipala |
Update the manual |
Thu, 12 Mar 2009 12:34:39 -0400 |
Adam Chlipala |
Spell-check manual |
Thu, 12 Mar 2009 12:25:05 -0400 |
Adam Chlipala |
Add guard elim rule |
Thu, 12 Mar 2009 12:23:23 -0400 |
Adam Chlipala |
Update compiler phases |
Thu, 12 Mar 2009 12:18:11 -0400 |
Adam Chlipala |
Describe AJAX RPC structure |
Thu, 12 Mar 2009 12:10:02 -0400 |
Adam Chlipala |
Functional-reactive subsection |
Thu, 12 Mar 2009 11:56:10 -0400 |
Adam Chlipala |
Update old Ur/Web library section, before adding new stuff |
Thu, 12 Mar 2009 11:36:27 -0400 |
Adam Chlipala |
Describe folders |
Thu, 12 Mar 2009 11:27:23 -0400 |
Adam Chlipala |
Revise type inference section |
Thu, 12 Mar 2009 11:18:54 -0400 |
Adam Chlipala |
Revise manual, through static semantics |
Thu, 12 Mar 2009 10:38:13 -0400 |
Adam Chlipala |
Revise manual, through end of Syntax |
Thu, 12 Mar 2009 10:16:59 -0400 |
Adam Chlipala |
Revising manual, through main syntax section |
Wed, 24 Dec 2008 10:48:31 -0500 |
Adam Chlipala |
More manual bug reports from megacz |
Sat, 20 Dec 2008 18:24:12 -0500 |
Adam Chlipala |
Typo report from megacz |
Tue, 09 Dec 2008 14:43:43 -0500 |
Adam Chlipala |
Spell check |
Tue, 09 Dec 2008 14:41:19 -0500 |
Adam Chlipala |
Add SQL arithmetic operators |
Tue, 09 Dec 2008 14:06:51 -0500 |
Adam Chlipala |
Proofreading pass |
Tue, 09 Dec 2008 11:57:17 -0500 |
Adam Chlipala |
Building an application |
Tue, 09 Dec 2008 11:52:56 -0500 |
Adam Chlipala |
.urp files |
Tue, 09 Dec 2008 11:40:51 -0500 |
Adam Chlipala |
Installation |
Sun, 07 Dec 2008 15:10:59 -0500 |
Adam Chlipala |
Intro |
Sun, 07 Dec 2008 15:01:21 -0500 |
Adam Chlipala |
The structure of web applications |
Sun, 07 Dec 2008 14:50:03 -0500 |
Adam Chlipala |
Compiler phases |
Sun, 07 Dec 2008 12:21:47 -0500 |
Adam Chlipala |
XML syntax |
Sun, 07 Dec 2008 12:10:51 -0500 |
Adam Chlipala |
DML |
Sun, 07 Dec 2008 12:02:54 -0500 |
Adam Chlipala |
Query syntax |
Sun, 07 Dec 2008 10:59:14 -0500 |
Adam Chlipala |
XML |
Sun, 07 Dec 2008 10:25:55 -0500 |
Adam Chlipala |
Sequences |
Sun, 07 Dec 2008 10:24:23 -0500 |
Adam Chlipala |
DML |
Sun, 07 Dec 2008 10:02:04 -0500 |
Adam Chlipala |
Finish documenting queries; remove a stray [unit] argument |
Sun, 07 Dec 2008 09:19:53 -0500 |
Adam Chlipala |
Start of sql_exp |
Sat, 06 Dec 2008 13:04:48 -0500 |
Adam Chlipala |
Start of Ur/Web library |
Sat, 06 Dec 2008 12:01:12 -0500 |
Adam Chlipala |
Type inference |
Sat, 29 Nov 2008 15:04:57 -0500 |
Adam Chlipala |
Module projection |
Sat, 29 Nov 2008 14:32:33 -0500 |
Adam Chlipala |
selfify |
Sat, 29 Nov 2008 14:09:43 -0500 |
Adam Chlipala |
Module typing |