Diffusion Isabelle 98b4a9902582

tuned headers;
98b4a9902582
Actions

Tags

None

Subscribers

None

Description

tuned headers;

Details

Provenance

Authored on

Parents

rISABELLEa8fa53c086a4: eliminated suspicious Unicode characters;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE98b4a9902582: tuned headers;.Mar 7 2023, 11:24 PM

Changes (10)

Path

Size

src/

Pure/

Admin/

component_verit.scala

General/

PIDE/

byte_message.scala

System/

isabelle_fonts.scala

Tools/

Tools/

jEdit/

jedit_main/

isabelle_sidekick.scala

src/

jedit_main.scala

jedit_plugins.scala

rISABELLE98b4a9902582

src/Pure/Admin/ci_build.scala

Loading...

src/Pure/Admin/component_verit.scala

Loading...

src/Pure/General/js.scala

Loading...

src/Pure/General/zstd.scala

Loading...

src/Pure/PIDE/byte_message.scala

Loading...

src/Pure/System/isabelle_fonts.scala

Loading...

src/Pure/Tools/flarum.scala

Loading...

src/Tools/jEdit/jedit_main/isabelle_sidekick.scala

Loading...

src/Tools/jEdit/src/jedit_main.scala

Loading...

src/Tools/jEdit/src/jedit_plugins.scala

Loading...