summaryrefslogtreecommitdiff
path: root/doc
Commit message (Expand)AuthorAge
...
* 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
* New 't.*' notation for SELECTGravatar Adam Chlipala2011-12-03
* Mention Basis.current in manualGravatar Adam Chlipala2011-11-24
* More complete account of URI determination in structure sectionGravatar Adam Chlipala2011-11-20
* COALESCEGravatar Adam Chlipala2011-11-19
* Fix completely broken manual description of 'view'Gravatar Adam Chlipala2011-11-14
* Fix SQL grammar bug in manualGravatar Adam Chlipala2011-11-05
* Note a parsing restriction in the manualGravatar Adam Chlipala2011-10-21
* Some notes on 'T' for update/delete combinatorsGravatar Adam Chlipala2011-10-20
* Extend and document 'con' syntax with argumentsGravatar Adam Chlipala2011-10-15
* For new IF, fix Monoize typing and add to manualGravatar Adam Chlipala2011-10-15
* Fix searching for underscore elements in PDF files.Gravatar Ron de Bruijn2011-09-30
* Add an URWEB_PQ_CON environment variable, which overrides the PostgreSQL conn...Gravatar Austin Seipp2011-09-23
* New Basis functions: preventDefault and stopPropagation (code contributed by ...Gravatar Adam Chlipala2011-09-11
* An abstract type of IDsGravatar Adam Chlipala2011-09-03
* New client-side, document-level event handlersGravatar Adam Chlipala2011-09-03
* Warn about concurrency issues with message-passingGravatar Adam Chlipala2011-08-28
* Document monadic shorthandsGravatar Adam Chlipala2011-08-24
* Basis.mkMonadGravatar Adam Chlipala2011-08-19
* Add antiquote for ORDER BY directionsGravatar Adam Chlipala2011-08-19
* Mention transitive dependency calculation for tree shakingGravatar Adam Chlipala2011-08-10
* '-dumpTypes'Gravatar Adam Chlipala2011-08-07
* Manual: emphasize how great '-tc' isGravatar Adam Chlipala2011-08-07
* Improve detection of XML in urweb-mode; small tutorial improvementGravatar Adam Chlipala2011-08-02
* Remove some GCC-specific identifier choice and documentationGravatar Adam Chlipala2011-08-02
* Introduce URWEB_STACK_SIZE environment variable (based on a patch by Hao Deng)Gravatar Adam Chlipala2011-08-02
* A few more tweaks to support Clang (including ending use of nested functions)Gravatar Adam Chlipala2011-07-23
* Stop using -fno-inline by defaultGravatar Adam Chlipala2011-07-23
* Tutorial: hyperlinks for metaprogramming and row typesGravatar Adam Chlipala2011-07-20
* Tutorial: link to demo and manualGravatar Adam Chlipala2011-07-17
* Copy some project front-page text to the tutorial introGravatar Adam Chlipala2011-07-17
* Document tutorial featuresGravatar Adam Chlipala2011-07-17
* Tutorial proof-readingGravatar Adam Chlipala2011-07-17
* Tutorial: TLC meets type classes and modulesGravatar Adam Chlipala2011-07-17
* Tutorial: foldersGravatar Adam Chlipala2011-07-17
* Tutorial: up to First-Class PolymorphismGravatar Adam Chlipala2011-07-17
* Tutorial: Names and RecordsGravatar Adam Chlipala2011-07-17
* First tutorial chapter readyGravatar Adam Chlipala2011-07-16
* Module system tutorialGravatar Adam Chlipala2011-07-16
* Finish tutorial section about common ML/Haskell featuresGravatar Adam Chlipala2011-07-15
* Preserve tutorial indentationGravatar Adam Chlipala2011-07-15
* Make 'static' protocol handle unlimited retryGravatar Adam Chlipala2011-07-15
* Tutorial tweaksGravatar Adam Chlipala2011-07-15
* Tutorial section headingsGravatar Adam Chlipala2011-07-15
* Allow HTML in tutorial commentsGravatar Adam Chlipala2011-07-15
* Beautified tutorial HTMLGravatar Adam Chlipala2011-07-15
* Generated pretty-printed HTML for a simple tutorial source fileGravatar Adam Chlipala2011-07-15