summaryrefslogtreecommitdiff
path: root/src/elisp
Commit message (Collapse)AuthorAge
* 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
|
* More indentingGravatar Adam Chlipala2008-10-12
|
* Get type definitions font-locking againGravatar Adam Chlipala2008-10-12
|
* Customized font facesGravatar Adam Chlipala2008-10-12
|
* First sort-of-working run of urweb-modeGravatar Adam Chlipala2008-10-12