| Sun, 20 Oct 2024 13:13:17 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 19 Oct 2024 22:57:43 +0200 | wenzelm | tuned proofs; | changeset | files |
| Sat, 19 Oct 2024 22:38:51 +0200 | wenzelm | clarified order of tooltips: make it less dependent on report order from ML (which differs for input vs. output); | changeset | files |
| Sat, 19 Oct 2024 22:20:05 +0200 | wenzelm | clarified signature (see also 1de8a8b1ae79); | changeset | files |
| Sat, 19 Oct 2024 22:01:36 +0200 | wenzelm | clarified signature; | changeset | files |
| Sat, 19 Oct 2024 19:00:19 +0200 | wenzelm | more type information; | changeset | files |
| Sat, 19 Oct 2024 17:16:16 +0200 | wenzelm | more type information; | changeset | files |
| Sat, 19 Oct 2024 17:00:14 +0200 | wenzelm | clarified signature; | changeset | files |
| Sat, 19 Oct 2024 16:54:34 +0200 | wenzelm | clarified signature; | changeset | files |
| Sat, 19 Oct 2024 16:45:05 +0200 | wenzelm | tuned signature; | changeset | files |
| Sat, 19 Oct 2024 16:27:00 +0200 | wenzelm | clarified signature; | changeset | files |
| 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 |