Diffusion Isabelle 488c7e8923b2

clarified pdf path;
488c7e8923b2
Actions

Tags

None

Subscribers

None

Description

clarified pdf path;

Details

Provenance

Authored on

Parents

rISABELLE7bf685cbc789: HTTP view of Isabelle PDF documentation;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE488c7e8923b2: clarified pdf path;.Feb 21 2022, 9:15 PM

Changes (4)

Path

Size

src/

Pure/

General/

Tools/

Tools/

jEdit/

src/

documentation_dockable.scala

jedit_editor.scala

rISABELLE488c7e8923b2

src/Pure/General/http.scala

Loading...

src/Pure/Tools/doc.scala

Loading...

src/Tools/jEdit/src/documentation_dockable.scala

Loading...

src/Tools/jEdit/src/jedit_editor.scala

Loading...