urweb - functional programming language for web programming

	Commit message (Collapse)	Author	Age
*	Prevent unifications of 'others' pieces in record summaries, when both ↵	Adam Chlipala	2012-01-05
\| \| \| \|	pieces contain unification variables (to prevent undesired unifications)
*	Fix handling of quotes in generating C literals	Adam Chlipala	2012-01-02
\|
*	Adapt Monoize serialization to handle freshly created variant types	Adam Chlipala	2012-01-02
\|
*	Add arguments to [type] declarations and signature items	Adam Chlipala	2012-01-02
\|
*	More documentation on URL generation and free variables	Adam Chlipala	2011-12-31
\|
*	Undo change to dyn() in runtime system	Adam Chlipala	2011-12-31
\|
*	Error messages about applying 'dynClass' to tags that don't like it	Adam Chlipala	2011-12-31
\|
*	Add dynamic content before running its scripts, to get IDs in scope; fix ↵	Adam Chlipala	2011-12-29
\| \| \| \|	generation of Postgres queries with blobs
*	Rename [Top.id] to avoid clash with [Basis.id]	Adam Chlipala	2011-12-29
\|
*	Discuss a subtlety in the semantics of <dyn>	Adam Chlipala	2011-12-29
\|
*	Finish updating Grid1 demo to work with type inference change	Adam Chlipala	2011-12-29
\|
*	Get a few more source files up-to-date with change to [tag] type	Adam Chlipala	2011-12-28
\|
*	Merge	Adam Chlipala	2011-12-28
\|\
* \|	More about the JavaScript FFI in the manual	Adam Chlipala	2011-12-28
\| \|
\| *	'dynClass' pseudo-attribute	Adam Chlipala	2011-12-27
\|/
*	Refactor HTML contexts to prevent some illegal nestings (that can crash the ↵	Adam Chlipala	2011-12-20
\| \| \| \|	JavaScript runtime system)
*	Redo HTML context classification, to keep regular <body> tags out of <table> ↵	Adam Chlipala	2011-12-20
\| \| \| \|	and <tr>
*	Order constructors properly in wildification, to avoid spuriously ↵	Adam Chlipala	2011-12-18
\| \| \| \|	displeasing the new scoping check
*	Add a new scoping check for unification variables, to fix a type inference bug	Adam Chlipala	2011-12-18
\|
*	Manual typo fix	Adam Chlipala	2011-12-17
\|
*	Allow .urp libraries to set prefix	Adam Chlipala	2011-12-17
\|
*	SQL lower() and upper() functions	Adam Chlipala	2011-12-17
\|
*	Fix C-side unurlification of unboxable Option datatypes	Adam Chlipala	2011-12-17
\|
*	Some new List functions, based on code by Ron de Bruijn	Adam Chlipala	2011-12-11
\|
*	Treat [naughtyDebug] as pure for optimization purposes	Adam Chlipala	2011-12-05
\|
*	Fix client-side [int] parsing and extend server-side [time] parsing to ↵	Adam Chlipala	2011-12-04
\| \| \| \|	support a format that also works portably in JavaScript
*	Make last change nicer	Adam Chlipala	2011-12-04
\|
*	Stop [read] from raising an exception for invalid [int] strings	Adam Chlipala	2011-12-04
\|
*	timeFormat .urp directive	Adam Chlipala	2011-12-04
\|
*	Don't crash on invalid URL head terms during Tag	Adam Chlipala	2011-12-03
\|
*	New 't.*' notation for SELECT	Adam Chlipala	2011-12-03
\|
*	Nicer record summary error messages	Adam Chlipala	2011-12-03
\|
*	Change client-side debug to use console.debug	Adam Chlipala	2011-12-03
\|
*	Client-side strlenGe	Adam Chlipala	2011-12-03
\|
*	Better error messages about non-SQL-izability of types	Adam Chlipala	2011-12-03
\|
*	Avoid setting a Date's time with a non-integer value	Adam Chlipala	2011-12-03
\|
*	Change client-side int parsing to match server-side, in ignoring initial zeroes	Adam Chlipala	2011-12-03
\|
*	Allow sources to be returned by RPCs	Adam Chlipala	2011-12-03
\|
*	Catching integer divisions by zero	Adam Chlipala	2011-12-03
\|
*	Update Coq semantics for 8.3pl2	Adam Chlipala	2011-11-30
\|
*	Return to working version mode	Adam Chlipala	2011-11-27
\|
*	New release	Adam Chlipala	2011-11-27
\|
*	Switch to YUI strftime	Adam Chlipala	2011-11-26
\|
*	Support 'safeGet' in demos	Adam Chlipala	2011-11-25
\|
*	Fix server-side urlification of custom Option types	Adam Chlipala	2011-11-25
\|
*	Announce sidedness errors with source locations	Adam Chlipala	2011-11-25
\|
*	Tweak error message about Basis.get to use that name instead of internal name	Adam Chlipala	2011-11-24
\|
*	Catch more <ccheckbox> events	Adam Chlipala	2011-11-24
\|
*	Client-side timef	Adam Chlipala	2011-11-24
\|
*	Mention Basis.current in manual	Adam Chlipala	2011-11-24
\|