Diffusion Isabelle 8dffbe01a3e1

support for Scala compile-time positions;
8dffbe01a3e1
Actions

Tags

None

Subscribers

None

Description

support for Scala compile-time positions;

Details

Provenance

Authored on

Parents

rISABELLE1456c5747416: clarified modules;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE8dffbe01a3e1: support for Scala compile-time positions;.Nov 28 2020, 3:15 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

scala_project.scala

rISABELLE8dffbe01a3e1

src/Pure/Tools/scala_project.scala

Loading...