HomeIsabelle/Phabricator

proper links to Isabelle2020 archive;

Description

proper links to Isabelle2020 archive;

Details

Provenance
makariusAuthored on
makariusPushed on Sat, Feb 20, 9:18 PM
Parents
rWEBSITEe7217f80f31e: update for release;
Branches
Unknown
Tags
Unknown