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 |
Sat, 29 Nov 2008 13:50:53 -0500 |
Adam Chlipala |
Signature compatibility |
Sat, 29 Nov 2008 12:58:58 -0500 |
Adam Chlipala |
Signature compatibility |
Sat, 29 Nov 2008 11:33:51 -0500 |
Adam Chlipala |
Declaration typing |
Sat, 29 Nov 2008 10:49:47 -0500 |
Adam Chlipala |
Pattern typing |
Sat, 29 Nov 2008 10:34:56 -0500 |
Adam Chlipala |
Typing |
Sat, 29 Nov 2008 10:05:46 -0500 |
Adam Chlipala |
Definitional equality |
Sat, 29 Nov 2008 09:48:10 -0500 |
Adam Chlipala |
Disjointness |
Sat, 29 Nov 2008 09:34:11 -0500 |
Adam Chlipala |
Kinding |
Thu, 27 Nov 2008 16:55:30 -0500 |
Adam Chlipala |
Shorthands |
Thu, 27 Nov 2008 15:43:10 -0500 |
Adam Chlipala |
Declarations and modules |
Thu, 27 Nov 2008 15:27:17 -0500 |
Adam Chlipala |
Expressions |
Thu, 27 Nov 2008 15:06:29 -0500 |
Adam Chlipala |
Patterns |
Thu, 27 Nov 2008 14:57:47 -0500 |
Adam Chlipala |
Signatures |
Thu, 27 Nov 2008 14:38:53 -0500 |
Adam Chlipala |
Start of manual |