summaryrefslogtreecommitdiff
path: root/doc/manual.tex
Commit message (Expand)AuthorAge
* Manual: add a pointer to background reading on inference rule notationGravatar Adam Chlipala2013-11-17
* New header file scheme to support FFI code in either of C or C++ [based on su...Gravatar Adam Chlipala2013-10-11
* Make transactional FFI functions effectful by defaultGravatar Adam Chlipala2013-10-10
* Manual entries for -ccompiler and -print-ccompilerGravatar Adam Chlipala2013-10-10
* Plugging some gaps in the manualGravatar Adam Chlipala2013-04-21
* Basis.tryRpcGravatar Adam Chlipala2013-04-16
* Manual: Reveal JavaScript representation of transaction type familyGravatar Adam Chlipala2013-03-12
* Allow any FFI module to declare new HTML tagsGravatar Adam Chlipala2012-11-28
* Manual addition for last changesetGravatar Adam Chlipala2012-09-04
* Basis.getenvGravatar Adam Chlipala2012-08-02
* Remove 'class' declaration; now use 'con' insteadGravatar Adam Chlipala2012-07-29
* Top.postFieldsGravatar Adam Chlipala2012-07-21
* <active>Gravatar Adam Chlipala2012-07-21
* Basis.giveFocusGravatar Adam Chlipala2012-07-21
* New event records for key and mouse handlersGravatar Adam Chlipala2012-07-21
* Lighter-weight encoding of window function useGravatar Adam Chlipala2012-06-03
* Partitioning and ordering for window functionsGravatar Adam Chlipala2012-06-02
* Track whether SQL expressions may use window functions, in preparation for ac...Gravatar Adam Chlipala2012-06-02
* More manual detail on registering error handlersGravatar Adam Chlipala2012-05-19
* Vector fonts in manualGravatar Vladimir Shabanov2012-05-17
* Fix manual's grammar for subquery FROM itemsGravatar Adam Chlipala2012-05-07
* Clarify need for 'prefix' for FastCGIGravatar Adam Chlipala2012-05-06
* New optional suffice for 'rewrite' in .urp files: [-]Gravatar Adam Chlipala2012-05-06
* 'dynStyle' pseudo-attributeGravatar Adam Chlipala2012-05-06
* 'style' attributesGravatar Adam Chlipala2012-05-06
* Simplify type of Basis.tag, regarding 'class' attribute; new compatibility pa...Gravatar Adam Chlipala2012-05-06
* -dumpTypesOnErrorGravatar Adam Chlipala2012-05-05
* Add support for -boot flag, which allows in-tree execution of Ur/WebGravatar Edward Z. Yang2012-05-02
* Catch duplicate top-level module names; fix dropping of constraints during in...Gravatar Adam Chlipala2012-05-03
* 'urweb daemon start' and 'urweb daemon stop'Gravatar Adam Chlipala2012-04-29
* 'linker' .urp directiveGravatar Adam Chlipala2012-04-22
* -unifyMoreGravatar Adam Chlipala2012-04-22
* Antiquote for PRIMARY KEYGravatar Adam Chlipala2012-04-21
* New JavaScript FFI function: setInnerHTMLGravatar Adam Chlipala2012-03-14
* Clarify necessity of 'effectful' in the manualGravatar Adam Chlipala2012-03-13
* New releaseGravatar Adam Chlipala2012-03-10
* Correct an SQL grammar omission (thanks to Alexei Golovko for spotting the pr...Gravatar Adam Chlipala2012-02-25
* Update manual to fix lexical table and clarify sequencing notationGravatar Adam Chlipala2012-02-18
* Mention FFI encoding of abstract syntax typesGravatar Adam Chlipala2012-02-04
* Extend and document RANDOMGravatar Adam Chlipala2012-02-04
* Mention convention for parens in selected expressionsGravatar Adam Chlipala2012-02-03
* More documentation on URL generation and free variablesGravatar Adam Chlipala2011-12-31
* Discuss a subtlety in the semantics of <dyn>Gravatar Adam Chlipala2011-12-29
* MergeGravatar Adam Chlipala2011-12-28
|\
* | More about the JavaScript FFI in the manualGravatar Adam Chlipala2011-12-28
| * 'dynClass' pseudo-attributeGravatar Adam Chlipala2011-12-27
|/
* Refactor HTML contexts to prevent some illegal nestings (that can crash the J...Gravatar Adam Chlipala2011-12-20
* Redo HTML context classification, to keep regular <body> tags out of <table> ...Gravatar Adam Chlipala2011-12-20
* Manual typo fixGravatar Adam Chlipala2011-12-17
* timeFormat .urp directiveGravatar Adam Chlipala2011-12-04