Admin/PLATFORMS
changeset 58780 1f8c0da85664
parent 55438 3b95e70c5cb3
child 59114 8281f83d286f
     1.1 --- a/Admin/PLATFORMS	Fri Oct 24 11:05:19 2014 +0200
     1.2 +++ b/Admin/PLATFORMS	Fri Oct 24 11:30:39 2014 +0200
     1.3 @@ -93,10 +93,8 @@
     1.4    shell /bin/sh is *not* appropriate, because there are too many
     1.5    non-standard implementations of it.
     1.6  
     1.7 -* Perl as largely portable system programming language.  In some
     1.8 -  situations Python may serve as an alternative, but it usually
     1.9 -  performs not as well in addressing various delicate details of
    1.10 -  operating system concepts (processes, signals, sockets etc.).
    1.11 +* Perl as largely portable system programming language, with its
    1.12 +  fairly robust support for processes, signals, sockets etc.
    1.13  
    1.14  * Scala with Java 1.7.  Isabelle/Scala irons out many oddities and
    1.15    portability issues of the Java platform.