| Sun, 25 Aug 2024 17:24:42 +0100 | paulson | A bit more tidying | changeset | files |
| Sun, 25 Aug 2024 21:10:01 +0200 | wenzelm | more markup for syntax consts; | changeset | files |
| Sun, 25 Aug 2024 20:54:20 +0200 | wenzelm | clarified Syntax.is_const (after 43c4817375bf): exclude logical consts from 'syntax_consts' / 'syntax_types', e.g. relevant for @{syntax_const} antiquotation; | changeset | files |
| Sun, 25 Aug 2024 16:00:59 +0200 | wenzelm | use nicer notation, following 783406dd051e; | changeset | files |
| Sun, 25 Aug 2024 15:53:03 +0200 | wenzelm | proper translation for "_qprod", following "_qsum" (see also e14b89d6ef13 and fa7d27ef7e59); | changeset | files |
| Sun, 25 Aug 2024 15:40:07 +0200 | wenzelm | tuned: prefer notation for Pure.type; | changeset | files |