Mercurial > urweb

log src/settings.sml

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) -30 -10 -7 tip
age author description
Thu, 07 Jan 2010 14:02:58 -0500 Adam Chlipala Basis.debug; more restrictive type for Basis.form; weaken definition of polymorphic-ness for especialization
Sun, 03 Jan 2010 15:58:34 -0500 Adam Chlipala Deadlines
Fri, 01 Jan 2010 10:49:36 -0500 Adam Chlipala Proper client-side attrifyString
Tue, 29 Dec 2009 16:48:27 -0500 Adam Chlipala Treat getCookie as effectful
Sun, 27 Dec 2009 14:25:22 -0500 Adam Chlipala Protocol-specific compiler options
Sun, 27 Dec 2009 13:18:32 -0500 Adam Chlipala Dynamic linking of the runtime system
Sun, 13 Dec 2009 14:20:41 -0500 Adam Chlipala Initializers and setval
less more | (0) -30 -10 -7 tip