debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Unpoly non-recursive function	Adam Chlipala	2008-09-11
\|
*	Termination checking	Adam Chlipala	2008-09-09
\|
*	Ran a prepared statement with one string parameter	Adam Chlipala	2008-09-07
\|
*	Generating SQL files	Adam Chlipala	2008-09-02
\|
*	Parsing jobs	Adam Chlipala	2008-09-02
\|
*	Monoize ASC/DESC	Adam Chlipala	2008-08-31
\|
*	Avoid unnecessary WHERE clause	Adam Chlipala	2008-08-31
\|
*	Laconic -> Ur	Adam Chlipala	2008-08-31
\|
*	Finish moving all phases to the new interface	Adam Chlipala	2008-08-12
\|
*	Consolidating compiler phase interface and adding timing	Adam Chlipala	2008-08-12
\|
*	Specialization of single-parameter datatypes	Adam Chlipala	2008-08-08
\|
*	Optimizing 'case' in Mono_reduce	Adam Chlipala	2008-08-03
\|
*	MonoShake	Adam Chlipala	2008-07-17
\|
*	MonoReduce	Adam Chlipala	2008-07-17
\|
*	Proper topological sorting in untangle	Adam Chlipala	2008-07-17
\|
*	Untangle	Adam Chlipala	2008-07-17
\|
*	Starting with closure links	Adam Chlipala	2008-07-13
\|
*	Remove closure conversion in favor of zany fun with modules, which also ↵	Adam Chlipala	2008-07-13
\| \| \| \|	replaces 'page'
*	Mono optimizations (start with string concat and space eating)	Adam Chlipala	2008-07-03
\|
*	Separate compilation and automatic basis importation	Adam Chlipala	2008-06-22
\|
*	Parsing signature files	Adam Chlipala	2008-06-22
\|
*	Corify removes modules	Adam Chlipala	2008-06-19
\|
*	Explify	Adam Chlipala	2008-06-19
\|
*	Simple signature matching	Adam Chlipala	2008-06-12
\|
*	Translation to Cjr	Adam Chlipala	2008-06-10
\|
*	Closure conversion	Adam Chlipala	2008-06-10
\|
*	Monoize	Adam Chlipala	2008-06-10
\|
*	Tree-shaking	Adam Chlipala	2008-06-08
\|
*	Some con reducing	Adam Chlipala	2008-06-08
\|
*	Conversion to Core	Adam Chlipala	2008-06-08
\|
*	Elaborating files	Adam Chlipala	2008-01-26
\|
*	Rename Laconic* modules to Source*	Adam Chlipala	2008-01-26
\|
*	Initial parsing and pretty-printing	Adam Chlipala	2008-01-26