log doc/manual.tex

age author description
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