summaryrefslogtreecommitdiff
path: root/doc
Commit message (Expand)AuthorAge
* 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
* 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