Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. full test for Flyspeck-Tame; get rid of ISABELLE_FULL_TEST
Changeset 6522:cac201d3f3f9 by lars hupel _lars.hupel@mytum.de_:
full test for Flyspeck-Tame; get rid of ISABELLE_FULL_TEST
The file was modified thys/Flyspeck-Tame/ArchComp.thy (diff)
The file was modified thys/Flyspeck-Tame/ROOT (diff)