Diffusion Isabelle 7202e12cb324

tuned signature --- following hints by IntelliJ IDEA;
7202e12cb324
Actions

Tags

None

Subscribers

None

Description

tuned signature --- following hints by IntelliJ IDEA;

Details

Provenance

Authored on

Parents

rISABELLEd83e7e444b43: ignore session build timeout, notably in AFP;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE7202e12cb324: tuned signature --- following hints by IntelliJ IDEA;.May 16 2021, 1:34 PM

Changes (12)

Path

Size

src/

Pure/

Admin/

isabelle_cronjob.scala

General/

mercurial.scala

PIDE/

System/

Tools/

Tools/

jEdit/

src/

document_model.scala

scala_console.scala

rISABELLE7202e12cb324

src/Pure/Admin/isabelle_cronjob.scala

Loading...

src/Pure/General/mercurial.scala

Loading...

src/Pure/General/ssh.scala

Loading...

src/Pure/General/time.scala

Loading...

src/Pure/PIDE/prover.scala

Loading...

src/Pure/PIDE/session.scala

Loading...

src/Pure/System/bash.scala

Loading...

src/Pure/System/scala.scala

Loading...

src/Pure/Tools/build.scala

Loading...

src/Pure/Tools/server.scala

Loading...

src/Tools/jEdit/src/document_model.scala

Loading...

src/Tools/jEdit/src/scala_console.scala

Loading...