Diffusion Isabelle 3e235fab64db

avoid hard-wired stuff (see also 78f2475aa126);
3e235fab64db
Actions

Tags

None

Subscribers

None

Description

avoid hard-wired stuff (see also 78f2475aa126);

Details

Provenance

Authored on

Parents

rISABELLE606ac3fae270: clarified tags;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE3e235fab64db: avoid hard-wired stuff (see also 78f2475aa126);.Mar 11 2023, 1:31 PM

Changes (3)

Path

Size

src/

Pure/

System/

Tools/

jEdit/

etc/

src/

jedit_options.scala

rISABELLE3e235fab64db

src/Pure/System/options.scala

Loading...

src/Tools/jEdit/etc/options

Loading...

src/Tools/jEdit/src/jedit_options.scala

Loading...