index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
tag.sml
Commit message (
Collapse
)
Author
Age
*
Allow complex attribute records in Tag
Adam Chlipala
2010-06-01
|
*
Basis.serialize; separate file for mhash; run transactional finishers in ↵
Adam Chlipala
2009-12-31
|
|
|
|
reverse order; set needs_sig properly
*
Bug fixes in redirect-related stuff
Adam Chlipala
2009-12-10
|
*
Basis.url and redirects
Adam Chlipala
2009-12-10
|
*
Shake bug fix; pattern reduction in ReduceLocal
Adam Chlipala
2009-12-08
|
*
Better error message for link-handler conflicts
Adam Chlipala
2009-11-25
|
*
JavaScript urlifying of bools; correct Link attribute escaping
Adam Chlipala
2009-08-11
|
*
Label exported symbols by effect-ness; factor out some common datatypes
Adam Chlipala
2009-04-16
|
*
Classes as optional arguments to Basis.tag
Adam Chlipala
2009-04-12
|
*
Handle nullary transaction pages; avoid marking up headers array when ↵
Adam Chlipala
2008-11-11
|
|
|
|
reading cookies
*
Especialize working reasonably well; need to add new closure representation pass
Adam Chlipala
2008-11-09
|
*
Compiling a parametrized query the inefficient way
Adam Chlipala
2008-09-02
|
*
Cases through monoize
Adam Chlipala
2008-08-03
|
*
Datatypes through corify
Adam Chlipala
2008-07-29
|
*
Simple forms work
Adam Chlipala
2008-07-22
|
*
Almost ready to have a form work
Adam Chlipala
2008-07-20
|
*
A simpler context encoding
Adam Chlipala
2008-07-20
|
*
Tagging (non-mutual) 'val rec'
Adam Chlipala
2008-07-17
|
*
Corifying (non-mutual) 'val rec'
Adam Chlipala
2008-07-17
|
*
Proper handling of non-function-call links
Adam Chlipala
2008-07-13
|
*
Serving pages
Adam Chlipala
2008-07-13
|
*
Handling duplicate tags
Adam Chlipala
2008-07-13
|
*
Closure code generation almost there
Adam Chlipala
2008-07-13
|
*
Starting with closure links
Adam Chlipala
2008-07-13