HomeIsabelle/Phabricator

discontinued somewhat pointless Isabelle options: setup implicitly assumes…

Authored by makarius.

Description

discontinued somewhat pointless Isabelle options: setup implicitly assumes Ubuntu 18.04;

Details

Committed
makariusNov 6 2019, 11:24 PM
Parents
rISABELLE67cbf2e52785: unused;
Branches
Unknown
Tags
Unknown