Diffusion Isabelle 20f2f34a81bd

more TODO;
20f2f34a81bd
Actions

Tags

None

Subscribers

None

Description

more TODO;

Details

Provenance

Authored on

Parents

rISABELLE2a27d2c8eae8: prefer strict test of system options;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE20f2f34a81bd: more TODO;.Sat, Nov 11, 9:06 PM

Changes (1)

Path

Size

src/

Pure/

General/

rISABELLE20f2f34a81bd

src/Pure/General/toml.scala

Loading...