debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Convert to requiring explicit 'rpc' marker	Adam Chlipala	2009-08-22
\|
*	Fix a variable capture bug in nested JavaScript; some more list stuff	Adam Chlipala	2009-06-16
\|
*	Some standard library reorgs and additions; handle mutual datatypes better ↵	Adam Chlipala	2009-06-09
\| \| \| \|	in Specialize
*	Mark current as effectful; add List functions	Adam Chlipala	2009-06-09
\|
*	Fix datatype import bug in Elaborate; fix server-side source setting; more ↵	Adam Chlipala	2009-06-07
\| \| \| \|	standard library stuff
*	List.all; fix ANDALSO/ORELSE parsing precedence	Adam Chlipala	2009-06-07
\|
*	Fix unbound name problem in Jscomp injectors; more List stuff	Adam Chlipala	2009-06-06
\|
*	List library additions; fix another substructure unification bug	Adam Chlipala	2009-06-06
\|
*	Defer pattern-matching exhaustiveness checks and normalize pattern types ↵	Adam Chlipala	2009-05-30
\| \| \| \|	more thoroughly
*	fn-pattern code in but not tested yet; hello compiles	Adam Chlipala	2009-05-28
\|
*	Chars and more string operations	Adam Chlipala	2009-05-26
\|
*	Proper lifting of MonoEnv stored expressions; avoidance of onchange clobbering	Adam Chlipala	2009-05-14
\|
*	Fix a nasty binding bug in CoreUtil	Adam Chlipala	2009-05-14
\|
*	Improving/reordering Unpoly and Especialize; pathmaps	Adam Chlipala	2009-05-14