| Sun, 04 Apr 2010 14:37:19 -0400 |
Adam Chlipala |
Generated basic dummy Iflow conditions |
| Sun, 04 Apr 2010 12:29:34 -0400 |
Adam Chlipala |
Pushing policies through |
| Sat, 17 Apr 2010 13:57:10 -0400 |
Adam Chlipala |
Forward reference to URI convention |
| Thu, 01 Apr 2010 17:23:17 -0400 |
Adam Chlipala |
New release |
| Thu, 01 Apr 2010 17:21:16 -0400 |
Adam Chlipala |
Relational operators portability |
| Sun, 28 Mar 2010 10:10:35 -0400 |
Adam Chlipala |
Make SELECT FROM clauses optional |
| 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 |
| Thu, 25 Mar 2010 16:06:04 -0400 |
Adam Chlipala |
Subquery FROM items |
| Thu, 25 Mar 2010 15:44:24 -0400 |
Adam Chlipala |
Subquery expressions |
| Thu, 25 Mar 2010 13:04:49 -0400 |
Adam Chlipala |
New release |
| Tue, 16 Mar 2010 16:17:02 -0400 |
Adam Chlipala |
More informative tag mismatch error message |
| Tue, 16 Mar 2010 16:02:54 -0400 |
Adam Chlipala |
Update manual for COUNT(col) |
| Tue, 16 Mar 2010 15:54:35 -0400 |
Adam Chlipala |
COUNT(col) |
| Tue, 16 Mar 2010 15:39:16 -0400 |
Adam Chlipala |
Remove unpoly1 |
| Tue, 16 Mar 2010 10:09:01 -0400 |
Adam Chlipala |
Undo an Especialize change that turned out to be unecessary |
| Tue, 09 Mar 2010 18:43:29 -0500 |
Adam Chlipala |
Re-add accidentally-removed parsing case for 'effectful' |
| Tue, 09 Mar 2010 18:28:44 -0500 |
Adam Chlipala |
safeGet |
| Tue, 09 Mar 2010 17:50:42 -0500 |
Adam Chlipala |
Spiffed-up Split1; remove spurious error message triggered by 'open'ing a module containing a functor |
| Sat, 06 Mar 2010 19:14:48 -0500 |
Adam Chlipala |
Got split1 working, but noticed a nasty type inference bug with transplanted unification variables |
| Sat, 06 Mar 2010 16:15:26 -0500 |
Adam Chlipala |
Standard library moduls Incl and Mem; tweaks to Especialize and Unpoly |
| Thu, 04 Mar 2010 16:59:13 -0500 |
Adam Chlipala |
Dead code elimination in Reduce code |
| Thu, 04 Mar 2010 14:20:26 -0500 |
Adam Chlipala |
-verbose |
| Thu, 04 Mar 2010 13:47:16 -0500 |
Adam Chlipala |
Louder jscomp; toUpper/Lower fix for JavaScript |
| Tue, 02 Mar 2010 16:00:48 -0500 |
Adam Chlipala |
Tone down Reduce and compensate with a new push-lambda-inside-case rule in MonoOpt; expand more Basis synonyms in Monoize |
| Tue, 02 Mar 2010 10:33:49 -0500 |
Adam Chlipala |
Monad.foldMapR |
| Tue, 02 Mar 2010 09:46:17 -0500 |
Adam Chlipala |
String.isPrefix |
| Sun, 28 Feb 2010 15:46:41 -0500 |
Adam Chlipala |
Fix parsing of space-free .urp directives; use 'class' for 'c*' tags |
| Sun, 28 Feb 2010 13:06:10 -0500 |
Adam Chlipala |
Changing foldRX to mapX |
| Sat, 27 Feb 2010 16:49:11 -0500 |
Adam Chlipala |
benignEffectful |
