Diffusion Poly/ML 67384d30eb85

The parent of "../.." is "../../.." not "..". Fixes #167.
67384d30eb85
Actions

Tags

None

Subscribers

None

Description

The parent of "../.." is "../../.." not "..". Fixes #167.

Details

Provenance

dcjm	Authored on Jan 16 2022, 1:46 PM

Parents

rPOLYMLae59fee9fd54: Disable LSE atomics for the moment.

Branches

Unknown

Tags

Unknown

Event Timeline

dcjm committed rPOLYML67384d30eb85: The parent of "../.." is "../../.." not "..". Fixes #167. (authored by dcjm).Jan 16 2022, 1:46 PM

Changes (2)

Path

Size

Tests/

Succeed/

basis/

rPOLYML67384d30eb85

Tests/Succeed/Test158.ML

Loading...

basis/OS.sml

Loading...