HomePhabricator

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
makariusWed, Nov 6, 11:24 PM
Parents
rISABELLE67cbf2e52785: unused;
Branches
Unknown
Tags
Unknown