--- a/Admin/PLATFORMS Fri Oct 24 11:05:19 2014 +0200
+++ b/Admin/PLATFORMS Fri Oct 24 11:30:39 2014 +0200
@@ -93,10 +93,8 @@
shell /bin/sh is *not* appropriate, because there are too many
non-standard implementations of it.
-* Perl as largely portable system programming language. In some
- situations Python may serve as an alternative, but it usually
- performs not as well in addressing various delicate details of
- operating system concepts (processes, signals, sockets etc.).
+* Perl as largely portable system programming language, with its
+ fairly robust support for processes, signals, sockets etc.
* Scala with Java 1.7. Isabelle/Scala irons out many oddities and
portability issues of the Java platform.