more platform notes;
authorwenzelm
Wed Feb 12 13:53:11 2014 +0100 (2014-02-12)
changeset 554383b95e70c5cb3
parent 55437 3fd63b92ea3b
child 55439 db691cc79289
more platform notes;
Admin/PLATFORMS
     1.1 --- a/Admin/PLATFORMS	Wed Feb 12 13:33:05 2014 +0100
     1.2 +++ b/Admin/PLATFORMS	Wed Feb 12 13:53:11 2014 +0100
     1.3 @@ -122,3 +122,6 @@
     1.4    identifies the JVM platform.  Since a particular Java version is
     1.5    always bundled with Isabelle, the resulting settings also provide
     1.6    some clues about its platform, without running it.
     1.7 +
     1.8 +* Common Unix tools like /bin/sh, /bin/kill, sed, ulimit are
     1.9 +  notoriously non-portable an should be avoided.
    1.10 \ No newline at end of file