Diffusion Isabelle be8a8d60d962

adapted to new scanner and abroque chars;
be8a8d60d962
Actions

Tags

None

Subscribers

None

Description

adapted to new scanner and abroque chars;

Details

Provenance

Authored on

Parents

rISABELLE20ade76722d6: read_var;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius mentioned this in rISABELLEb0b16088ccf2: allow slightly odd "' " in mixfix as documented (introduced in 55754d6d399c….Mar 14 2020, 8:57 PM

Changes (1)

Path

Size

src/

Pure/

Syntax/

rISABELLEbe8a8d60d962

src/Pure/Syntax/syn_ext.ML

Loading...