Diffusion Isabelle 564012e31db1

discontinued obsolete DVI document format and related settings/tools;
564012e31db1
Actions

Tags

None

Subscribers

None

Description

discontinued obsolete DVI document format and related settings/tools;

Details

Provenance

Authored on

Parents

rISABELLEaa14f630d8ef: clarified errors;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE564012e31db1: discontinued obsolete DVI document format and related settings/tools;.Sep 26 2020, 2:29 PM

makarius mentioned this in rISABELLE3cc6aa405858: clarified "isabelle logo", after discontinuation of DVI output (see….Sep 28 2020, 4:21 PM

makarius mentioned this in rISABELLE09d1d7332185: unused (see 564012e31db1);.Sep 28 2020, 10:26 PM

Changes (12)

Path

Size

etc/

src/

Doc/

System/

Environment.thy

Presentation.thy

Pure/

PIDE/

Thy/

rISABELLE564012e31db1

NEWS

Loading...

etc/settings

Loading...

lib/Tools/display

Loading...

lib/Tools/latex

Loading...

src/Doc/System/Environment.thy

Loading...

src/Doc/System/Misc.thy

Loading...

src/Doc/System/Presentation.thy

Loading...

src/Pure/PIDE/session.ML

Loading...

src/Pure/Thy/present.ML

Loading...

src/Pure/Thy/present.scala

Loading...