debian-urweb - Debian packaging for Ur/Web

	Commit message (Expand)	Author	Age
*	Complete overhaul: cache queries based on immediate query result, not eventua...	Ziv Scully	2014-10-14
*	New .urp directive: file	Adam Chlipala	2014-07-31
*	Added javascript for Basis.strsindex	Samuel Dukhovni	2014-07-28
*	Allow '+' char in blessMime	Sergey Mironov	2014-06-05
*	New lessSafeFfi	Adam Chlipala	2014-05-02
*	HTML5 data-* attributes	Adam Chlipala	2014-05-02
*	Add Datetime JavaScript support.	Patrick Hurst	2014-02-17
*	neverInline	Adam Chlipala	2014-02-09
*	Stop quoting Postgres identifiers in 'noMangleSql' mode	Adam Chlipala	2014-01-15
*	Add 'html5' .urp directive	Adam Chlipala	2014-01-09
*	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