summaryrefslogtreecommitdiff
path: root/src/elisp
Commit message (Collapse)AuthorAge
* An Emacs urweb-mode optimization contributed by John WiegleyGravatar Adam Chlipala2015-02-11
|
* New lessSafeFfiGravatar Adam Chlipala2014-05-02
|
* Adjust error message format to match Emacs defaultsGravatar Adam Chlipala2012-05-05
|
* 'ORDER BY RANDOM' (based on a patch from Ron de Bruijn)Gravatar Adam Chlipala2012-02-02
|
* Add LIKE operator to SQL sublanguage.Gravatar Karn Kallio2011-11-23
|
* IF THEN ELSE conditional for SQL.Gravatar Karn Kallio2011-10-14
|
* Tweaked Emacs mode to handle many "->" faster.Gravatar Vladimir Shabanov2011-09-26
|
* Minor tweak to speed up Emacs mode.Gravatar Vladimir Shabanov2011-09-26
|
* Improve detection of XML in urweb-mode; small tutorial improvementGravatar Adam Chlipala2011-08-02
|
* Backpedal on tutorial-motivated urweb-mode changes; add Basis.diffInSeconds ↵Gravatar Adam Chlipala2011-07-22
| | | | and Basis.toSeconds
* First tutorial chapter readyGravatar Adam Chlipala2011-07-16
|
* Tutorial tweaksGravatar Adam Chlipala2011-07-15
|
* Pushing policies throughGravatar Adam Chlipala2010-04-04
|
* Convert to task syntaxGravatar Adam Chlipala2009-12-15
|
* Initializers and setvalGravatar Adam Chlipala2009-12-13
|
* Better record summary error messages; more tweaking SQL usabilityGravatar Adam Chlipala2009-12-13
|
* SELECT DISTINCT; eta expansion during CjrizationGravatar Adam Chlipala2009-10-06
|
* Fix relative precedence of ; and case-stuffGravatar Adam Chlipala2009-06-02
|
* A view query worksGravatar Adam Chlipala2009-04-28
|
* INNER JOINGravatar Adam Chlipala2009-04-28
|
* style declarationsGravatar Adam Chlipala2009-04-12
|
* CHECK constraintsGravatar Adam Chlipala2009-04-09
|
* FOREIGN KEY, without ability to link NULL to NOT NULL (and with some ↵Gravatar Adam Chlipala2009-04-07
| | | | lingering problems in row inference)
* Add primary keys to demoGravatar Adam Chlipala2009-04-07
|
* "Hello world" compiles, after replacing type-level fold with mapGravatar Adam Chlipala2009-02-21
|
* Cookies through elaborateGravatar Adam Chlipala2008-11-06
|
* Parsing 'let'Gravatar Adam Chlipala2008-11-01
|
* sml-util -> urweb-utilGravatar Adam Chlipala2008-10-23
|
* Fix XML indenting to ignore comparison operatorsGravatar Adam Chlipala2008-10-21
|
* Fix XML detection in presence of comparison operatorsGravatar Adam Chlipala2008-10-21
|
* Fix a nasty indent bug, found while working on listFunGravatar Adam Chlipala2008-10-19
|
* Fixing overzealous SQL paren-nesterGravatar Adam Chlipala2008-10-16
|
* Indenting paren-nested SQL expressionsGravatar Adam Chlipala2008-10-16
|
* Indenting simple DML properlyGravatar Adam Chlipala2008-10-16
|
* Indenting SELECT sub-clauses properlyGravatar Adam Chlipala2008-10-16
|
* Crud auto-indented correctlyGravatar Adam Chlipala2008-10-16
|
* Fix problem with sig/struct indentingGravatar Adam Chlipala2008-10-16
|
* Crud indented properly, except for <xml>...</xml> outside parens and sig/structGravatar Adam Chlipala2008-10-16
|
* Removed handling of <,> as operators, for nowGravatar Adam Chlipala2008-10-16
|
* Improving indentation of XML after antiquoteGravatar Adam Chlipala2008-10-16
|
* Proper indenting of normal ML-y code after </xml>Gravatar Adam Chlipala2008-10-16
|
* Special case indenting for <xml>...</xml>Gravatar Adam Chlipala2008-10-16
|
* Fix XML indent not to take two tab-triesGravatar Adam Chlipala2008-10-16
|
* Reasonable indenting for pure XMLGravatar Adam Chlipala2008-10-16
|
* Reusable column handlers for CrudGravatar Adam Chlipala2008-10-14
|
* Syntax highlighting for embedded XMLGravatar Adam Chlipala2008-10-14
|
* Reorder font-lock rules to deal better with CDATAGravatar Adam Chlipala2008-10-13
|
* Good progress on highlighting embedded XMLGravatar Adam Chlipala2008-10-12
|
* Highlighting HTML tagsGravatar Adam Chlipala2008-10-12
|
* Basis indents and type-checks with new twiddle syntaxGravatar Adam Chlipala2008-10-12
|