Menu
▾
▴
Tree [600fb0] default Isabelle2014 / History
| File | Date | Author | Commit |
|---|---|---|---|
| admin | 2014-04-10 |
kleing
|
[1d668c] correct mistake introduced when reducing warnings |
| doc | 2014-07-03 |
paulson
|
[1e911d] A tweak to the instructions |
| etc | 2014-03-15 |
kleing
|
[404577] build verbosely by default |
| metadata | 2014-08-13 |
nipkow
|
[c3270b] separated Skew_Heap entry from Amortized_Comple... |
| thys | 2014-08-14 |
Christian Sternagel
|
[600fb0] tuned layout; define shows_prec for rat without... |
| tools | 2014-06-30 |
wenzelm
|
[a40407] tuned description: fit into 80 chars terminal; |
| web | 2014-08-13 |
nipkow
|
[c3270b] separated Skew_Heap entry from Amortized_Comple... |
| .hgignore | 2013-12-03 |
Lars Hupel
|
[1abd6a] use terminal colors to indicate errors/warnings |
| .hgtags | 2014-01-13 |
kleing
|
[cd4b4e] merged from 2013-2 release |
