debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Better treatment of relative paths in .urp files	Adam Chlipala	2010-12-14
\|
*	Fix merging of prefix settings	Adam Chlipala	2010-12-12
\|
*	-prefix command-line option	Adam Chlipala	2010-12-12
\|
*	Change Basis.debug to use the protocol's debug function	Adam Chlipala	2010-12-12
\|
*	minHeap option in .urp files	Adam Chlipala	2010-12-11
\|
*	Comments in .urp files	Adam Chlipala	2010-12-11
\|
*	fix small memory leaks	Marc Weber	2010-12-05
\|
*	New argument to transactional free functions, to specify whether we are ↵	Adam Chlipala	2010-12-04
\| \| \| \|	about to retry
*	Instantiate any Unit unification variables that remain after elaboration	Adam Chlipala	2010-12-02
\|
*	More hnorm during type class resolution	Adam Chlipala	2010-12-02
\|
*	More accurate/conservative leaky type detection in CjrPrint	Adam Chlipala	2010-11-28
\|
*	Fix JavaScript unit unurlification; URL blessing client-side	Adam Chlipala	2010-11-26
\|
*	Fix a bug in C list unurlification	Adam Chlipala	2010-11-21
\|
*	In FastCGI, signal 304 with a header, not the usual HTTP/1.1 line	Adam Chlipala	2010-11-20
\|
*	Fix RPC deserialization of channels	Adam Chlipala	2010-11-19
\|
*	Simplify Basis.strcat calls in MonoOpt	Adam Chlipala	2010-11-19
\|
*	Karn Kallio's patch for static mhash linking	Adam Chlipala	2010-11-18
\|
*	More hnormKind for isUnitCon	Adam Chlipala	2010-11-13
\|
*	Fixes for nasty bugs in Reduce and Especialize	Adam Chlipala	2010-10-19
\|
*	Smarter handling of unification variables for 'kindof' on projections	Adam Chlipala	2010-10-19
\|
*	-limit for running time	Adam Chlipala	2010-10-14
\|
*	Interface for setting memory limits	Adam Chlipala	2010-10-14
\|
*	:::_ notation; switch to TooDeep error message	Adam Chlipala	2010-10-10
\|
*	Fix infinite looping bug in Great Unification Fix	Adam Chlipala	2010-10-10
\|
*	Tweaking unification fix to apply to demo/more	Adam Chlipala	2010-10-10
\|
*	Hopeful fix for the Great Unification Bug	Adam Chlipala	2010-10-10
\|
*	Flex kinds for type-level tuples; ::_ notation	Adam Chlipala	2010-10-10
\|
*	Demo improvements	Adam Chlipala	2010-09-30
\|
*	Fix typing of cut operators; fix lexing of XML comments	Adam Chlipala	2010-09-16
\|
*	Support empty datatypes, which can now be generated via 'variant []'	Adam Chlipala	2010-09-09
\|
*	Shortcut invocations for single .ur files	Adam Chlipala	2010-09-07
\|
*	'tryDml' works with Postgres	Adam Chlipala	2010-09-07
\|
*	Server-side 'onError'	Adam Chlipala	2010-09-07
\|
*	tryDml	Adam Chlipala	2010-09-05
\|
*	Support multiple CSS classes for a single tag	Adam Chlipala	2010-09-05
\|
*	Confirm boxes; proper event handler setting for ctags	Adam Chlipala	2010-08-22
\|
*	Reduce: Inline let-bound variables whose types involve functions	Adam Chlipala	2010-08-22
\|
*	Some post-type-checking support for polymorphic variants	Adam Chlipala	2010-08-21
\|
*	Polymorphic variants	Adam Chlipala	2010-08-19
\|
*	Fix C-side jsification of UTF-8 strings	Adam Chlipala	2010-08-10
\|
*	Better UTF-8 escaping for JavaScript and SQL literals	Adam Chlipala	2010-08-10
\|
*	HTML comments	Adam Chlipala	2010-08-10
\|
*	ML-style comments inside XML	Adam Chlipala	2010-08-10
\|
*	Roll back WHERE checking	Adam Chlipala	2010-07-27
\|
*	equalAny policies	Adam Chlipala	2010-07-27
\|
*	Initial version of equalKnown working for secret	Adam Chlipala	2010-07-27
\|
*	Catch a missed ReduceLocal of field projection annotations	Adam Chlipala	2010-06-13
\|
*	More generous wildification, covering map-records	Adam Chlipala	2010-06-13
\|
*	Another run of Specialize, using ReduceLocal on datatype parameters	Adam Chlipala	2010-06-05
\|
*	Undo fancy wildification; instead, client code should include extra wildcard ↵	Adam Chlipala	2010-06-03
\| \| \| \|	con declarations