Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Manual: Reveal JavaScript representation of transaction type family | Adam Chlipala | 2013-03-12 | |
| | ||||
* | Allow any FFI module to declare new HTML tags | Adam Chlipala | 2012-11-28 | |
| | ||||
* | Manual addition for last changeset | Adam Chlipala | 2012-09-04 | |
| | ||||
* | Update tutorial for Ur/Web changes | Adam Chlipala | 2012-09-03 | |
| | ||||
* | Basis.getenv | Adam Chlipala | 2012-08-02 | |
| | ||||
* | Remove 'class' declaration; now use 'con' instead | Adam Chlipala | 2012-07-29 | |
| | ||||
* | Top.postFields | Adam Chlipala | 2012-07-21 | |
| | ||||
* | <active> | Adam Chlipala | 2012-07-21 | |
| | ||||
* | Basis.giveFocus | Adam Chlipala | 2012-07-21 | |
| | ||||
* | New event records for key and mouse handlers | Adam Chlipala | 2012-07-21 | |
| | ||||
* | Lighter-weight encoding of window function use | Adam Chlipala | 2012-06-03 | |
| | ||||
* | Partitioning and ordering for window functions | Adam Chlipala | 2012-06-02 | |
| | ||||
* | Track whether SQL expressions may use window functions, in preparation for ↵ | Adam Chlipala | 2012-06-02 | |
| | | | | actual window function support | |||
* | More manual detail on registering error handlers | Adam Chlipala | 2012-05-19 | |
| | ||||
* | Vector fonts in manual | Vladimir Shabanov | 2012-05-17 | |
| | ||||
* | Fix manual's grammar for subquery FROM items | Adam Chlipala | 2012-05-07 | |
| | ||||
* | Clarify need for 'prefix' for FastCGI | Adam Chlipala | 2012-05-06 | |
| | ||||
* | New optional suffice for 'rewrite' in .urp files: [-] | Adam Chlipala | 2012-05-06 | |
| | ||||
* | 'dynStyle' pseudo-attribute | Adam Chlipala | 2012-05-06 | |
| | ||||
* | 'style' attributes | Adam Chlipala | 2012-05-06 | |
| | ||||
* | Simplify type of Basis.tag, regarding 'class' attribute; new compatibility ↵ | Adam Chlipala | 2012-05-06 | |
| | | | | parsing of 'class' values given as string literals | |||
* | -dumpTypesOnError | Adam Chlipala | 2012-05-05 | |
| | ||||
* | Add support for -boot flag, which allows in-tree execution of Ur/Web | Edward Z. Yang | 2012-05-02 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | The boot flag rewrites most hardcoded paths to point to the build directory, and also forces static compilation. This is convenient for developing Ur/Web, or if you cannot 'sudo make install' Ur/Web. The following changes were made: * Header files were moved to include/urweb instead of include; this lets FFI users point their C_INCLUDE_PATH at this directory at write <urweb/urweb.h>. For internal Ur/Web executables, we simply pass -I$PATH/include/urweb as normal. * Differentiate between LIB and SRCLIB; SRCLIB is Ur and JavaScript source files, while LIB is compiled products from libtool. For in-tree compilation these live in different places. * No longer reference Config for paths; instead use Settings; these settings can be changed dynamically by Compiler.enableBoot () (TODO: add a disableBoot function.) * config.h is now generated directly in include/urweb/config.h, for consistency's sake (especially since it gets installed along with the rest of the headers!) * All of the autotools build products got updated. * The linkStatic field in protocols now only contains the name of the build product, and not the absolute path. Future users have to be careful not to reference the Settings files to early, lest they get an old version (this was the source of two bugs during development of this patch.) | |||
* | Catch duplicate top-level module names; fix dropping of constraints during ↵ | Adam Chlipala | 2012-05-03 | |
| | | | | incremental elaboration; document treatment of record types as type class instance types | |||
* | 'urweb daemon start' and 'urweb daemon stop' | Adam Chlipala | 2012-04-29 | |
| | ||||
* | 'linker' .urp directive | Adam Chlipala | 2012-04-22 | |
| | ||||
* | -unifyMore | Adam Chlipala | 2012-04-22 | |
| | ||||
* | Antiquote for PRIMARY KEY | Adam Chlipala | 2012-04-21 | |
| | ||||
* | New JavaScript FFI function: setInnerHTML | Adam Chlipala | 2012-03-14 | |
| | ||||
* | Clarify necessity of 'effectful' in the manual | Adam Chlipala | 2012-03-13 | |
| | ||||
* | New release | Adam Chlipala | 2012-03-10 | |
| | ||||
* | Correct an SQL grammar omission (thanks to Alexei Golovko for spotting the ↵ | Adam Chlipala | 2012-02-25 | |
| | | | | problem) | |||
* | Update manual to fix lexical table and clarify sequencing notation | Adam Chlipala | 2012-02-18 | |
| | ||||
* | Mention FFI encoding of abstract syntax types | Adam Chlipala | 2012-02-04 | |
| | ||||
* | Extend and document RANDOM | Adam Chlipala | 2012-02-04 | |
| | ||||
* | Mention convention for parens in selected expressions | Adam Chlipala | 2012-02-03 | |
| | ||||
* | More documentation on URL generation and free variables | Adam Chlipala | 2011-12-31 | |
| | ||||
* | Discuss a subtlety in the semantics of <dyn> | Adam Chlipala | 2011-12-29 | |
| | ||||
* | 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 ↵ | Adam Chlipala | 2011-12-20 | |
| | | | | JavaScript runtime system) | |||
* | Redo HTML context classification, to keep regular <body> tags out of <table> ↵ | Adam Chlipala | 2011-12-20 | |
| | | | | and <tr> | |||
* | Manual typo fix | Adam Chlipala | 2011-12-17 | |
| | ||||
* | timeFormat .urp directive | Adam Chlipala | 2011-12-04 | |
| | ||||
* | New 't.*' notation for SELECT | Adam Chlipala | 2011-12-03 | |
| | ||||
* | Mention Basis.current in manual | Adam Chlipala | 2011-11-24 | |
| | ||||
* | More complete account of URI determination in structure section | Adam Chlipala | 2011-11-20 | |
| | ||||
* | COALESCE | Adam Chlipala | 2011-11-19 | |
| | ||||
* | Fix completely broken manual description of 'view' | Adam Chlipala | 2011-11-14 | |
| |