src/Pure/Tools/isabelle_system.scala
Sat, 23 Aug 2008 23:07:46 +0200 wenzelm added exec;
Sat, 23 Aug 2008 19:42:16 +0200 wenzelm shell_prefix: physical /bin/env on Cygwin;
Sat, 23 Aug 2008 17:55:27 +0200 wenzelm BadVariable: toString;
Sat, 23 Aug 2008 17:22:54 +0200 wenzelm added getenv;
less more (0) -4 tip