Diffusion Isabelle f40c36ab154d

clarified names to emphasize suble differences in meaning;
f40c36ab154d
Actions

Tags

None

Subscribers

None

Description

clarified names to emphasize suble differences in meaning;

Details

Provenance

Authored on

Parents

rISABELLEa8f002720ebb: prefer high-level Other_Isabelle.bash over low-level SSH.execute;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf40c36ab154d: clarified names to emphasize suble differences in meaning;.Jan 28 2023, 8:50 PM

Changes (4)

Path

Size

src/

Pure/

Admin/

build_history.scala

isabelle_cronjob.scala

other_isabelle.scala

System/

components.scala

rISABELLEf40c36ab154d

src/Pure/Admin/build_history.scala

Loading...

src/Pure/Admin/isabelle_cronjob.scala

Loading...

src/Pure/Admin/other_isabelle.scala

Loading...

src/Pure/System/components.scala

Loading...