History log of /seL4-l4v-master/l4v/isabelle/src/Pure/System/bash.scala
Revision Date Author Comments
# b0e76d71 14-Dec-2017 wenzelm <none@none>

tuned;
# 333e8881 18-Mar-2017 wenzelm <none@none>

more informative session result;
# 919d9d93 18-Mar-2017 wenzelm <none@none>

simplified signature (despite 448325de6e4f);
# 1984463f 16-Jan-2017 wenzelm <none@none>

tuned -- nicer generated bash source;
# 61f649e7 18-Oct-2016 wenzelm <none@none>

clarified modules;
# 7ef3882d 02-Oct-2016 wenzelm <none@none>

tuned whitespace;
# d023295c 05-Sep-2016 wenzelm <none@none>

clarified modules;
# 7fe148ef 12-Mar-2016 wenzelm <none@none>

more uniform signature for various process invocations;
env refers to full environment, not the update;
# 09e45844 12-Mar-2016 wenzelm <none@none>

tuned;
# f515cef6 12-Mar-2016 wenzelm <none@none>

more thorough cleanup -- in Scala;
# dcabae6a 10-Mar-2016 wenzelm <none@none>

clarified files;

--HG--
rename : src/Pure/Concurrent/bash.ML => src/Pure/System/bash.ML
rename : src/Pure/Concurrent/bash.scala => src/Pure/System/bash.scala
rename : src/Pure/Concurrent/bash_windows.ML => src/Pure/System/bash_windows.ML