]>
2008-07-23 | Enrico Tassi | fixed some GUI glitches | blob | commitdiff | raw |
2008-07-23 | Enrico Tassi | universes in CicBrowser | blob | commitdiff | raw | diff to current |
2008-01-10 | Enrico Tassi | BIG FAT WARNING: DEVELOPMENTS DIE HERE | blob | commitdiff | raw | diff to current |
2006-11-25 | Enrico Tassi | added a test for the pullback stuff and the possibility... | blob | commitdiff | raw | diff to current |
2006-11-03 | Stefano Zacchiroli | preliminary support for hbugs | blob | commitdiff | raw | diff to current |
2006-09-21 | Stefano Zacchiroli | added displaying of the dep graph of a development... | blob | commitdiff | raw | diff to current |
2006-07-19 | Stefano Zacchiroli | - added to the cicBrowser support for displaying recurs... | blob | commitdiff | raw | diff to current |
2006-07-10 | Enrico Tassi | - cheanges for the new coercion stuff (including the... | blob | commitdiff | raw | diff to current |
2006-02-03 | Stefano Zacchiroli | - renamed ocaml/ to components/ | blob | commitdiff | raw | diff to current |