Diffusion Poly/ML 42ada6abe712

Remove 5.8.1 compatibility files.
42ada6abe712
Actions

Tags

None

Subscribers

None

Description

Remove 5.8.1 compatibility files.

Details

Provenance

dcjm	Authored on May 4 2021, 12:58 PM

Parents

rPOLYMLf84689bde7d2: Pre-built compilers for X86/64 Windows and X86/64-32 Windows.

Branches

Unknown

Tags

Unknown

Event Timeline

dcjm committed rPOLYML42ada6abe712: Remove 5.8.1 compatibility files. (authored by dcjm).May 4 2021, 12:58 PM

Changes (6)

Path

Size

basis/

ExnPrinter.581.sml

Foreign.581.sml

ForeignMemory.581.sml

InitialBasis.581.ML

Windows.581.sml

rPOLYML42ada6abe712

basis/ExnPrinter.581.sml

Loading...

basis/Foreign.581.sml

Loading...

basis/ForeignMemory.581.sml

Loading...

basis/InitialBasis.581.ML

Loading...

basis/Thread.581.sml

Loading...

basis/Windows.581.sml

Loading...