| Tue, 10 Sep 2024 16:03:42 +0200 | wenzelm | tuned module structure; | changeset | files |
| Tue, 10 Sep 2024 15:35:51 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 10 Sep 2024 14:53:04 +0200 | wenzelm | clarified unbreakable latex output: Pretty.unformatted and (Pretty.string_of o Pretty.unbreakable) should coincide, but are produced by quite different means; | changeset | files |
| Tue, 10 Sep 2024 12:34:32 +0200 | wenzelm | clarified signature; | changeset | files |