Diffusion Isabelle 970bad477c13

clarified default name;
970bad477c13
Actions

Tags

None

Subscribers

None

Description

clarified default name;

Details

Provenance

Authored on

Parents

rISABELLEac64b753a65f: build Isabelle Vampire component from repository;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE970bad477c13: clarified default name;.Dec 12 2020, 3:00 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_vampire.scala

rISABELLE970bad477c13

src/Pure/Admin/build_vampire.scala

Loading...