| Sun, 25 Aug 2024 22:54:56 +0200 | wenzelm | use nicer notation, following 783406dd051e; | changeset | files |
| Sun, 25 Aug 2024 21:27:25 +0100 | paulson | merged | changeset | files |
| 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 |