# HG changeset patch
# User wenzelm
# Date 1392209591 -3600
# Node ID 3b95e70c5cb3b2e59294089a7469c10c0530fe92
# Parent  3fd63b92ea3bc020d113d3df047bd4919905df15
more platform notes;

diff -r 3fd63b92ea3b -r 3b95e70c5cb3 Admin/PLATFORMS
--- a/Admin/PLATFORMS	Wed Feb 12 13:33:05 2014 +0100
+++ b/Admin/PLATFORMS	Wed Feb 12 13:53:11 2014 +0100
@@ -122,3 +122,6 @@
   identifies the JVM platform.  Since a particular Java version is
   always bundled with Isabelle, the resulting settings also provide
   some clues about its platform, without running it.
+
+* Common Unix tools like /bin/sh, /bin/kill, sed, ulimit are
+  notoriously non-portable an should be avoided.
\ No newline at end of file