Mercurial > urweb

log src/sources

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) -30 -10 -6 tip
age author description
Sun, 22 Aug 2010 13:43:46 -0400 Adam Chlipala Reduce: Inline let-bound variables whose types involve functions
Sat, 05 Jun 2010 09:42:37 -0400 Adam Chlipala Another run of Specialize, using ReduceLocal on datatype parameters
Tue, 13 Apr 2010 11:34:59 -0400 Adam Chlipala Command-line use of Iflow
Sun, 04 Apr 2010 14:37:19 -0400 Adam Chlipala Generated basic dummy Iflow conditions
Sat, 27 Feb 2010 14:57:57 -0500 Adam Chlipala Basic analysis of tag and CSS class usage
Sun, 25 Oct 2009 14:07:10 -0400 Adam Chlipala RPC uses VM support for call/cc
less more | (0) -30 -10 -6 tip