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
*
Debug reverse-engineering unification
Adam Chlipala
2009-02-21
|
*
"Hello world" compiles, after replacing type-level fold with map
Adam Chlipala
2009-02-21
|
*
Finish semantics for Featherweight Ur
Adam Chlipala
2009-02-21
|
*
Time to start thinking about guards
Adam Chlipala
2009-02-21
|
*
Most of expression semantics
Adam Chlipala
2009-02-21
|
*
map-only syntax and semantics
Adam Chlipala
2009-02-21
|
*
Semantics for ordered rows only
Adam Chlipala
2009-02-18
|
*
Start of Featherweight Ur semantics
Adam Chlipala
2009-02-17
|
*
Parameterized RPC query
Adam Chlipala
2009-02-15
|
*
Initial parsing of RPC results
Adam Chlipala
2009-02-15
|
*
Detect AJAX call failures
Adam Chlipala
2009-02-15
|
*
Avoid extra slashes in Cjr urlification
Adam Chlipala
2009-02-15
|
*
Reading and displaying value via AJAX
Adam Chlipala
2009-02-15
|
*
First gimpy RPC
Adam Chlipala
2009-02-15
|
*
Export RPC functions and push RPC calls through to Mono
Adam Chlipala
2009-02-15
|
*
Start of RPCification
Adam Chlipala
2009-02-14
|
*
Use normal fields of ctextboxes
Adam Chlipala
2009-01-27
|
*
dlist2 working swimmingly
Adam Chlipala
2009-01-17
|
*
Add dynamic content under proper parents
Adam Chlipala
2009-01-17
|
*
dlist example working
Adam Chlipala
2009-01-16
|
*
Combine lib* directories
Adam Chlipala
2009-01-13
|
*
Initial experiments with nested <dyn>
Adam Chlipala
2009-01-13
|
*
Do proper insertion of dynamic content within nested DOM containers
Adam Chlipala
2009-01-11
|
*
Use header to set default script type
Adam Chlipala
2009-01-11
|
*
Hooking a source into an input
Adam Chlipala
2009-01-11
|
*
Injected a non-special-case datatype
Adam Chlipala
2009-01-08
|
*
Injected a polymorphic, recursive type
Adam Chlipala
2009-01-08
|
*
Injected an enumeration
Adam Chlipala
2009-01-08
|
*
Injected an option
Adam Chlipala
2009-01-02
|
*
Injected a record
Adam Chlipala
2009-01-02
|
*
Injecting strings and bools
Adam Chlipala
2009-01-01
|
*
Injecting a float
Adam Chlipala
2009-01-01
|
*
Injecting an int
Adam Chlipala
2009-01-01
|
*
Included a recursive function in JavaScript
Adam Chlipala
2009-01-01
|
*
Basic datatype reactives
Adam Chlipala
2009-01-01
|
*
Reactive if
Adam Chlipala
2009-01-01
|
*
Reactive bool
Adam Chlipala
2009-01-01
|
*
Reactive record pattern
Adam Chlipala
2009-01-01
|
*
Used an option as a source
Adam Chlipala
2009-01-01
|
*
Reactive computation with more base types and records
Adam Chlipala
2009-01-01
|
*
Source containing an int
Adam Chlipala
2009-01-01
|
*
Double-bind works
Adam Chlipala
2008-12-30
|
*
Propagating a change through a bind
Adam Chlipala
2008-12-30
|
*
Propagated a source change into a dynamic document element
Adam Chlipala
2008-12-30
|
*
Harmonized source-setting between server and client
Adam Chlipala
2008-12-30
|
*
Setting a source server-side
Adam Chlipala
2008-12-30
|
*
Merge
Adam Chlipala
2008-12-30
|
\
*
|
Starting to implement source set
Adam Chlipala
2008-12-30
|
|
|
*
More manual bug reports from megacz
Adam Chlipala
2008-12-24
|
|
*
|
Trivial use of a source
Adam Chlipala
2008-12-21
|
/
[next]