Diffusion Isabelle ea35afdb1366

store documents within session database, instead of browser_info directory;
ea35afdb1366
Actions

Tags

None

Subscribers

None

Description

store documents within session database, instead of browser_info directory;

Details

Provenance

Authored on

Parents

rISABELLE07edf1952ab1: clarified modules;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEea35afdb1366: store documents within session database, instead of browser_info directory;.Nov 18 2020, 9:34 PM

makarius mentioned this in rISABELLE316afcb8dc0c: unused (see also ea35afdb1366);.Jul 8 2023, 5:14 PM

Changes (4)

Path

Size

src/

Doc/

System/

Presentation.thy

Pure/

Thy/

presentation.scala

Tools/

rISABELLEea35afdb1366

src/Doc/System/Presentation.thy

Loading...

src/Pure/Thy/presentation.scala

Loading...

src/Pure/Thy/sessions.scala

Loading...

src/Pure/Tools/build.scala

Loading...