debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Introduce URWEB_STACK_SIZE environment variable (based on a patch by Hao Deng)	Adam Chlipala	2011-08-02
\|
*	A few error message improvements	Adam Chlipala	2011-08-02
\|
*	Tracking and printing of version numbers (based on a patch by Austin Seipp)	Adam Chlipala	2011-08-02
\|
*	Client-side 'addSeconds'	Adam Chlipala	2011-07-24
\|
*	<image>	Adam Chlipala	2011-07-24
\|
*	A few more tweaks to support Clang (including ending use of nested functions)	Adam Chlipala	2011-07-23
\|
*	Stop using -fno-inline by default	Adam Chlipala	2011-07-23
\|
*	Backpedal on tutorial-motivated urweb-mode changes; add Basis.diffInSeconds ↵	Adam Chlipala	2011-07-22
\| \| \| \|	and Basis.toSeconds
*	Change cookie signature comparison to resist timing attacks (based on code ↵	Adam Chlipala	2011-07-19
\| \| \| \|	suggested by Robin Green and Austin Seipp)
*	First tutorial chapter ready	Adam Chlipala	2011-07-16
\|
*	Preserve tutorial indentation	Adam Chlipala	2011-07-15
\|
*	Make 'static' protocol handle unlimited retry	Adam Chlipala	2011-07-15
\|
*	Tutorial tweaks	Adam Chlipala	2011-07-15
\|
*	Tutorial section headings	Adam Chlipala	2011-07-15
\|
*	Allow HTML in tutorial comments	Adam Chlipala	2011-07-15
\|
*	Beautified tutorial HTML	Adam Chlipala	2011-07-15
\|
*	Generated pretty-printed HTML for a simple tutorial source file	Adam Chlipala	2011-07-15
\|
*	Narrow Maybe match case.	Karn Kallio	2011-07-06
\|
*	Add client-side Basis.now and pretty-printing of times	Adam Chlipala	2011-07-06
\|
*	Change Basis.rand to use cryptographically secure generation	Adam Chlipala	2011-07-03
\|
*	Basis.currentUrlHasQueryString	Adam Chlipala	2011-07-03
\|
*	For non-debug builds, leave out source location info in what is shown to user	Adam Chlipala	2011-07-03
\|
*	Workaround for old IE handling of <option> with no 'value' attribute	Adam Chlipala	2011-06-26
\|
*	'noXsrfProtection' .urp directive	Adam Chlipala	2011-06-24
\|
*	'show' instance for 'css_class'	Adam Chlipala	2011-06-23
\|
*	xtable monoize to string.	Karn Kallio	2011-06-22
\|
*	Fixes to work nicely with OS X and Clang (thanks to Austin Seipp)	Adam Chlipala	2011-06-17
\|
*	Handle spaces in filenames passed to GCC (caught by Zachary Tatlock)	Adam Chlipala	2011-06-15
\|
*	Implicit argument insertion for local variables	Adam Chlipala	2011-06-14
\|
*	Keep user-set response headers on indirect returns	Adam Chlipala	2011-06-12
\|
*	Handle 'prefix' directives for HTTPS	Adam Chlipala	2011-06-01
\|
*	Proper C pretty-printing of floats in scientific notation	Adam Chlipala	2011-05-31
\|
*	Fix bug with string literals in unAs	Adam Chlipala	2011-05-30
\|
*	Remember to remove explicit table projections in SQLite UPDATE SET values	Adam Chlipala	2011-05-30
\|
*	getHeader and setHeader	Adam Chlipala	2011-05-29
\|
*	Configuration detects proper header files for database dev libraries	Adam Chlipala	2011-05-29
\|
*	Properly handle form textboxes that have sources	Adam Chlipala	2011-05-29
\|
*	Prevent early clearing of context post data	Adam Chlipala	2011-05-22
\|
*	Grandfather into release: Use latest Debian testing autotools, etc.	Adam Chlipala	2011-05-15
\|
*	Escape less-than in JavaScript strings	Adam Chlipala	2011-05-12
\|
*	Include type attribute in script tag for generating valid XHTML.	Karn Kallio	2011-05-06
\|
*	Corify Basis.unit to empty record; this is needed so that specialize	Karn Kallio	2011-05-06
\| \| \| \|	can see that they are equivalent.
*	Fix bug in projection of constructors from modules in class rules.	Karn Kallio	2011-04-30
\|
*	Fix for projection of type class constructors in signatures.	Karn Kallio	2011-04-25
\|
*	Before allowing an indirect return, check (dynamically, for now) that we ↵	Adam Chlipala	2011-04-17
\| \| \| \|	aren't in an RPC handler
*	Remove commented-out readUtc code; add back indeterminate tm_isdst	Adam Chlipala	2011-04-15
\|
*	Fix getting UTC time from formatted strings ( in uw_Basis_readUtc ).	Karn Kallio	2011-04-12
\| \| \| \| \| \|	Corrects 2 things: - timezones with offsets not an integer number of hours - double correcting for daylight savings time
*	Send newly created sources with messages to clients	Adam Chlipala	2011-04-09
\|
*	Each context gets its own non-repeating sequence of source numbers	Adam Chlipala	2011-04-09
\|
*	To generate server-side source JavaScript, try both the old and new ↵	Adam Chlipala	2011-03-28
\| \| \| \|	strategies; remove an unsound optimization from MonoOpt and make MonoReduce work harder to compensate