debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
...
*	Displayed an alert dialog	Adam Chlipala	2008-12-19
\|
*	Creation of sources in server code	Adam Chlipala	2008-12-19
\|
*	Monad type class seems to be working	Adam Chlipala	2008-12-19
\|
*	Initial conversion to arbitrary-kind classes	Adam Chlipala	2008-12-19
\|
*	Add initial C support for reactive	Adam Chlipala	2008-12-19
\|
*	Add SQL arithmetic operators	Adam Chlipala	2008-12-09
\|
*	Treat user-provided error messages as XML	Adam Chlipala	2008-12-07
\|
*	Finish documenting queries; remove a stray [unit] argument	Adam Chlipala	2008-12-07
\|
*	Avoid Especializing polymorphic code	Adam Chlipala	2008-11-27
\|
*	Ditch use of ElabEnv.env in Especialize, to realize big speed-up	Adam Chlipala	2008-11-27
\|
*	Untangle and shake within Especialize loop	Adam Chlipala	2008-11-27
\|
*	Optimize CoreUntangle	Adam Chlipala	2008-11-27
\|
*	Remove some isUnitCon cases	Adam Chlipala	2008-11-27
\|
*	Catch another unneeded lift in ElabEnv.pushCRel	Adam Chlipala	2008-11-27
\|
*	Optimized ElabOps.subConInCon	Adam Chlipala	2008-11-27
\|
*	Stop using redundant Defunc pass	Adam Chlipala	2008-11-27
\|
*	Remove unnecessary lifts in ElabEnv.pushCRel	Adam Chlipala	2008-11-27
\|
*	Remove unnecessary [kindof] calls	Adam Chlipala	2008-11-27
\|
*	Port Reduce improvements to ReduceLocal	Adam Chlipala	2008-11-26
\|
*	crud1 compiles with new Reduce	Adam Chlipala	2008-11-26
\|
*	Fix environments for repeat visits for exp reduction	Adam Chlipala	2008-11-26
\|
*	Most exp rules for new Reduce	Adam Chlipala	2008-11-26
\|
*	Start of new Reduce	Adam Chlipala	2008-11-26
\|
*	Fusing writes with recursive function calls	Adam Chlipala	2008-11-25
\|
*	Ignore SIGPIPE	Adam Chlipala	2008-11-23
\|
*	Profiling support	Adam Chlipala	2008-11-20
\|
*	Some demo improvements	Adam Chlipala	2008-11-20
\|
*	Fix missing initial <html> after restarts	Adam Chlipala	2008-11-20
\|
*	Fix type calculation for applying-a-case optimization	Adam Chlipala	2008-11-11
\|
*	Map distributivity rule in hnormCon	Adam Chlipala	2008-11-11
\|
*	Add CutMulti	Adam Chlipala	2008-11-11
\|
*	Handle nullary transaction pages; avoid marking up headers array when ↵	Adam Chlipala	2008-11-11
\| \| \| \|	reading cookies
*	Fix demo regression	Adam Chlipala	2008-11-11
\|
*	More ThreadedBlog progress	Adam Chlipala	2008-11-11
\|
*	Ignore UseRel effects in [let] expansions	Adam Chlipala	2008-11-11
\|
*	Get preliminary ThreadedBlog working	Adam Chlipala	2008-11-11
\|
*	Get threadedBlog to work	Adam Chlipala	2008-11-11
\|
*	Remove some allocation	Adam Chlipala	2008-11-09
\|
*	Prevent overzealous Especialization	Adam Chlipala	2008-11-09
\|
*	Defunctionalization gets CommentBlog working	Adam Chlipala	2008-11-09
\|
*	Remove an extra line	Adam Chlipala	2008-11-09
\|
*	Especialize working reasonably well; need to add new closure representation pass	Adam Chlipala	2008-11-09
\|
*	Better detection of [let] substitution opportunities	Adam Chlipala	2008-11-08
\|
*	Especialize handles records better	Adam Chlipala	2008-11-08
\|
*	Broaden set of possible especializations	Adam Chlipala	2008-11-08
\|
*	Some small changes while failing to write [restrict]	Adam Chlipala	2008-11-08
\|
*	Add help text for generated web servers	Adam Chlipala	2008-11-08
\|
*	Handle EError returning a function; handle multiple cookies in one input header	Adam Chlipala	2008-11-08
\|
*	Fix parsing of last input header	Adam Chlipala	2008-11-08
\|
*	[getCookie] reads cookie settings from current page generation	Adam Chlipala	2008-11-08
\|