debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Change error message display order: only show disjointness/type class ↵	Adam Chlipala	2011-10-15
\| \| \| \|	failures if all record unifications succeeded
*	Improved unification of record literals in type class resolution	Adam Chlipala	2011-10-15
\|
*	Extend and document 'con' syntax with arguments	Adam Chlipala	2011-10-15
\|
*	For new IF, fix Monoize typing and add to manual	Adam Chlipala	2011-10-15
\|
*	IF THEN ELSE conditional for SQL.	Karn Kallio	2011-10-14
\|
*	Primitive int/float functions: ceil, float, round, trunc	Adam Chlipala	2011-10-08
\|
*	Fix wildification for signatures with synonyms	Adam Chlipala	2011-10-08
\|
*	Basis.null	Adam Chlipala	2011-10-06
\|
*	Tweaked Emacs mode to handle many "->" faster.	Vladimir Shabanov	2011-09-26
\|
*	Minor tweak to speed up Emacs mode.	Vladimir Shabanov	2011-09-26
\|
*	Add an URWEB_PQ_CON environment variable, which overrides the PostgreSQL ↵	Austin Seipp	2011-09-23
\| \| \| \|	connection string.
*	Resugar tag names before printing parse errors	Adam Chlipala	2011-09-22
\|
*	New Basis functions: preventDefault and stopPropagation (code contributed by ↵	Adam Chlipala	2011-09-11
\| \| \| \|	Vladimir Shabanov)
*	Disable C optimization in debug mode	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
\|
*	Better detection of type class witnesses in local bindings	Adam Chlipala	2011-09-03
\|
*	Gentle handling of back-button returns to pages with stale message-passing ↵	Adam Chlipala	2011-08-28
\| \| \| \|	credentials
*	Warn about concurrency issues with message-passing	Adam Chlipala	2011-08-28
\|
*	Postgres deadlock triggers unlimited retry	Adam Chlipala	2011-08-28
\|
*	Fix another list unurlification segfault bug; List.foldlMi	Adam Chlipala	2011-08-21
\|
*	Add prototypes for [un]urlification functions	Adam Chlipala	2011-08-21
\|
*	Fix crash in list unurlification	Adam Chlipala	2011-08-21
\|
*	Basis.mkMonad	Adam Chlipala	2011-08-19
\|
*	Add antiquote for ORDER BY directions	Adam Chlipala	2011-08-19
\|
*	Add timestamps to 'app.js' filenames, to prevent inappropriate caching by ↵	Adam Chlipala	2011-08-19
\| \| \| \|	browsers
*	Fix bug in JavaScript embedding of lists	Adam Chlipala	2011-08-15
\|
*	Compiler frees as much memory as possible before passing control to C compiler	Adam Chlipala	2011-08-15
\|
*	Fix list urlification	Adam Chlipala	2011-08-14
\|
*	Remove commented-out code	Adam Chlipala	2011-08-14
\|
*	Handle case where shakeExp can remove datatype.	Karn Kallio	2011-08-12
\|
*	Remove some unnecessary parens	Adam Chlipala	2011-08-14
\|
*	Distribute applications of "arrow type" ECase across branches.	Karn Kallio	2011-08-11
\|
*	'-dumpTypes'	Adam Chlipala	2011-08-07
\|
*	Better wildification, avoiding some unintentional variable capture	Adam Chlipala	2011-08-06
\|
*	Configure correct C compiler options for Pthreads	Adam Chlipala	2011-08-04
\|
*	Fix opening of shadowing, principal-signatured modules that open other modules	Adam Chlipala	2011-08-04
\|
*	Improve detection of XML in urweb-mode; small tutorial improvement	Adam Chlipala	2011-08-02
\|
*	Compile self-tail-calls as gotos	Adam Chlipala	2011-08-02
\|
*	Remove some GCC-specific identifier choice and documentation	Adam Chlipala	2011-08-02
\|
*	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
\|