| Wed, 28 Dec 2011 10:30:56 -0500 |
Adam Chlipala |
Merge |
| Wed, 28 Dec 2011 10:30:37 -0500 |
Adam Chlipala |
More about the JavaScript FFI in the manual |
| Tue, 27 Dec 2011 16:20:48 -0500 |
Adam Chlipala |
'dynClass' pseudo-attribute |
| Tue, 20 Dec 2011 21:06:25 -0500 |
Adam Chlipala |
Refactor HTML contexts to prevent some illegal nestings (that can crash the JavaScript runtime system) |
| Tue, 20 Dec 2011 19:02:04 -0500 |
Adam Chlipala |
Redo HTML context classification, to keep regular <body> tags out of <table> and <tr> |
| Sun, 18 Dec 2011 12:00:36 -0500 |
Adam Chlipala |
Order constructors properly in wildification, to avoid spuriously displeasing the new scoping check |
| Sun, 18 Dec 2011 11:29:13 -0500 |
Adam Chlipala |
Add a new scoping check for unification variables, to fix a type inference bug |
| Sat, 17 Dec 2011 20:42:39 -0500 |
Adam Chlipala |
Manual typo fix |
| Sat, 17 Dec 2011 13:10:23 -0500 |
Adam Chlipala |
Allow .urp libraries to set prefix |
| Sat, 17 Dec 2011 12:01:31 -0500 |
Adam Chlipala |
SQL lower() and upper() functions |
| Sat, 17 Dec 2011 09:24:31 -0500 |
Adam Chlipala |
Fix C-side unurlification of unboxable Option datatypes |
| Sun, 11 Dec 2011 15:02:55 -0500 |
Adam Chlipala |
Some new List functions, based on code by Ron de Bruijn |
| Mon, 05 Dec 2011 10:43:06 -0500 |
Adam Chlipala |
Treat [naughtyDebug] as pure for optimization purposes |
| Sun, 04 Dec 2011 16:32:06 -0500 |
Adam Chlipala |
Fix client-side [int] parsing and extend server-side [time] parsing to support a format that also works portably in JavaScript |
| Sun, 04 Dec 2011 15:18:41 -0500 |
Adam Chlipala |
Make last change nicer |
| Sun, 04 Dec 2011 15:13:53 -0500 |
Adam Chlipala |
Stop [read] from raising an exception for invalid [int] strings |
| Sun, 04 Dec 2011 14:40:12 -0500 |
Adam Chlipala |
timeFormat .urp directive |
| Sat, 03 Dec 2011 17:25:51 -0500 |
Adam Chlipala |
Don't crash on invalid URL head terms during Tag |
| Sat, 03 Dec 2011 17:07:34 -0500 |
Adam Chlipala |
New 't.*' notation for SELECT |
| Sat, 03 Dec 2011 16:39:45 -0500 |
Adam Chlipala |
Nicer record summary error messages |
| Sat, 03 Dec 2011 16:25:09 -0500 |
Adam Chlipala |
Change client-side debug to use console.debug |
| Sat, 03 Dec 2011 16:05:06 -0500 |
Adam Chlipala |
Client-side strlenGe |
| Sat, 03 Dec 2011 15:59:21 -0500 |
Adam Chlipala |
Better error messages about non-SQL-izability of types |
| Sat, 03 Dec 2011 10:13:36 -0500 |
Adam Chlipala |
Avoid setting a Date's time with a non-integer value |
| Sat, 03 Dec 2011 10:07:50 -0500 |
Adam Chlipala |
Change client-side int parsing to match server-side, in ignoring initial zeroes |
| Sat, 03 Dec 2011 10:00:10 -0500 |
Adam Chlipala |
Allow sources to be returned by RPCs |
| Sat, 03 Dec 2011 09:44:07 -0500 |
Adam Chlipala |
Catching integer divisions by zero |
| Wed, 30 Nov 2011 15:28:56 -0500 |
Adam Chlipala |
Update Coq semantics for 8.3pl2 |
| Sun, 27 Nov 2011 15:32:06 -0500 |
Adam Chlipala |
Return to working version mode |
| Sun, 27 Nov 2011 15:12:44 -0500 |
Adam Chlipala |
New release |
