HomeIsabelle/Phabricator
Diffusion Poly/ML f0b7ef45a81f

Remove old compatibility files.
f0b7ef45a81fUnpublished
Actions

Unpublished Commit ยท Learn More

  • Repository Importing: This repository is still importing.
  • Not On Permanent Ref: This commit is not an ancestor of any permanent ref.

Description

Remove old compatibility files.

Details

Provenance
dcjmAuthored on Mar 15 2019, 9:41 AM
Parents
rPOLYMLafbad2f298aa: Updated prebuilt compilers for Windows X64 and X64/32.
Branches
Unknown
Tags
Unknown

Event Timeline

Changes (2)

PathSize
basis/

rPOLYMLf0b7ef45a81f

View Options

basis/Real.571.sml

Loading...
View Options

basis/Real32.571.sml

Loading...