| Tue, 27 Aug 2013 16:06:27 +0200 | hoelzl | renamed inner_dense_linorder to dense_linorder | file | diff | annotate |
| Tue, 27 Aug 2013 14:37:56 +0200 | hoelzl | renamed typeclass dense_linorder to unbounded_dense_linorder | file | diff | annotate |
| Thu, 30 May 2013 23:29:33 +0200 | wenzelm | tuned headers; | file | diff | annotate |
| Thu, 25 Apr 2013 11:59:21 +0200 | hoelzl | revert #916271d52466; add non-topological linear_continuum type class; show linear_continuum_topology is a perfect_space | file | diff | annotate |
| Wed, 24 Apr 2013 13:28:30 +0200 | hoelzl | spell conditional_ly_-complete lattices correct | file | diff | annotate | base |