debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Start of Ur/Web library	Adam Chlipala	2008-12-06
\|
*	Type inference	Adam Chlipala	2008-12-06
\|
*	Module projection	Adam Chlipala	2008-11-29
\|
*	selfify	Adam Chlipala	2008-11-29
\|
*	Module typing	Adam Chlipala	2008-11-29
\|
*	Signature compatibility	Adam Chlipala	2008-11-29
\|
*	Signature compatibility	Adam Chlipala	2008-11-29
\|
*	Declaration typing	Adam Chlipala	2008-11-29
\|
*	Pattern typing	Adam Chlipala	2008-11-29
\|
*	Typing	Adam Chlipala	2008-11-29
\|
*	Definitional equality	Adam Chlipala	2008-11-29
\|
*	Disjointness	Adam Chlipala	2008-11-29
\|
*	Kinding	Adam Chlipala	2008-11-29
\|
*	Shorthands	Adam Chlipala	2008-11-27
\|
*	Declarations and modules	Adam Chlipala	2008-11-27
\|
*	Expressions	Adam Chlipala	2008-11-27
\|
*	Patterns	Adam Chlipala	2008-11-27
\|
*	Signatures	Adam Chlipala	2008-11-27
\|
*	Start of manual	Adam Chlipala	2008-11-27
\|
*	Note optimizations in changelog	Adam Chlipala	2008-11-27
\|
*	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
\|
*	Profiling in Makefile	Adam Chlipala	2008-11-25
\|
*	Fusing writes with recursive function calls	Adam Chlipala	2008-11-25
\|
*	Ignore SIGPIPE	Adam Chlipala	2008-11-23
\|
*	Update CHANGELOG for 20081120	Adam Chlipala	2008-11-20
\|
*	Fixing demo prose	Adam Chlipala	2008-11-20
\|
*	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
\|
*	Update Crud demo to use local functions	Adam Chlipala	2008-11-20
\|
*	Extend prose about server .exes	Adam Chlipala	2008-11-18
\|
*	Tag CHANGELOG with release number	Adam Chlipala	2008-11-18
\|
*	Mention Especialize in CHANGELOG	Adam Chlipala	2008-11-18
\|
*	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
\|