summaryrefslogtreecommitdiff
path: root/doc
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
| * MergeGravatar Adam Chlipala2013-12-09
| |\
| * | Rename <activeHead> to <script> and make it work properlyGravatar Adam Chlipala2013-12-09
| | * Small reformatting and documentation for '-print-cinclude'Gravatar Adam Chlipala2013-12-06
| |/
| * 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
| * Plugging some gaps in the manualGravatar Adam Chlipala2013-04-21
* | Basis.tryRpcGravatar Adam Chlipala2013-04-16
| * Basis.tryRpcGravatar Adam Chlipala2013-04-16
* | Manual: Reveal JavaScript representation of transaction type familyGravatar Adam Chlipala2013-03-12
| * 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
| * Allow any FFI module to declare new HTML tagsGravatar Adam Chlipala2012-11-28
* | Manual addition for last changesetGravatar Adam Chlipala2012-09-04
* | Update tutorial for Ur/Web changesGravatar Adam Chlipala2012-09-03
| * Manual addition for last changesetGravatar Adam Chlipala2012-09-04
| * Update tutorial for Ur/Web changesGravatar Adam Chlipala2012-09-03
* | Basis.getenvGravatar Adam Chlipala2012-08-02
| * Basis.getenvGravatar Adam Chlipala2012-08-02
* | Remove 'class' declaration; now use 'con' insteadGravatar Adam Chlipala2012-07-29
| * Remove 'class' declaration; now use 'con' insteadGravatar Adam Chlipala2012-07-29
* | Top.postFieldsGravatar Adam Chlipala2012-07-21
| * Top.postFieldsGravatar Adam Chlipala2012-07-21
* | <active>Gravatar Adam Chlipala2012-07-21
| * <active>Gravatar Adam Chlipala2012-07-21
* | Basis.giveFocusGravatar Adam Chlipala2012-07-21
| * Basis.giveFocusGravatar Adam Chlipala2012-07-21
* | New event records for key and mouse handlersGravatar 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
| * Lighter-weight encoding of window function useGravatar Adam Chlipala2012-06-03
* | Partitioning and ordering for window functionsGravatar Adam Chlipala2012-06-02
| * 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
| * 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
| * More manual detail on registering error handlersGravatar Adam Chlipala2012-05-19
* | Vector fonts in manualGravatar Vladimir Shabanov2012-05-17
| * Vector fonts in manualGravatar Vladimir Shabanov2012-05-17
* | Fix manual's grammar for subquery FROM itemsGravatar Adam Chlipala2012-05-07
| * Fix manual's grammar for subquery FROM itemsGravatar Adam Chlipala2012-05-07
* | Clarify need for 'prefix' for FastCGIGravatar Adam Chlipala2012-05-06
| * Clarify need for 'prefix' for FastCGIGravatar Adam Chlipala2012-05-06
* | New optional suffice for 'rewrite' in .urp files: [-]Gravatar Adam Chlipala2012-05-06