log
graph
tags
bookmarks
branches
changeset
browse
file
diff
comparison
annotate
file log
raw
help
Mercurial
>
urweb
log src/list_util.sig
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
less
more
|
(0)
tip
age
author
description
2009-06-16
Adam Chlipala
Fix a bug in type class enrichment from substructures
2009-06-13
Adam Chlipala
<dyn> inside <table>; fix Specialize bug with datatype decls generating other mutually-recursive datatype decls
2009-06-06
Adam Chlipala
List library additions; fix another substructure unification bug
2009-05-12
Adam Chlipala
Improvements while working on Graftid
2008-09-09
Adam Chlipala
Termination checking
2008-09-02
Adam Chlipala
Validating schema of a live database
2008-08-08
Adam Chlipala
Parametrized datatypes through explify
2008-07-14
Adam Chlipala
Passing an argument to a web function
2008-07-13
Adam Chlipala
Starting with closure links
2008-06-19
Adam Chlipala
Corify removes modules
2008-06-17
Adam Chlipala
Elaborating module projection
2008-06-12
Adam Chlipala
Simple signature matching
2008-06-10
Adam Chlipala
Closure conversion
2008-06-08
Adam Chlipala
Tree-shaking
2008-01-26
Adam Chlipala
Check for leftover kind unifs
2008-01-26
Adam Chlipala
Elaborating files
less
more
|
(0)
tip