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
/
ur
/
top.urs
Commit message (
Collapse
)
Author
Age
*
outer demo
Adam Chlipala
2009-05-03
|
*
Stop tracking CSS classes in XML types
Adam Chlipala
2009-04-12
|
*
hello compiles with CSS
Adam Chlipala
2009-04-12
|
*
Chat demo
Adam Chlipala
2009-04-05
|
*
Redo channels, making them single-client
Adam Chlipala
2009-03-29
|
*
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
|
*
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 ↵
Adam Chlipala
2009-02-24
|
|
|
|
generation at EDisjoint uses
*
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
|
|
|
|
updated Basis/Top
*
"Hello world" compiles, after replacing type-level fold with map
Adam Chlipala
2009-02-21
|
*
Combine lib* directories
Adam Chlipala
2009-01-13