debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Fix fetching of keycodes for key events	Adam Chlipala	2012-01-15
\|
*	Make wildification a bit smarter about ordering of new wildcard declarations	Adam Chlipala	2012-01-07
\|
*	Rename [Top.id] to avoid clash with [Basis.id]	Adam Chlipala	2011-12-29
\|
*	Finish updating Grid1 demo to work with type inference change	Adam Chlipala	2011-12-29
\|
*	Redo HTML context classification, to keep regular <body> tags out of <table> ↵	Adam Chlipala	2011-12-20
\| \| \| \|	and <tr>
*	In demo prose, note URL for hello demo	Adam Chlipala	2011-07-16
\|
*	Update demo/more for simplified implicit arguments	Adam Chlipala	2011-07-06
\|
*	Fix manual mistake about '@' notations; remove obsolete demos	Adam Chlipala	2010-12-20
\|
*	Small tweaks to update demos for record unification change	Adam Chlipala	2010-12-15
\|
*	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
\|
*	Consider view declarations while shaking	Adam Chlipala	2010-05-27
\|
*	Tone down Reduce and compensate with a new push-lambda-inside-case rule in ↵	Adam Chlipala	2010-03-02
\| \| \| \|	MonoOpt; expand more Basis synonyms in Monoize
*	Changing foldRX to mapX	Adam Chlipala	2010-02-28
\|
*	Allow .urp files without initial blank lines	Adam Chlipala	2010-02-06
\|
*	Make summary unification more conservative; infer implicit arguments after ↵	Adam Chlipala	2009-12-26
\| \| \| \|	applications
*	Especialize uses a termination measure based on number of arguments introduced	Adam Chlipala	2009-12-15
\|
*	Fix new Especialize security bug: do not duplicate free variables as ↵	Adam Chlipala	2009-12-15
\| \| \| \|	specialized arguments
*	Port rest of demo to new cookie signature; fix parsing of multiple incoming ↵	Adam Chlipala	2009-11-26
\| \| \| \|	cookies
*	More fun with cookies	Adam Chlipala	2009-11-26
\|
*	grid0 working in IE	Adam Chlipala	2009-11-22
\|
*	Hooks for measuring how much interesting proving is going on in elaboration	Adam Chlipala	2009-11-17
\|
*	Saving paper decisions	Adam Chlipala	2009-11-07
\|
*	Decision status placeholder	Adam Chlipala	2009-11-02
\|
*	Start of Decision	Adam Chlipala	2009-11-02
\|
*	Seeing others' reviews	Adam Chlipala	2009-11-02
\|
*	Preload current assignment status	Adam Chlipala	2009-11-02
\|
*	Saving paper assignments	Adam Chlipala	2009-11-02
\|
*	Initial form for paper assignment	Adam Chlipala	2009-11-01
\|
*	Bidding interface	Adam Chlipala	2009-11-01
\|
*	Start of bidding implementation compiles	Adam Chlipala	2009-10-31
\|
*	Extend Fuse to work on non-recursive functions	Adam Chlipala	2009-10-25
\|
*	Factor Dnat into separate module	Adam Chlipala	2009-10-25
\|
*	Setting and updating your own review	Adam Chlipala	2009-10-22
\|
*	Initial support for char in SQL	Adam Chlipala	2009-10-22
\|
*	authorship table	Adam Chlipala	2009-10-22
\|
*	Viewing papers	Adam Chlipala	2009-10-22
\|
*	Move stuff from bulkEdit to meta	Adam Chlipala	2009-10-22
\|
*	Title and abstract	Adam Chlipala	2009-10-22
\|
*	Checking deadline; sign-in	Adam Chlipala	2009-10-22
\|
*	Saving changes to user list	Adam Chlipala	2009-10-20
\|
*	Start of user management	Adam Chlipala	2009-10-20
\|
*	Registering for Conference1	Adam Chlipala	2009-10-20
\|
*	Adapted existing demos to tuple pattern-matching	Adam Chlipala	2009-10-20
\|
*	Add tuple pattern-matching at the constructor level	Adam Chlipala	2009-10-20
\|
*	Versioned1 demo working	Adam Chlipala	2009-10-06
\|
*	SELECT DISTINCT; eta expansion during Cjrization	Adam Chlipala	2009-10-06
\|
*	Finalized Orm1 demo	Adam Chlipala	2009-10-06
\|