# HG changeset patch
# User wenzelm
# Date 1507750871 -7200
# Node ID c04f46a6f29d7222a8d336fa5d2643f39c10ae50
# Parent  6847eb01ae4796735977767c5446d92627da4844
back to build_polyml_component according to 54c6ec4166a4 (amending 808e6ddb5a50);

diff -r 6847eb01ae47 -r c04f46a6f29d Admin/polyml/CHECKLIST
--- a/Admin/polyml/CHECKLIST	Wed Oct 11 21:36:53 2017 +0200
+++ b/Admin/polyml/CHECKLIST	Wed Oct 11 21:41:11 2017 +0200
@@ -2,7 +2,7 @@
 ===============================================
 
 * component skeleton:
-  $ isabelle build_polyml -s sha1 component
+  $ isabelle build_polyml_component -s sha1 component
 
 * include full source (without symlink), for example:
   $ wget https://github.com/polyml/polyml/archive/master.zip