HomeIsabelle/Phabricator
Diffusion Poly/ML d6ac224c0c6d

Set version numbers to 5.8 in preparation for release.
d6ac224c0c6dUnpublished
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

Set version numbers to 5.8 in preparation for release.

Details

Provenance
dcjmAuthored on Feb 19 2019, 7:14 PM
Parents
rPOLYMLc5eb591636fc: Create new RTS call functions for saving state and modules rather than having…
Branches
Unknown
Tags
Unknown

Event Timeline

Changes (2)

PathSize
libpolyml/
mlsource/
MLCompiler/

rPOLYMLd6ac224c0c6d

View Options

libpolyml/version.h

Loading...
View Options

mlsource/MLCompiler/CompilerVersion.sml

Loading...