There is a newer version of the record available.

Published July 2, 2017 | Version v0.8.2
Software Open

larsrh/libisabelle: libisabelle 0.8.2

Creators

Description

Minor changes

  • running Programs now results in CancelableFuture (ef94067)
  • operations for pure.Typ (b1bb3e8)
  • fix cancellation behaviour in CLI (6c60d89)

Files

larsrh/libisabelle-v0.8.2.zip

Files (525.4 kB)

Name Size Download all
md5:70d2c78d78437e346b9f5580a0577ec1
525.4 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/larsrh/libisabelle/tree/v0.8.2 (URL)