diff -r a43a079156a6 -r 54c6ec4166a4 Admin/polyml/CHECKLIST
--- a/Admin/polyml/CHECKLIST	Fri May 19 19:41:28 2017 +0200
+++ b/Admin/polyml/CHECKLIST	Fri May 19 20:23:07 2017 +0200
@@ -1,8 +1,8 @@
 Notes on building Poly/ML as Isabelle component
 ===============================================
 
-* include full source (without symlink):
-  $ wget https://github.com/polyml/polyml/archive/master.zip
+* component skeleton:
+  $ isabelle build_polyml_component -s sha1 component
 
-* component outline:
-  $ isabelle build_polyml -C component ...
+* include full source (without symlink), for example:
+  $ wget https://github.com/polyml/polyml/archive/master.zip