Diffusion Isabelle 7e52091795e8

update to bash_process-20240326;
7e52091795e8
Actions

Tags

None

Subscribers

None

Description

update to bash_process-20240326;

Details

Provenance

Authored on

Parents

rISABELLEee449ca91c3b: build bash_process in Isabelle/Scala, with etc/platforms.prop to preserve all…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE7e52091795e8: update to bash_process-20240326;.Mar 26 2024, 11:32 AM

Changes (2)

Path

Size

Admin/

components/

components.sha1

rISABELLE7e52091795e8

Admin/components/components.sha1

Loading...

Admin/components/main

Loading...