index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
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
|
*
Use a timeout to avoid errors after unload
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 initialization of cselect from source
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
|
*
Testing custom paths
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
|
*
Tag CHANGELOG with release date
Adam Chlipala
2009-05-05
|
*
Describe GET/POST
Adam Chlipala
2009-05-05
|
*
Constraint syntax
Adam Chlipala
2009-05-05
|
*
on* handlers
Adam Chlipala
2009-05-05
|
*
Revised query types
Adam Chlipala
2009-05-05
|
*
Table constraint Ur code
Adam Chlipala
2009-05-05
|
*
Revising manual through end of Section 6
Adam Chlipala
2009-05-05
|
*
Revising manual through end of Section 3
Adam Chlipala
2009-05-05
|
*
Make Effectize more precise
Adam Chlipala
2009-05-05
|
*
crud3 demo
Adam Chlipala
2009-05-03
|
[next]