| Sun, 27 Apr 2025 11:20:39 +0100 | paulson | New type classes unboundedx_dense_order, ordered_semiring_1, ordered_semiring_strict and related material from Complex_Bounded_Operators | changeset | files |
| Sat, 26 Apr 2025 21:33:48 +0200 | wenzelm | merged | changeset | files |
| Sat, 26 Apr 2025 20:52:46 +0200 | wenzelm | more robust output: no markup as last resort; | changeset | files |
| Fri, 25 Apr 2025 18:06:12 +0200 | wenzelm | clarified signature: more scalable output --- avoid adhoc string concatenations after Pretty.string_of; | changeset | files |