HomeIsabelle/Phabricator
Diffusion Isabelle 8b8923bfc259

build option;
8b8923bfc259
Actions

Description

build option;

Details

Provenance
makariusAuthored on
Parents
rISABELLE92e442b783db: tuned;
Branches
Unknown
Tags
Unknown

Event Timeline

Changes (1)

PathSize
src/
Pure/
Isar/

rISABELLE8b8923bfc259

View Options

src/Pure/Isar/session.ML

Loading...