summaryrefslogtreecommitdiff
path: root/doc
Commit message (Collapse)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 ↵Gravatar Adam Chlipala2013-10-11
| | | | | | | | suggestion by Ron de Bruijn]
* | 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 ↵Gravatar Adam Chlipala2013-10-11
| | | | | | | | suggestion by Ron de Bruijn]
| * 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 ↵Gravatar Adam Chlipala2012-06-02
| | | | | | | | actual window function support
| * Track whether SQL expressions may use window functions, in preparation for ↵Gravatar Adam Chlipala2012-06-02
| | | | | | | | actual window function support
* | 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
| |