discontinued obsolete "isabelle imports" and all_known data;
9cde8c4ea5a5
Actions

Description

discontinued obsolete "isabelle imports" and all_known data;

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (9)

Path

Size

Doc/

System/

System/

Thy/

rISABELLE9cde8c4ea5a5

NEWS

src/Doc/System/Sessions.thy

src/Pure/System/isabelle_tool.scala

src/Pure/Thy/sessions.scala

src/Pure/Tools/imports.scala

discontinued obsolete "isabelle imports" and all_known data;9cde8c4ea5a5Actions

Description

Details

Changes (9)

rISABELLE9cde8c4ea5a5

NEWS

src/Doc/System/Sessions.thy

src/Pure/System/isabelle_tool.scala

src/Pure/Thy/sessions.scala

src/Pure/Tools/imports.scala

src/Pure/build-jars

discontinued obsolete "isabelle imports" and all_known data;
9cde8c4ea5a5
Actions