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
Commit message (
Collapse
)
Author
Age
*
Defer pattern-matching exhaustiveness checks and normalize pattern types ↵
Adam Chlipala
2009-05-30
|
|
|
|
more thoroughly
*
Substring functions; fix a nasty MonoReduce pattern match substitution bug
Adam Chlipala
2009-05-30
|
*
String.length
Adam Chlipala
2009-05-30
|
*
Fix variable adjustment bug in fn/case alternation
Adam Chlipala
2009-05-28
|
*
Fix EDLet elab_util bug
Adam Chlipala
2009-05-28
|
*
Destructing local let, to the point where demo compiles
Adam Chlipala
2009-05-28
|
*
Demo compiles with pattern-matching-fu
Adam Chlipala
2009-05-28
|
*
fn-pattern code in but not tested yet; hello compiles
Adam Chlipala
2009-05-28
|
*
Chars and more string operations
Adam Chlipala
2009-05-26
|
*
Change monoization of monads to allow partial applications of operations
Adam Chlipala
2009-05-23
|
*
Switch to Maranget's pattern exhaustiveness algorithm
Adam Chlipala
2009-05-23
|
*
Change List.mapM' to avoid leaving functions around
Adam Chlipala
2009-05-21
|
*
ccheckbox
Adam Chlipala
2009-05-21
|
*
Split JavaScript inp() into separate functions
Adam Chlipala
2009-05-21
|
*
Redo Jscomp
Adam Chlipala
2009-05-17
|
*
Fix argument ordering bug in fuse; fix case subsitution bug in MonoReduce
Adam Chlipala
2009-05-17
|
*
Corify FFI datatypes properly; eliminate nested JavaScript markers
Adam Chlipala
2009-05-17
|
*
Loading an FCKeditor
Adam Chlipala
2009-05-16
|
*
Fix another problem with overwrites during JavaScript pattern matching
Adam Chlipala
2009-05-16
|
*
Mutual datatypes through Cjrize
Adam Chlipala
2009-05-16
|
*
Mutual datatypes through Pathcheck
Adam Chlipala
2009-05-16
|
*
Mutual datatypes through Effectize
Adam Chlipala
2009-05-16
|
*
Mutual datatypes through Corify
Adam Chlipala
2009-05-16
|
*
Mutual datatypes through Elaborate
Adam Chlipala
2009-05-16
|
*
Add extra XML preamble nonsense
Adam Chlipala
2009-05-16
|
*
Catch more unclosed bodyless tags in Monoize
Adam Chlipala
2009-05-16
|
*
Fix a Core_untangle bug that missed closure variable references; XHTMLize
Adam Chlipala
2009-05-16
|
*
Fix nasty bugs with longjmp() looping for uw_set_input(); and bad variable ↵
Adam Chlipala
2009-05-14
|
|
|
|
indexes for nested JavaScript in jscomp
*
Proper lifting of MonoEnv stored expressions; avoidance of onchange clobbering
Adam Chlipala
2009-05-14
|
*
cselect.onchange
Adam Chlipala
2009-05-14
|
*
Improvements while working on Graftid
Adam Chlipala
2009-05-14
|
*
cselect
Adam Chlipala
2009-05-14
|
*
Fix a nasty binding bug in CoreUtil
Adam Chlipala
2009-05-14
|
*
Improving/reordering Unpoly and Especialize; pathmaps
Adam Chlipala
2009-05-14
|
*
Stop potential buffer overrun of path_copy
Adam Chlipala
2009-05-12
|
*
Improvements while working on Graftid
Adam Chlipala
2009-05-12
|
*
Use Ur/Web library .mlb
Adam Chlipala
2009-05-10
|
*
Make Effectize more precise
Adam Chlipala
2009-05-05
|
*
cookieSec demo
Adam Chlipala
2009-05-03
|
*
outer demo
Adam Chlipala
2009-05-03
|
*
upload demo
Adam Chlipala
2009-05-03
|
*
css demo
Adam Chlipala
2009-05-03
|
*
url demo
Adam Chlipala
2009-05-03
|
*
constraints demo
Adam Chlipala
2009-05-03
|
*
Update FFI type of Basis.self
Adam Chlipala
2009-05-02
|
*
FFI transactionals
Adam Chlipala
2009-05-02
|
*
Runtime URL and MIME type filtering
Adam Chlipala
2009-05-02
|
*
allow/deny working in Mono_opt
Adam Chlipala
2009-05-02
|
*
Path rewriting
Adam Chlipala
2009-05-02
|
*
Add 'library' directive
Adam Chlipala
2009-05-02
|
[next]