Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more platform notes;
authorwenzelm
Wed, 12 Feb 2014 13:53:11 +0100
changeset 55438 3b95e70c5cb3
parent 55437 3fd63b92ea3b
child 55439 db691cc79289
more platform notes;
Admin/PLATFORMS file | annotate | diff | comparison | revisions 
--- 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
isabelle