Diffusion Isabelle 2cd23d587db9

further clarification of Isabelle distribution identification -- avoid odd…
2cd23d587db9
Actions

Tags

None

Subscribers

None

Description

further clarification of Isabelle distribution identification -- avoid odd patching of sources;

Details

Provenance

Authored on

Parents

rISABELLEb219774a71ae: tuned signature -- more explicit types;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE2cd23d587db9: further clarification of Isabelle distribution identification -- avoid odd….Mar 31 2021, 10:58 PM

nipkow mentioned this in rAFPd552c27edab9: probable fix suggested by Cornelius for the changes in the vicinity of….Apr 6 2021, 10:15 AM

makarius mentioned this in rISABELLEae20766492c4: proper output, following 2cd23d587db9;.Jan 20 2024, 2:00 PM

Changes (19)

Path

Size

lib/

Tools/

scripts/

HOL/

SPARK/

Tools/

Admin/

build_release.scala

General/

PIDE/

distribution.ML

distribution.scala

isabelle_system.ML

isabelle_system.scala

Thy/

presentation.scala

Tools/

Tools/

VSCode/

src/

language_server.scala

rISABELLE2cd23d587db9

lib/Tools/version

Loading...

lib/scripts/getsettings

Loading...

src/HOL/SPARK/Tools/spark_vcs.ML

Loading...

src/Pure/Admin/build_release.scala

Loading...

src/Pure/General/http.scala

Loading...

src/Pure/PIDE/session.ML

Loading...

src/Pure/ROOT.ML

Loading...

src/Pure/System/distribution.ML

Loading...

src/Pure/System/distribution.scala

Loading...

src/Pure/System/isabelle_system.ML

Loading...

src/Pure/System/isabelle_system.scala

Loading...

src/Pure/System/scala.scala

Loading...

src/Pure/Thy/presentation.scala

Loading...

src/Pure/Tools/server.scala

Loading...

src/Pure/build-jars

Loading...

src/Tools/VSCode/src/language_server.scala

Loading...