log
graph
tags
bookmarks
branches
changeset
browse
file
diff
comparison
annotate
file log
raw
help
Mercurial
>
urweb
log src/expl_env.sml
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
less
more
|
(0)
tip
age
author
description
2014-05-02
Adam Chlipala
New lessSafeFfi
2010-09-07
Adam Chlipala
Server-side 'onError'
2010-06-13
Adam Chlipala
Catch a missed ReduceLocal of field projection annotations
2010-04-04
Adam Chlipala
Pushing policies through
2009-12-15
Adam Chlipala
Convert to task syntax
2009-12-13
Adam Chlipala
Initializers and setval
2009-05-16
Adam Chlipala
Mutual datatypes through Corify
2009-04-28
Adam Chlipala
A view query works
2009-04-12
Adam Chlipala
Stop tracking CSS classes in XML types
2009-04-12
Adam Chlipala
style declarations
2009-04-07
Adam Chlipala
PRIMARY KEY
2009-04-07
Adam Chlipala
Track uniqueness sets in table types
2009-04-07
Adam Chlipala
UNIQUE constraints
2009-02-22
Adam Chlipala
Kind polymorphism through Explify
2008-11-06
Adam Chlipala
Cookies through explify
2008-09-14
Adam Chlipala
SQL sequences
2008-09-02
Adam Chlipala
Validating schema of a live database
2008-08-31
Adam Chlipala
Explify tables
2008-08-08
Adam Chlipala
Parametrized datatypes through explify
2008-07-29
Adam Chlipala
Add datatype import constructor annotations; datatypes through explify
2008-07-17
Adam Chlipala
Explifying (non-mutual) 'val rec'
2008-07-13
Adam Chlipala
Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
2008-07-10
Adam Chlipala
page declaration, up through monoize
2008-06-26
Adam Chlipala
Proper hiding of shadowed bindings in principal signatures
2008-06-22
Adam Chlipala
Separate compilation and automatic basis importation
2008-06-22
Adam Chlipala
Start of FFI
2008-06-19
Adam Chlipala
Explify
less
more
|
(0)
tip