Diffusion Isabelle 5c600dd17617

clarified file names;
5c600dd17617
Actions

Tags

None

Subscribers

None

Description

clarified file names;

Details

Provenance

Authored on

Parents

rISABELLEda26d2d6346c: less ambitious isatest, avoid "Exception- InternalError: Backing up too far…

Branches

Unknown

Tags

Unknown

Event Timeline

Changes (5)

Path

Size

	ROOT.scala
	package.scala

rISABELLE5c600dd17617

src/Pure/ROOT.scala

Loading...

src/Pure/build-jars

Loading...

src/Pure/package.scala

Loading...