Diffusion Poly/ML 77f7da990ef0

Remove dependency of ExnPrinter on OS.
77f7da990ef0
Actions

Tags

None

Subscribers

None

Description

Remove dependency of ExnPrinter on OS.

Details

Provenance

dcjm	Authored on Mar 26 2019, 5:22 PM

Parents

rPOLYMLc264949a7407: Convert the remaining Windows-specific calls to separate RTS calls.

Branches

Unknown

Tags

Unknown

Event Timeline

dcjm committed rPOLYML77f7da990ef0: Remove dependency of ExnPrinter on OS. (authored by dcjm).Mar 26 2019, 5:22 PM

Changes (2)

Path

Size

basis/

rPOLYML77f7da990ef0

basis/ExnPrinter.sml

Loading...

basis/build.sml

Loading...