summaryrefslogtreecommitdiff
path: root/src/urweb.grm
Commit message (Collapse)AuthorAge
* Grandfathered change for release: fix extended 'val' rule in grammarGravatar Adam Chlipala2017-07-20
|
* Allow inexhaustive patterns for lefthand sides of top-level 'val' declarationsGravatar Adam Chlipala2017-07-12
|
* Use 'id' attribute for <form>Gravatar Adam Chlipala2016-12-31
|
* Allow qualified variable references in record literalsGravatar Adam Chlipala2016-12-31
|
* Support for <meta> tagsGravatar Adam Chlipala2016-05-15
|
* Set associativity of SQL 'LIKE'Gravatar Adam Chlipala2016-02-23
|
* Merge PVar and PWild, to get more reasonable type-class resolutionGravatar Adam Chlipala2016-02-07
|
* Apply syntax sugar for 'class' attribute to <form> as wellGravatar Adam Chlipala2015-06-08
|
* Some new infix operators, contributed by Gabriel RibaGravatar Adam Chlipala2015-03-05
|
* New antiquote syntax for ORDER BYGravatar Adam Chlipala2014-12-23
|
* More HTML5 AJAX widgetsGravatar Adam Chlipala2014-11-16
|
* Some more HTML5 input typesGravatar Adam Chlipala2014-11-16
|
* More simple textual HTML5 input typesGravatar Adam Chlipala2014-11-16
|
* Make 'required' and 'autofocus' attributes Boolean; add a syntax extension ↵Gravatar Adam Chlipala2014-11-16
| | | | for parsing their usual HTML syntax
* Differentiate between HTML and normal string literalsGravatar Adam Chlipala2014-08-01
|
* 'aria-*' attributesGravatar Adam Chlipala2014-08-01
|
* New syntactic shorthand for antiquoting subqueriesGravatar Adam Chlipala2014-06-25
|
* let..where..endGravatar Adam Chlipala2014-06-11
|
* New lessSafeFfiGravatar Adam Chlipala2014-05-02
|
* Monadic bind supports patternsGravatar Adam Chlipala2014-05-02
|
* HTML5 data-* attributesGravatar Adam Chlipala2014-05-02
|
* Allow parens grouping joins in FROM clausesGravatar Adam Chlipala2014-04-29
|
* Get -root working properly againGravatar Adam Chlipala2013-09-26
|
* Allow [where con] to descend within submodule structure; open submodule ↵Gravatar Adam Chlipala2013-08-19
| | | | constraints while checking later signature items
* Add some name-mangling rules to allow XML attribute 'name' and attributes ↵Gravatar Adam Chlipala2012-12-27
| | | | with dashes
* Allow any FFI module to declare new HTML tagsGravatar Adam Chlipala2012-11-28
|
* Remove 'class' declaration; now use 'con' insteadGravatar Adam Chlipala2012-07-29
|
* Lighter-weight encoding of window function useGravatar Adam Chlipala2012-06-03
|
* Partitioning and ordering for window functionsGravatar Adam Chlipala2012-06-02
|
* Compiled a window function useGravatar Adam Chlipala2012-06-02
|
* Fix hyphenation for demos; parse CSS class 'table' as 'tabl'Gravatar Adam Chlipala2012-05-13
|
* 'dynStyle' pseudo-attributeGravatar Adam Chlipala2012-05-06
|
* 'style' attributesGravatar Adam Chlipala2012-05-06
|
* Simplify type of Basis.tag, regarding 'class' attribute; new compatibility ↵Gravatar Adam Chlipala2012-05-06
| | | | parsing of 'class' values given as string literals
* Initial support for reusing elaboration resultsGravatar Adam Chlipala2012-04-29
|
* Antiquote for PRIMARY KEYGravatar Adam Chlipala2012-04-21
|
* Extend and document RANDOMGravatar Adam Chlipala2012-02-04
|
* 'ORDER BY RANDOM' (based on a patch from Ron de Bruijn)Gravatar Adam Chlipala2012-02-02
|
* Add arguments to [type] declarations and signature itemsGravatar Adam Chlipala2012-01-02
|
* Error messages about applying 'dynClass' to tags that don't like itGravatar Adam Chlipala2011-12-31
|
* Get a few more source files up-to-date with change to [tag] typeGravatar Adam Chlipala2011-12-28
|
* 'dynClass' pseudo-attributeGravatar Adam Chlipala2011-12-27
|
* New 't.*' notation for SELECTGravatar Adam Chlipala2011-12-03
|
* Add LIKE operator to SQL sublanguage.Gravatar Karn Kallio2011-11-23
|
* COALESCEGravatar Adam Chlipala2011-11-19
|
* Fix parsing conflictGravatar Adam Chlipala2011-10-15
|
* Extend and document 'con' syntax with argumentsGravatar Adam Chlipala2011-10-15
|
* IF THEN ELSE conditional for SQL.Gravatar Karn Kallio2011-10-14
|
* Resugar tag names before printing parse errorsGravatar Adam Chlipala2011-09-22
|
* Add antiquote for ORDER BY directionsGravatar Adam Chlipala2011-08-19
|