Diffusion Isabelle b4e6b82fdb9e

more direct isabelle_scala_build: always enabled, no "Admin" requirement;
b4e6b82fdb9e
Actions

Tags

None

Subscribers

None

Description

more direct isabelle_scala_build: always enabled, no "Admin" requirement;

Details

Provenance

Authored on

Parents

rISABELLE027fb21bdd5d: tuned --- fewer warnings;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEb4e6b82fdb9e: more direct isabelle_scala_build: always enabled, no "Admin" requirement;.Jul 16 2021, 1:18 PM

makarius mentioned this in rISABELLEb1e0fb71435d: obsolete (see b4e6b82fdb9e);.Aug 29 2023, 1:20 PM

Changes (12)

Path

Size

bin/

lib/

Tools/

scripts/

src/

Tools/

GraphBrowser/

lib/

Tools/

jEdit/

lib/

Tools/

rISABELLEb4e6b82fdb9e

Admin/build

Loading...

Admin/build_history

Loading...

Admin/build_release

Loading...

bin/isabelle

Loading...

lib/Tools/components

Loading...

lib/Tools/console

Loading...

lib/Tools/scala

Loading...

lib/Tools/scalac

Loading...

lib/scripts/getfunctions

Loading...

src/Tools/GraphBrowser/lib/Tools/browser

Loading...

src/Tools/jEdit/lib/Tools/jedit

Loading...