Wed, 08 Jan 2025 15:00:35 +0100 | desharna | merged | changeset | files |
Wed, 08 Jan 2025 14:51:32 +0100 | desharna | tuned Sledgehammer caching | changeset | files |
Mon, 23 Dec 2024 19:38:16 +0100 | Lukas Bartl | Rename "suggest_of" to "instantiate" | changeset | files |
Wed, 08 Jan 2025 05:38:13 +0100 | nipkow | merged | changeset | files |
Wed, 08 Jan 2025 05:37:40 +0100 | nipkow | added lemmas | changeset | files |
Tue, 07 Jan 2025 22:07:46 +0100 | wenzelm | discontinue old / inaccurate show_brackets (see also a4f09493d929 and ca9f5dbab880); | changeset | files |
Tue, 07 Jan 2025 21:39:38 +0100 | wenzelm | more markup, notaly for LaTeX output: treat record fields as quasi-consts; | changeset | files |