Admin/Release/CHECKLIST

 
 - test "#!/usr/bin/env isabelle_scala_script";
 
 - check sources:
     isabelle check_sources '~~' '$AFP_BASE'
+    isabelle imports -M -d '~~/src/Benchmarks' -a
 
 - check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS;
 
 - check versions in src/Tools/jEdit/Isabelle.props;