Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. Removed inactive DOI
  2. Removed inactive DOI
Changeset 14283:408a29902df3 by Thibault Dardinier _thibault.dardinier@inf.ethz.ch_:
Removed inactive DOI
Changeset 14282:e0dfdf1b8ed4 by Thibault Dardinier _thibault.dardinier@inf.ethz.ch_:
Removed inactive DOI
The file was modified metadata/entries/HyperHoareLogic.toml