2012-11-28 |
Adam Chlipala |
Allow any FFI module to declare new HTML tags |
2012-09-04 |
Adam Chlipala |
Manual addition for last changeset |
2012-08-02 |
Adam Chlipala |
Basis.getenv |
2012-07-29 |
Adam Chlipala |
Remove 'class' declaration; now use 'con' instead |
2012-07-21 |
Adam Chlipala |
Top.postFields |
2012-07-21 |
Adam Chlipala |
<active> |
2012-07-21 |
Adam Chlipala |
Basis.giveFocus |
2012-07-21 |
Adam Chlipala |
New event records for key and mouse handlers |
2012-06-03 |
Adam Chlipala |
Lighter-weight encoding of window function use |
2012-06-02 |
Adam Chlipala |
Partitioning and ordering for window functions |
2012-06-02 |
Adam Chlipala |
Track whether SQL expressions may use window functions, in preparation for actual window function support |
2012-05-19 |
Adam Chlipala |
More manual detail on registering error handlers |
2012-05-16 |
Vladimir Shabanov |
Vector fonts in manual |
2012-05-07 |
Adam Chlipala |
Fix manual's grammar for subquery FROM items |
2012-05-06 |
Adam Chlipala |
Clarify need for 'prefix' for FastCGI |
2012-05-06 |
Adam Chlipala |
New optional suffice for 'rewrite' in .urp files: [-] |
2012-05-06 |
Adam Chlipala |
'dynStyle' pseudo-attribute |
2012-05-06 |
Adam Chlipala |
'style' attributes |
2012-05-06 |
Adam Chlipala |
Simplify type of Basis.tag, regarding 'class' attribute; new compatibility parsing of 'class' values given as string literals |
2012-05-05 |
Adam Chlipala |
-dumpTypesOnError |
2012-05-02 |
Edward Z. Yang |
Add support for -boot flag, which allows in-tree execution of Ur/Web |
2012-05-03 |
Adam Chlipala |
Catch duplicate top-level module names; fix dropping of constraints during incremental elaboration; document treatment of record types as type class instance types |
2012-04-29 |
Adam Chlipala |
'urweb daemon start' and 'urweb daemon stop' |
2012-04-22 |
Adam Chlipala |
'linker' .urp directive |
2012-04-22 |
Adam Chlipala |
-unifyMore |
2012-04-21 |
Adam Chlipala |
Antiquote for PRIMARY KEY |
2012-03-14 |
Adam Chlipala |
New JavaScript FFI function: setInnerHTML |
2012-03-13 |
Adam Chlipala |
Clarify necessity of 'effectful' in the manual |
2012-03-10 |
Adam Chlipala |
New release |
2012-02-25 |
Adam Chlipala |
Correct an SQL grammar omission (thanks to Alexei Golovko for spotting the problem) |
2012-02-18 |
Adam Chlipala |
Update manual to fix lexical table and clarify sequencing notation |
2012-02-04 |
Adam Chlipala |
Mention FFI encoding of abstract syntax types |
2012-02-04 |
Adam Chlipala |
Extend and document RANDOM |
2012-02-03 |
Adam Chlipala |
Mention convention for parens in selected expressions |
2011-12-31 |
Adam Chlipala |
More documentation on URL generation and free variables |
2011-12-29 |
Adam Chlipala |
Discuss a subtlety in the semantics of <dyn> |
2011-12-28 |
Adam Chlipala |
Merge |
2011-12-28 |
Adam Chlipala |
More about the JavaScript FFI in the manual |
2011-12-27 |
Adam Chlipala |
'dynClass' pseudo-attribute |
2011-12-21 |
Adam Chlipala |
Refactor HTML contexts to prevent some illegal nestings (that can crash the JavaScript runtime system) |
2011-12-21 |
Adam Chlipala |
Redo HTML context classification, to keep regular <body> tags out of <table> and <tr> |
2011-12-18 |
Adam Chlipala |
Manual typo fix |
2011-12-04 |
Adam Chlipala |
timeFormat .urp directive |
2011-12-03 |
Adam Chlipala |
New 't.*' notation for SELECT |
2011-11-24 |
Adam Chlipala |
Mention Basis.current in manual |
2011-11-21 |
Adam Chlipala |
More complete account of URI determination in structure section |
2011-11-19 |
Adam Chlipala |
COALESCE |
2011-11-14 |
Adam Chlipala |
Fix completely broken manual description of 'view' |
2011-11-05 |
Adam Chlipala |
Fix SQL grammar bug in manual |
2011-10-21 |
Adam Chlipala |
Note a parsing restriction in the manual |
2011-10-20 |
Adam Chlipala |
Some notes on 'T' for update/delete combinators |
2011-10-15 |
Adam Chlipala |
Extend and document 'con' syntax with arguments |
2011-10-15 |
Adam Chlipala |
For new IF, fix Monoize typing and add to manual |
2011-09-30 |
Ron de Bruijn |
Fix searching for underscore elements in PDF files. |
2011-09-24 |
Austin Seipp |
Add an URWEB_PQ_CON environment variable, which overrides the PostgreSQL connection string. |
2011-09-11 |
Adam Chlipala |
New Basis functions: preventDefault and stopPropagation (code contributed by Vladimir Shabanov) |
2011-09-03 |
Adam Chlipala |
An abstract type of IDs |
2011-09-03 |
Adam Chlipala |
New client-side, document-level event handlers |
2011-08-28 |
Adam Chlipala |
Warn about concurrency issues with message-passing |
2011-08-24 |
Adam Chlipala |
Document monadic shorthands |
2011-08-19 |
Adam Chlipala |
Basis.mkMonad |
2011-08-19 |
Adam Chlipala |
Add antiquote for ORDER BY directions |
2011-08-10 |
Adam Chlipala |
Mention transitive dependency calculation for tree shaking |
2011-08-07 |
Adam Chlipala |
'-dumpTypes' |
2011-08-07 |
Adam Chlipala |
Manual: emphasize how great '-tc' is |
2011-08-02 |
Adam Chlipala |
Remove some GCC-specific identifier choice and documentation |
2011-08-02 |
Adam Chlipala |
Introduce URWEB_STACK_SIZE environment variable (based on a patch by Hao Deng) |
2011-07-23 |
Adam Chlipala |
A few more tweaks to support Clang (including ending use of nested functions) |
2011-07-23 |
Adam Chlipala |
Stop using -fno-inline by default |
2011-07-17 |
Adam Chlipala |
Document tutorial features |
2011-07-08 |
Adam Chlipala |
Fix manual syntax for SQL injection |
2011-06-28 |
Adam Chlipala |
Clarify about implicit folder arguments |
2011-06-24 |
Adam Chlipala |
'noXsrfProtection' .urp directive |
2011-06-14 |
Adam Chlipala |
Implicit argument insertion for local variables |
2011-05-31 |
Adam Chlipala |
Explain how to signal an error in a commit handler |
2011-05-29 |
Adam Chlipala |
getHeader and setHeader |
2011-05-29 |
Adam Chlipala |
Configuration detects proper header files for database dev libraries |
2011-05-29 |
Adam Chlipala |
Don't mention 'sessions' in the manual |
2011-05-15 |
Adam Chlipala |
New release |
2011-03-20 |
Adam Chlipala |
'--without-emacs' configure option |
2011-02-04 |
Adam Chlipala |
Subqueries may always return NULL |
2011-01-18 |
Adam Chlipala |
More detail on sources and signals |
2011-01-16 |
Adam Chlipala |
Updating documentation in preparation for a release |
2011-01-06 |
Adam Chlipala |
Thanks to Vag Vagoff, catch some cases of an obsolete notation for guarded types in the manual |
2011-01-02 |
Adam Chlipala |
Add a note about Explify to the manual |
2010-12-26 |
Adam Chlipala |
queryString and effectfulUrl |
2010-12-26 |
Adam Chlipala |
Switch from libmhash to OpenSSL |
2010-12-21 |
Adam Chlipala |
Basis.cdataChar |
2010-12-21 |
Adam Chlipala |
More detail on Especialize in the manual |
2010-12-21 |
Adam Chlipala |
Fix manual mistake about '@' notations; remove obsolete demos |
2010-12-20 |
Adam Chlipala |
Fix manual discussion of tuple syntax |
2010-12-18 |
Adam Chlipala |
Periodic tasks |
2010-12-18 |
Adam Chlipala |
Change tasks to support parametric code; add clientLeaves |
2010-12-18 |
Adam Chlipala |
postBody type |
2010-12-16 |
Adam Chlipala |
Fiddly tweaks |
2010-12-16 |
Adam Chlipala |
Clarify that you aren't supposed to be able to create new XML tags |
2010-12-12 |
Adam Chlipala |
-prefix command-line option |
2010-12-12 |
Adam Chlipala |
Warn about XHTML looseness |
2010-12-11 |
Adam Chlipala |
minHeap option in .urp files |
2010-12-11 |
Adam Chlipala |
Comments in .urp files |
2010-12-11 |
Adam Chlipala |
Clarifying some C FFI details in manual |
2010-12-04 |
Adam Chlipala |
Update manual to track uw_register_transactional() change |
2010-10-14 |
Adam Chlipala |
Documenting limits |
2010-10-11 |
Adam Chlipala |
:::_ notation; switch to TooDeep error message |
2010-10-10 |
Adam Chlipala |
Flex kinds for type-level tuples; ::_ notation |
2010-09-30 |
Adam Chlipala |
Mention empty-third-field 'rewrite' directives |
2010-09-07 |
Adam Chlipala |
Updating documentation |
2010-04-17 |
Adam Chlipala |
Forward reference to URI convention |
2010-03-25 |
Adam Chlipala |
'AS' clauses for expression columns may be omitted |
2010-03-25 |
Adam Chlipala |
Add subqueries to the manual |
2010-03-16 |
Adam Chlipala |
Update manual for COUNT(col) |
2010-03-09 |
Adam Chlipala |
safeGet |
2010-02-27 |
Adam Chlipala |
benignEffectful |
2010-02-27 |
Adam Chlipala |
Basic analysis of tag and CSS class usage |
2010-02-11 |
Adam Chlipala |
sigfile directive |
2010-02-10 |
Adam Chlipala |
Tips for CGI scripts without httpd.conf access |
2010-02-09 |
Adam Chlipala |
Update manual with Gian's experience building in OS X |
2010-02-07 |
Adam Chlipala |
Expand 'row types' in first paragraph of manual |
2010-02-06 |
Adam Chlipala |
Allow .urp files without initial blank lines |
2010-01-31 |
Adam Chlipala |
Remove mention of (hopefully) fixed problem with ./configure |
2010-01-30 |
Adam Chlipala |
New release |
2010-01-12 |
Adam Chlipala |
Update manual for last two changesets |
2010-01-12 |
Adam Chlipala |
New release |
2009-12-30 |
Adam Chlipala |
Update manual's description of implicit arguments |
2009-12-29 |
Adam Chlipala |
ctextarea; s/header/include in the manual |
2009-12-27 |
Adam Chlipala |
Dynamic linking of the runtime system |
2009-12-24 |
Adam Chlipala |
Convenience libifying; allow more NULLs with globals |
2009-12-24 |
Adam Chlipala |
-tc flag |
2009-12-24 |
Adam Chlipala |
Updating the manual |
2009-11-26 |
Adam Chlipala |
More fun with cookies |
2009-10-06 |
Adam Chlipala |
Initial versioned1 demo working |
2009-09-26 |
Adam Chlipala |
New release |
2009-08-25 |
Adam Chlipala |
New release |
2009-07-18 |
Adam Chlipala |
FFI manual section |
2009-07-18 |
Adam Chlipala |
New command-line options; describe simple SQLite build in demo intro |
2009-07-12 |
Adam Chlipala |
MySQL query gets up to C linking |
2009-06-23 |
Adam Chlipala |
Factor out common request functionality, in preparation for supporting different protocols |
2009-06-23 |
Adam Chlipala |
New release |
2009-05-05 |
Adam Chlipala |
Describe GET/POST |
2009-05-05 |
Adam Chlipala |
Constraint syntax |
2009-05-05 |
Adam Chlipala |
on* handlers |
2009-05-05 |
Adam Chlipala |
Revised query types |
2009-05-05 |
Adam Chlipala |
Table constraint Ur code |
2009-05-05 |
Adam Chlipala |
Revising manual through end of Section 6 |
2009-05-05 |
Adam Chlipala |
Revising manual through end of Section 3 |
2009-04-05 |
Adam Chlipala |
Update the manual |
2009-03-12 |
Adam Chlipala |
Spell-check manual |
2009-03-12 |
Adam Chlipala |
Add guard elim rule |
2009-03-12 |
Adam Chlipala |
Update compiler phases |
2009-03-12 |
Adam Chlipala |
Describe AJAX RPC structure |
2009-03-12 |
Adam Chlipala |
Functional-reactive subsection |
2009-03-12 |
Adam Chlipala |
Update old Ur/Web library section, before adding new stuff |
2009-03-12 |
Adam Chlipala |
Describe folders |
2009-03-12 |
Adam Chlipala |
Revise type inference section |
2009-03-12 |
Adam Chlipala |
Revise manual, through static semantics |
2009-03-12 |
Adam Chlipala |
Revise manual, through end of Syntax |
2009-03-12 |
Adam Chlipala |
Revising manual, through main syntax section |
2008-12-24 |
Adam Chlipala |
More manual bug reports from megacz |
2008-12-20 |
Adam Chlipala |
Typo report from megacz |
2008-12-09 |
Adam Chlipala |
Spell check |
2008-12-09 |
Adam Chlipala |
Add SQL arithmetic operators |
2008-12-09 |
Adam Chlipala |
Proofreading pass |
2008-12-09 |
Adam Chlipala |
Building an application |
2008-12-09 |
Adam Chlipala |
.urp files |
2008-12-09 |
Adam Chlipala |
Installation |
2008-12-07 |
Adam Chlipala |
Intro |
2008-12-07 |
Adam Chlipala |
The structure of web applications |
2008-12-07 |
Adam Chlipala |
Compiler phases |
2008-12-07 |
Adam Chlipala |
XML syntax |
2008-12-07 |
Adam Chlipala |
DML |
2008-12-07 |
Adam Chlipala |
Query syntax |
2008-12-07 |
Adam Chlipala |
XML |
2008-12-07 |
Adam Chlipala |
Sequences |
2008-12-07 |
Adam Chlipala |
DML |
2008-12-07 |
Adam Chlipala |
Finish documenting queries; remove a stray [unit] argument |
2008-12-07 |
Adam Chlipala |
Start of sql_exp |
2008-12-06 |
Adam Chlipala |
Start of Ur/Web library |
2008-12-06 |
Adam Chlipala |
Type inference |
2008-11-29 |
Adam Chlipala |
Module projection |
2008-11-29 |
Adam Chlipala |
selfify |
2008-11-29 |
Adam Chlipala |
Module typing |
2008-11-29 |
Adam Chlipala |
Signature compatibility |
2008-11-29 |
Adam Chlipala |
Signature compatibility |
2008-11-29 |
Adam Chlipala |
Declaration typing |
2008-11-29 |
Adam Chlipala |
Pattern typing |
2008-11-29 |
Adam Chlipala |
Typing |
2008-11-29 |
Adam Chlipala |
Definitional equality |
2008-11-29 |
Adam Chlipala |
Disjointness |
2008-11-29 |
Adam Chlipala |
Kinding |
2008-11-27 |
Adam Chlipala |
Shorthands |
2008-11-27 |
Adam Chlipala |
Declarations and modules |
2008-11-27 |
Adam Chlipala |
Expressions |
2008-11-27 |
Adam Chlipala |
Patterns |
2008-11-27 |
Adam Chlipala |
Signatures |
2008-11-27 |
Adam Chlipala |
Start of manual |