diff -r 9effce0ce1e1 -r 1f184f8ec10b Admin/polyml/CHECKLIST
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/polyml/CHECKLIST	Sat Jan 26 19:53:15 2013 +0100
@@ -0,0 +1,17 @@
+Notes on building Poly/ML as Isabelle component
+===============================================
+
+* copy README
+
+* copy build
+
+* copy updated etc/settings
+
+* include full source (without symlink)
+
+* include sha1 source and binary for each platform
+
+* copy polyml script for each platform
+
+* linux: include copy of libgmp.so with symlinks from build host
+