HomeIsabelle/Phabricator

better rendering of submission archive and Isabelle log;

Description

better rendering of submission archive and Isabelle log;

Details

Provenance
Fabian Huch <huch@in.tum.de>Authored on
Parents
rAFPc59ea7fd010b: proper state handling in submission handler;
Branches
Unknown
Tags
Unknown