HomeIsabelle/Phabricator

Reorder some of the entries in the library build file so that the PolyML…

Description

Reorder some of the entries in the library build file so that the PolyML structure is augmented later and some of the
dependencies on OS are removed.

Details

Provenance
dcjmAuthored on Mar 26 2019, 7:00 PM
Parents
rPOLYML77f7da990ef0: Remove dependency of ExnPrinter on OS.
Branches
Unknown
Tags
Unknown