HomeIsabelle/Phabricator

updated to polyml-5.8.1-20191113 test version (Poly/ML 67e87c763417);

Authored by makarius.

Description

updated to polyml-5.8.1-20191113 test version (Poly/ML 67e87c763417);

Details

Committed
makariusNov 13 2019, 8:21 PM
Parents
rISABELLEeed5b6188371: more support for multiple daemons;
Branches
Unknown
Tags
Unknown