Admin/Release/CHECKLIST

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