aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/tag.sml
Commit message (Collapse)AuthorAge
* More telegraphic error text for clashing URL prefixes (closes #111)Gravatar Adam Chlipala2018-10-19
|
* Tag: better support for recursion among page handlers, using union findGravatar Adam Chlipala2016-10-07
|
* Avoid some spurious error messages about link/form incompatibility; change ↵Gravatar Adam Chlipala2013-12-29
| | | | the text of that error message to include RPC handlers
* Start SQL transactions as read-only when possible, based on conservative ↵Gravatar Adam Chlipala2013-12-12
| | | | program analysis
* Fix bugs in support for 'style' and 'dynStyle'Gravatar Adam Chlipala2012-05-06
|
* First part of changes to avoid depending on C function call argument order ↵Gravatar Adam Chlipala2012-01-07
| | | | of evaluation (omitting normal Ur function calls, so far)
* Get a few more source files up-to-date with change to [tag] typeGravatar Adam Chlipala2011-12-28
|
* Don't crash on invalid URL head terms during TagGravatar Adam Chlipala2011-12-03
|
* queryString and effectfulUrlGravatar Adam Chlipala2010-12-26
|
* Allow complex attribute records in TagGravatar Adam Chlipala2010-06-01
|
* Basis.serialize; separate file for mhash; run transactional finishers in ↵Gravatar Adam Chlipala2009-12-31
| | | | reverse order; set needs_sig properly
* Bug fixes in redirect-related stuffGravatar Adam Chlipala2009-12-10
|
* Basis.url and redirectsGravatar Adam Chlipala2009-12-10
|
* Shake bug fix; pattern reduction in ReduceLocalGravatar Adam Chlipala2009-12-08
|
* Better error message for link-handler conflictsGravatar Adam Chlipala2009-11-25
|
* JavaScript urlifying of bools; correct Link attribute escapingGravatar Adam Chlipala2009-08-11
|
* Label exported symbols by effect-ness; factor out some common datatypesGravatar Adam Chlipala2009-04-16
|
* Classes as optional arguments to Basis.tagGravatar Adam Chlipala2009-04-12
|
* Handle nullary transaction pages; avoid marking up headers array when ↵Gravatar Adam Chlipala2008-11-11
| | | | reading cookies
* Especialize working reasonably well; need to add new closure representation passGravatar Adam Chlipala2008-11-09
|
* Compiling a parametrized query the inefficient wayGravatar Adam Chlipala2008-09-02
|
* Cases through monoizeGravatar Adam Chlipala2008-08-03
|
* Datatypes through corifyGravatar Adam Chlipala2008-07-29
|
* Simple forms workGravatar Adam Chlipala2008-07-22
|
* Almost ready to have a form workGravatar Adam Chlipala2008-07-20
|
* A simpler context encodingGravatar Adam Chlipala2008-07-20
|
* Tagging (non-mutual) 'val rec'Gravatar Adam Chlipala2008-07-17
|
* Corifying (non-mutual) 'val rec'Gravatar Adam Chlipala2008-07-17
|
* Proper handling of non-function-call linksGravatar Adam Chlipala2008-07-13
|
* Serving pagesGravatar Adam Chlipala2008-07-13
|
* Handling duplicate tagsGravatar Adam Chlipala2008-07-13
|
* Closure code generation almost thereGravatar Adam Chlipala2008-07-13
|
* Starting with closure linksGravatar Adam Chlipala2008-07-13