log
graph
tags
bookmarks
branches
changeset
browse
file
diff
comparison
annotate
file log
raw
help
Mercurial
>
urweb
log lib/ur/top.urs
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
less
more
|
(0)
tip
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
less
more
|
(0)
tip