Diffusion Isabelle aa6ce2e51e6c

proper base names;
aa6ce2e51e6c
Actions

Tags

None

Subscribers

None

Description

proper base names;

Details

Provenance

Authored on

Parents

rISABELLE30d43e9b2077: suppress command echo in output;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEaa6ce2e51e6c: proper base names;.Oct 2 2022, 5:01 PM

Changes (1)

Path

Size

src/

Pure/

General/

rISABELLEaa6ce2e51e6c

src/Pure/General/ssh.scala

Loading...