Diffusion Isabelle 218929597048

support for global registry;
218929597048
Actions

Tags

None

Subscribers

None

Description

support for global registry;

Details

Provenance

Authored on

Parents

rISABELLE7774e1372476: clarified loading of symbols: permissive entries in $ISABELLE_SYMBOLS require…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE218929597048: support for global registry;.Sat, Nov 11, 1:31 PM

Changes (8)

Path

Size

etc/

lib/

scripts/

General/

rISABELLE218929597048

etc/build.props

Loading...

etc/settings

Loading...

lib/scripts/getfunctions

Loading...

src/Pure/General/toml.scala

Loading...

src/Pure/System/registry.scala

Loading...