debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Demo links escape frames	Adam Chlipala	2018-03-30
\|
*	Demo instructions: -noEmacs	Adam Chlipala	2017-08-11
\|
*	Proofread and tweak new demo prose	Adam Chlipala	2016-12-31
\|
*	notes a place to see where a database table is defined	TheNotary	2016-10-21
\|
*	reflows intro tutorial	TheNotary	2016-10-21
\|
*	Simplify listEdit demo (thanks, Michael Rohs!)	Adam Chlipala	2016-10-05
\|
*	Merge in upstream	Patrick Hurst	2014-02-14
\|
*	Allow any FFI module to declare new HTML tags	Adam Chlipala	2012-11-28
\|
*	Update demo code for key/mouse handler change	Adam Chlipala	2012-07-21
\|
*	Lighter-weight encoding of window function use	Adam Chlipala	2012-06-03
\|
*	Track whether SQL expressions may use window functions, in preparation for ↵	Adam Chlipala	2012-06-02
\| \| \| \|	actual window function support
*	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
\|