| Commit message (Expand) | Author | Age |
* | Discuss a subtlety in the semantics of <dyn> | Adam Chlipala | 2011-12-29 |
* | Finish updating Grid1 demo to work with type inference change | Adam Chlipala | 2011-12-29 |
* | Get a few more source files up-to-date with change to [tag] type | Adam Chlipala | 2011-12-28 |
* | Merge | Adam Chlipala | 2011-12-28 |
|\ |
|
* | | More about the JavaScript FFI in the manual | Adam Chlipala | 2011-12-28 |
| * | 'dynClass' pseudo-attribute | Adam Chlipala | 2011-12-27 |
|/ |
|
* | Refactor HTML contexts to prevent some illegal nestings (that can crash the J... | Adam Chlipala | 2011-12-20 |
* | Redo HTML context classification, to keep regular <body> tags out of <table> ... | Adam Chlipala | 2011-12-20 |
* | Order constructors properly in wildification, to avoid spuriously displeasing... | Adam Chlipala | 2011-12-18 |
* | Add a new scoping check for unification variables, to fix a type inference bug | Adam Chlipala | 2011-12-18 |
* | Manual typo fix | Adam Chlipala | 2011-12-17 |
* | Allow .urp libraries to set prefix | Adam Chlipala | 2011-12-17 |
* | SQL lower() and upper() functions | Adam Chlipala | 2011-12-17 |
* | Fix C-side unurlification of unboxable Option datatypes | Adam Chlipala | 2011-12-17 |
* | Some new List functions, based on code by Ron de Bruijn | Adam Chlipala | 2011-12-11 |
* | Treat [naughtyDebug] as pure for optimization purposes | Adam Chlipala | 2011-12-05 |
* | Fix client-side [int] parsing and extend server-side [time] parsing to suppor... | Adam Chlipala | 2011-12-04 |
* | Make last change nicer | Adam Chlipala | 2011-12-04 |
* | Stop [read] from raising an exception for invalid [int] strings | Adam Chlipala | 2011-12-04 |
* | timeFormat .urp directive | Adam Chlipala | 2011-12-04 |
* | Don't crash on invalid URL head terms during Tag | Adam Chlipala | 2011-12-03 |
* | New 't.*' notation for SELECT | Adam Chlipala | 2011-12-03 |
* | Nicer record summary error messages | Adam Chlipala | 2011-12-03 |
* | Change client-side debug to use console.debug | Adam Chlipala | 2011-12-03 |
* | Client-side strlenGe | Adam Chlipala | 2011-12-03 |
* | Better error messages about non-SQL-izability of types | Adam Chlipala | 2011-12-03 |
* | Avoid setting a Date's time with a non-integer value | Adam Chlipala | 2011-12-03 |
* | Change client-side int parsing to match server-side, in ignoring initial zeroes | Adam Chlipala | 2011-12-03 |
* | Allow sources to be returned by RPCs | Adam Chlipala | 2011-12-03 |
* | Catching integer divisions by zero | Adam Chlipala | 2011-12-03 |
* | Update Coq semantics for 8.3pl2 | Adam Chlipala | 2011-11-30 |
* | Return to working version mode | Adam Chlipala | 2011-11-27 |
* | New release | Adam Chlipala | 2011-11-27 |
* | Switch to YUI strftime | Adam Chlipala | 2011-11-26 |
* | Support 'safeGet' in demos | Adam Chlipala | 2011-11-25 |
* | Fix server-side urlification of custom Option types | Adam Chlipala | 2011-11-25 |
* | Announce sidedness errors with source locations | Adam Chlipala | 2011-11-25 |
* | Tweak error message about Basis.get to use that name instead of internal name | Adam Chlipala | 2011-11-24 |
* | Catch more <ccheckbox> events | Adam Chlipala | 2011-11-24 |
* | Client-side timef | Adam Chlipala | 2011-11-24 |
* | Mention Basis.current in manual | Adam Chlipala | 2011-11-24 |
* | Add LIKE operator to SQL sublanguage. | Karn Kallio | 2011-11-23 |
* | Yet another fix to previous change | Adam Chlipala | 2011-11-20 |
* | Fix bug in previous change | Adam Chlipala | 2011-11-20 |
* | More complete account of URI determination in structure section | Adam Chlipala | 2011-11-20 |
* | Don't treat comment-only lines as blank, in determining split point of .urp f... | Adam Chlipala | 2011-11-20 |
* | COALESCE | Adam Chlipala | 2011-11-19 |
* | Better error messages when client-side constructs are detected in Cjrize | Adam Chlipala | 2011-11-19 |
* | Fix catalog querying about empty tables | Adam Chlipala | 2011-11-18 |
* | Regenerate proper Autotools files; fix JS stringToTime and add stringToTime_e... | Adam Chlipala | 2011-11-18 |