Diffusion Isabelle 1529c3eb6bac

more thorough update of options;
1529c3eb6bac
Actions

Tags

None

Subscribers

None

Description

more thorough update of options;

Details

Provenance

Authored on

Parents

rISABELLE4bfcc09a33e8: limit statistics, to avoid exhaustion of heap space or GUI time;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius mentioned this in rISABELLE90b64197bafd: more thorough update of required files (amending 1529c3eb6bac);.Jun 5 2021, 7:28 PM

Changes (2)

Path

Size

src/

Tools/

jEdit/

src/

output_dockable.scala

rISABELLE1529c3eb6bac

src/Tools/jEdit/src/isabelle.scala

Loading...

src/Tools/jEdit/src/output_dockable.scala

Loading...