| Fri, 18 Oct 2024 21:20:21 +0200 | wenzelm | suppress dummyT, e.g. from Type_Annotation.print; | changeset | files |
| Fri, 18 Oct 2024 21:19:06 +0200 | wenzelm | tuned proofs; | changeset | files |
| Fri, 18 Oct 2024 20:48:01 +0200 | wenzelm | print type constraints for consts with mixfix syntax; | changeset | files |
| Fri, 18 Oct 2024 19:00:51 +0200 | wenzelm | tuned comments; | changeset | files |
| Fri, 18 Oct 2024 19:00:13 +0200 | wenzelm | obsolete (see 137ea3d464be); | changeset | files |
| Fri, 18 Oct 2024 16:43:02 +0200 | wenzelm | tuned proofs; | changeset | files |
| Fri, 18 Oct 2024 16:42:53 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Fri, 18 Oct 2024 16:37:39 +0200 | wenzelm | more inner-syntax markup; | changeset | files |
| Fri, 18 Oct 2024 16:31:35 +0200 | wenzelm | less instrusive rendering for input buffer (in contrast to 264f043c5da1); | changeset | files |
| Fri, 18 Oct 2024 15:45:38 +0200 | wenzelm | clarified inner-syntax markup; | changeset | files |
| Fri, 18 Oct 2024 15:42:31 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Fri, 18 Oct 2024 15:36:42 +0200 | wenzelm | tuned whitespace; | changeset | files |