log lib/ur/top.urs

age author description
2009-05-03 Adam Chlipala outer demo
2009-04-12 Adam Chlipala Stop tracking CSS classes in XML types
2009-04-12 Adam Chlipala hello compiles with CSS
2009-04-05 Adam Chlipala Chat demo
2009-03-29 Adam Chlipala Redo channels, making them single-client
2009-03-12 Adam Chlipala Change location/type of [fold] to be more uniform w.r.t. derived folders
2009-03-10 Adam Chlipala BatchG demo
2009-03-10 Adam Chlipala Avoid any JavaScript when pages don't need it; update demo prose
2009-02-26 Adam Chlipala Kind-polymorphic [fst] and friends
2009-02-24 Adam Chlipala Demos compile again, with manual folders
2009-02-24 Adam Chlipala Make folders abstract
2009-02-24 Adam Chlipala Top.Fold.mp
2009-02-24 Adam Chlipala Top.Fold.concat elaborates
2009-02-24 Adam Chlipala Switch to TDisjoint from CDisjoint; still need to implement obligation generation at EDisjoint uses
2009-02-22 Adam Chlipala demo/sum working with manual folders
2009-02-22 Adam Chlipala Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top
2009-02-21 Adam Chlipala "Hello world" compiles, after replacing type-level fold with map
2009-01-13 Adam Chlipala Combine lib* directories base lib/top.urs@5f211c17e736