debian-urweb - Debian packaging for Ur/Web

	Commit message (Expand)	Author	Age
*	noMangleSql .urp directive	Adam Chlipala	2014-01-04
*	Add some URL-related benignEffectful functions	Adam Chlipala	2014-01-01
*	Add JavaScript mappings for isprint and ord	Adam Chlipala	2013-12-09
*	Make transactional FFI functions effectful by default	Adam Chlipala	2013-10-10
*	Add -ccompiler command line argument	Sergey Mironov	2013-08-20
*	Reduce default inlining thresholds; improve a let-substitution optimization t...	Adam Chlipala	2012-09-14
*	Basis.getenv	Adam Chlipala	2012-08-02
*	Add more global mouse event hooks	Adam Chlipala	2012-07-23
*	Top.postFields	Adam Chlipala	2012-07-21
*	Basis.giveFocus	Adam Chlipala	2012-07-21
*	New event records for key and mouse handlers	Adam Chlipala	2012-07-21
*	Lighter-weight encoding of window function use	Adam Chlipala	2012-06-03
*	Partitioning and ordering for window functions	Adam Chlipala	2012-06-02
*	Run-time CSS style validation	Adam Chlipala	2012-05-06
*	New optional suffice for 'rewrite' in .urp files: [-]	Adam Chlipala	2012-05-06
*	Add support for -boot flag, which allows in-tree execution of Ur/Web	Edward Z. Yang	2012-05-02
*	Basis.toMilliseconds and diffInMilliseconds, based on a patch from Gergely Buday	Adam Chlipala	2012-02-04
*	'ORDER BY RANDOM' (based on a patch from Ron de Bruijn)	Adam Chlipala	2012-02-02
*	Allow .urp libraries to set prefix	Adam Chlipala	2011-12-17
*	Treat [naughtyDebug] as pure for optimization purposes	Adam Chlipala	2011-12-05
*	timeFormat .urp directive	Adam Chlipala	2011-12-04
*	Change client-side debug to use console.debug	Adam Chlipala	2011-12-03
*	Client-side strlenGe	Adam Chlipala	2011-12-03
*	Client-side timef	Adam Chlipala	2011-11-24
*	Regenerate proper Autotools files; fix JS stringToTime and add stringToTime_e...	Adam Chlipala	2011-11-18
*	Add read instance for time on the client	Ron de Bruijn	2011-11-17
*	Better error messages about server-side use of client-side functions	Adam Chlipala	2011-11-14
*	Primitive int/float functions: ceil, float, round, trunc	Adam Chlipala	2011-10-08
*	New Basis functions: preventDefault and stopPropagation (code contributed by ...	Adam Chlipala	2011-09-11
*	An abstract type of IDs	Adam Chlipala	2011-09-03
*	New client-side, document-level event handlers	Adam Chlipala	2011-09-03
*	Client-side 'addSeconds'	Adam Chlipala	2011-07-24
*	Backpedal on tutorial-motivated urweb-mode changes; add Basis.diffInSeconds a...	Adam Chlipala	2011-07-22
*	Add client-side Basis.now and pretty-printing of times	Adam Chlipala	2011-07-06
*	'noXsrfProtection' .urp directive	Adam Chlipala	2011-06-24
*	Handle 'prefix' directives for HTTPS	Adam Chlipala	2011-06-01
*	getHeader and setHeader	Adam Chlipala	2011-05-29
*	Ignore JavaScript events in Effectize; allow extra spaces for 'jsFunc'; eat c...	Adam Chlipala	2011-03-10
*	Allow debug and naughtyDebug in client-side code, implemented with alert	Adam Chlipala	2011-03-02
*	Notice that Basis.now is effectful; smarter JavaScript encoding of initial so...	Adam Chlipala	2011-02-08
*	Patch from Vladimir Shabanov to support implicit passing of 'time' values fro...	Adam Chlipala	2011-01-20
*	alwaysInline .urp setting	Adam Chlipala	2011-01-13
*	Some more string parsing functions; naughtyDebug	Adam Chlipala	2011-01-11
*	queryString and effectfulUrl	Adam Chlipala	2010-12-26
*	JavaScript compilation of time comparison; fix lexing of XML that includes op...	Adam Chlipala	2010-12-24
*	[De]serialization of times in JavaScript; proper integer division in JavaScri...	Adam Chlipala	2010-12-23
*	Implement constrained type kinding properly; bump mono inline threshhold	Adam Chlipala	2010-12-20
*	minHeap option in .urp files	Adam Chlipala	2010-12-11
*	Fix JavaScript unit unurlification; URL blessing client-side	Adam Chlipala	2010-11-26
*	-limit for running time	Adam Chlipala	2010-10-14