| 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 |
