Diffusion Isabelle e74d162ddf9f

clarified char symbols: cover most European languages;
e74d162ddf9f
Actions

Tags

None

Subscribers

None

Description

clarified char symbols: cover most European languages;

Details

Provenance

Authored on

Parents

rISABELLE90eaac98b3fa: more elementary Symbol.Matcher without detour via Regex (see also…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEe74d162ddf9f: clarified char symbols: cover most European languages;.Mar 7 2022, 4:14 PM

Changes (1)

Path

Size

src/

Pure/

General/

rISABELLEe74d162ddf9f

src/Pure/General/symbol.scala

Loading...