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
- Is supplement to
- https://github.com/larsrh/libisabelle/tree/v1.0.1 (URL)