HomeIsabelle/Phabricator

further distinction of Isabelle distribution: alert for identified releaseā€¦

Description

further distinction of Isabelle distribution: alert for identified release candidates;

Details

Provenance
makariusAuthored on
Parents
rISABELLE5f451a141581: updated to scala-2.11.2;
Branches
Unknown
Tags
Unknown