| Thu, 04 Sep 2014 08:40:14 -0400 |
Adam Chlipala |
In computing command lines, put filenames inside of quotes, to support spaces and other funky characters nicely |
| Sat, 30 Aug 2014 08:48:41 -0400 |
Adam Chlipala |
Return to working version mode |
| Sat, 30 Aug 2014 08:28:59 -0400 |
Adam Chlipala |
New release |
| Sun, 24 Aug 2014 11:43:49 -0400 |
Adam Chlipala |
Extend ScriptCheck to take RPCs into account |
| Sat, 23 Aug 2014 11:59:34 +0000 |
Sergey Mironov |
Check realloc's return code to prevent segfault on out of memoty condition |
| Mon, 07 Jul 2014 10:05:04 +0400 |
Sergey Mironov |
Add 'role' data attribute. |
| Tue, 19 Aug 2014 11:23:26 -0400 |
Adam Chlipala |
Return to working version mode |
| Tue, 19 Aug 2014 11:17:39 -0400 |
Adam Chlipala |
<cselect> and <coption> type fixes (grandfathered into release) |
| Tue, 19 Aug 2014 11:08:25 -0400 |
Adam Chlipala |
New release |
| Sun, 17 Aug 2014 15:56:43 -0400 |
Adam Chlipala |
A new test for <button> |
| Sun, 17 Aug 2014 18:28:37 +0000 |
Sergey Mironov |
Allow Body tags inside cformTags |
| Sun, 17 Aug 2014 13:07:56 -0400 |
Adam Chlipala |
New phase: Dbmodecheck |
| Sun, 10 Aug 2014 13:40:53 -0400 |
Ziv Scully |
Adds AJAX-oriented widget cpassword. |
| Fri, 15 Aug 2014 18:25:56 -0400 |
Adam Chlipala |
Don't use uw_malloc() or equivalent in generating error messages while parsing HTTP request |
| Fri, 15 Aug 2014 07:11:31 +0000 |
Sergey Mironov |
Add tests/dbupload2.* files |
| Thu, 07 Aug 2014 09:28:41 -0400 |
Adam Chlipala |
Return to working version mode |
| Thu, 07 Aug 2014 09:17:52 -0400 |
Adam Chlipala |
New release |
| Wed, 06 Aug 2014 09:50:02 -0400 |
Adam Chlipala |
MonoReduce bug involving 'error' |
| Fri, 01 Aug 2014 16:11:36 -0400 |
Adam Chlipala |
When unifying constructor-level unification variables, also unify their kinds |
| Fri, 01 Aug 2014 15:44:17 -0400 |
Adam Chlipala |
Differentiate between HTML and normal string literals |
| Fri, 01 Aug 2014 11:43:44 -0400 |
Adam Chlipala |
'aria-*' attributes |
| Thu, 31 Jul 2014 09:56:41 -0400 |
Adam Chlipala |
New .urp directive: file |
| Mon, 28 Jul 2014 20:18:43 -0400 |
Samuel Dukhovni |
Added javascript for Basis.strsindex |
| Tue, 29 Jul 2014 14:46:06 -0400 |
Adam Chlipala |
Retweak the last tweak to allow type inference to succeed in a strict superset of the places where it used to succeed |
| Tue, 29 Jul 2014 14:38:50 -0400 |
Adam Chlipala |
Small tweak to ordering of unification rules, to support better record matching |
| Sat, 26 Jul 2014 09:39:45 -0400 |
Adam Chlipala |
Manual: Heuristic compilation warning |
| Sat, 26 Jul 2014 09:26:11 -0400 |
Adam Chlipala |
Another MonoReduce fix |
| Mon, 21 Jul 2014 08:11:03 -0400 |
Adam Chlipala |
Fix index-matching bug in MonoReduce effect calculation |
