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
/
lib
Commit message (
Expand
)
Author
Age
*
spawn
Adam Chlipala
2009-04-04
*
_Really_ implement embedded closure GC; extend Scriptcheck to figure out when...
Adam Chlipala
2009-04-04
*
Fix overzealous Marshalcheck; garbage-collect string-embedded closures when n...
Adam Chlipala
2009-04-04
*
Checking spans in dyns
Adam Chlipala
2009-04-04
*
Redo signal implementation to avoid memory leaks
Adam Chlipala
2009-04-02
*
Don't self-update ctextboxes unnecessarily
Adam Chlipala
2009-04-02
*
Expunging non-nullable rows
Adam Chlipala
2009-03-29
*
Redo channels, making them single-client
Adam Chlipala
2009-03-29
*
Switch back to starting listener on load
Adam Chlipala
2009-03-28
*
Chat example working nicely, but without dead channel removal
Adam Chlipala
2009-03-26
*
Preliminary work supporting channels in databases
Adam Chlipala
2009-03-26
*
Make sql_injectable class nicer with inclusion
Adam Chlipala
2009-03-26
*
Variable timeouts and client keep-alive
Adam Chlipala
2009-03-24
*
Fix some AJAX annoyances
Adam Chlipala
2009-03-24
*
Transactionalize channel operations
Adam Chlipala
2009-03-24
*
Proper recv
Adam Chlipala
2009-03-22
*
Press a button to send a message
Adam Chlipala
2009-03-22
*
First message send delivered, but not interpreted
Adam Chlipala
2009-03-22
*
Dummy message delivery to clients
Adam Chlipala
2009-03-19
*
Update old Ur/Web library section, before adding new stuff
Adam Chlipala
2009-03-12
*
Change location/type of [fold] to be more uniform w.r.t. derived folders
Adam Chlipala
2009-03-12
*
BatchG demo
Adam Chlipala
2009-03-10
*
Batch example
Adam Chlipala
2009-03-10
*
ListEdit demo, minus prose
Adam Chlipala
2009-03-10
*
Avoid any JavaScript when pages don't need it; update demo prose
Adam Chlipala
2009-03-10
*
Kind-polymorphic [fst] and friends
Adam Chlipala
2009-02-26
*
Demos compile again, with manual folders
Adam Chlipala
2009-02-24
*
Make folders abstract
Adam Chlipala
2009-02-24
*
Top.Fold.mp
Adam Chlipala
2009-02-24
*
Top.Fold.concat elaborates
Adam Chlipala
2009-02-24
*
Switch to TDisjoint from CDisjoint; still need to implement obligation genera...
Adam Chlipala
2009-02-24
*
demo/sum working with manual folders
Adam Chlipala
2009-02-22
*
Start of kind polymorphism, up to the point where demo/hello elaborates with ...
Adam Chlipala
2009-02-22
*
"Hello world" compiles, after replacing type-level fold with map
Adam Chlipala
2009-02-21
*
Initial parsing of RPC results
Adam Chlipala
2009-02-15
*
Detect AJAX call failures
Adam Chlipala
2009-02-15
*
First gimpy RPC
Adam Chlipala
2009-02-15
*
Use normal fields of ctextboxes
Adam Chlipala
2009-01-27
*
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
*
Hooking a source into an input
Adam Chlipala
2009-01-11
*
Starting to implement source set
Adam Chlipala
2008-12-30
*
Initial <dyn> support
Adam Chlipala
2008-12-20
*
Displayed an alert dialog
Adam Chlipala
2008-12-19
*
Creation of sources in server code
Adam Chlipala
2008-12-19
*
Monad type class seems to be working
Adam Chlipala
2008-12-19
*
Add SQL arithmetic operators
Adam Chlipala
2008-12-09
*
Finish documenting queries; remove a stray [unit] argument
Adam Chlipala
2008-12-07
[next]