Admin/polyml/CHECKLIST

--- a/Admin/polyml/CHECKLIST	Fri Nov 03 19:20:47 2017 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,8 +0,0 @@
-Notes on building Poly/ML as Isabelle component
-===============================================
-
-* component skeleton:
-  $ isabelle build_polyml_component -s sha1 component
-
-* include full source (without symlink), for example:
-  $ wget https://github.com/polyml/polyml/archive/master.zip