Diffusion Poly/ML d39913944fda

Merge branch 'master' of https://github.com/dcjm/polyml
d39913944fdaUnpublished
Actions

Tags

None

Subscribers

None

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

Merge branch 'master' of https://github.com/dcjm/polyml

Details

Provenance

dcjm	Authored on Apr 6 2019, 7:11 PM

Parents

rPOLYMLb28db8253b5c: Add an RTS function to create persistent file descriptor values for Posix.
rPOLYMLceadfd673da9: Clean up installer. The short-cut wasn't set up correctly.

Branches

Unknown

Tags

Unknown

Event Timeline

Merged Changes

b28db8253b5c Add an RTS function to create persistent file descriptor values for Posix.
Author
dcjm
Browse Repository
No Builds
No Audits

Changes (4)

Path

Size

Tests/

Succeed/

basis/

libpolyml/

rPOLYMLd39913944fda

Tests/Succeed/Test189.ML

Loading...

basis/Posix.sml

Loading...

basis/Unix.sml

Loading...

libpolyml/basicio.cpp

Loading...