| Sat, 23 Mar 2013 13:57:46 +0100 | wenzelm | allow fractional pretty margin -- avoid premature rounding; | changeset | files |
| Sat, 23 Mar 2013 13:12:39 +0100 | wenzelm | more explicit Pretty.Metric, with clear distinction of unit (space width) vs. average char width (for visual adjustments) -- NB: Pretty formatting works via full space characters (despite a981a5c8a505 and 70f7483df9cb); | changeset | files |
| Sat, 23 Mar 2013 13:04:28 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 23 Mar 2013 20:57:57 +0100 | haftmann | spelling | changeset | files |
| Sat, 23 Mar 2013 20:50:39 +0100 | haftmann | fundamental revision of big operators on sets | changeset | files |
| Sat, 23 Mar 2013 17:11:06 +0100 | haftmann | tuned proof | changeset | files |
| Sat, 23 Mar 2013 17:11:06 +0100 | haftmann | locales for abstract orders | changeset | files |