Diffusion Isabelle b50f8cc8c08e

support for base64 via Isabelle/Scala/ML;
b50f8cc8c08e
Actions

Tags

None

Subscribers

None

Description

support for base64 via Isabelle/Scala/ML;

Details

Provenance

Authored on

Parents

rISABELLE23d2adc5489e: compile;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEb50f8cc8c08e: support for base64 via Isabelle/Scala/ML;.Apr 12 2021, 10:57 PM

makarius mentioned this in rISABELLE6bd747b71bd3: proper signature export (amending b50f8cc8c08e);.May 24 2021, 1:23 PM

Changes (3)

Path

Size

src/

Pure/

General/

System/

isabelle_system.ML

rISABELLEb50f8cc8c08e

src/Pure/General/bytes.scala

Loading...

src/Pure/System/isabelle_system.ML

Loading...

src/Pure/System/scala.scala

Loading...