| changeset 65565 | 3219a7ed669c |
| parent 64452 | b52141002646 |
| child 65567 | c556c09765dd |
--- a/Admin/Release/CHECKLIST Sun Apr 23 19:17:04 2017 +0200 +++ b/Admin/Release/CHECKLIST Sun Apr 23 22:00:15 2017 +0200 @@ -11,6 +11,7 @@ - check sources: isabelle check_sources '~~' '$AFP_BASE' + isabelle imports -M -d '~~/src/Benchmarks' -a - check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS;