| Sun, 07 Dec 2008 12:02:54 -0500 |
Adam Chlipala |
Query syntax |
| Sun, 07 Dec 2008 11:19:13 -0500 |
Adam Chlipala |
Treat user-provided error messages as XML |
| 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 |
