Planned intervention: On Wednesday April 3rd 05:30 UTC Zenodo will be unavailable for up to 2-10 minutes to perform a storage cluster upgrade.
Published October 2, 2018 | Version v1.0.1
Software Open

larsrh/libisabelle: libisabelle 1.0.1

Description

Minor changes

  • loaded theory check now takes session qualifier into account (#72, 42b1a64)
  • pull up-to-date AFP artifact (c8f7413)

Files

larsrh/libisabelle-v1.0.1.zip

Files (783.6 kB)

Name Size Download all
md5:f7b3d9cfea325f4243aa60085bdf2067
783.6 kB Preview Download

Additional details

Related works