Mercurial > urweb

log

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | rev 1584: (0) -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 tip
age author description
Sat, 29 Oct 2011 17:30:34 -0400 Adam Chlipala Shorter, more focused error messages about undetermined unification variables
Fri, 28 Oct 2011 08:54:44 -0400 Adam Chlipala Clear reducedSummaries
Thu, 27 Oct 2011 08:36:31 -0400 Adam Chlipala Harmonize have/need terminology in error messages; display canceled record summaries on errors
Wed, 26 Oct 2011 09:10:40 -0400 Adam Chlipala Turn off warnings about deprecated functions, to placate silly OpenSSL change for OS X
Fri, 21 Oct 2011 08:51:30 -0400 Adam Chlipala Catch UnboundNamed exceptions that arise from missing signature items
Fri, 21 Oct 2011 08:36:10 -0400 Adam Chlipala Note a parsing restriction in the manual
Thu, 20 Oct 2011 09:27:37 -0400 Adam Chlipala Some notes on 'T' for update/delete combinators
less more | rev 1584: (0) -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 tip