History log of /seL4-l4v-10.1.1/l4v/isabelle/src/Pure/System/process_result.scala
Revision Date Author Comments
# 9af5e901 06-May-2018 wenzelm <none@none>

tuned signature;


# c604d41e 26-Oct-2016 wenzelm <none@none>

clarified hg push return code: 1 means "nothing to push";


# 76caf10e 11-Oct-2016 wenzelm <none@none>

eliminated extra trim_line: Process_Result.out/err are based on cat_lines, without trailing newline;


# 45d641cb 03-Oct-2016 wenzelm <none@none>

more operations;


# 94f75e85 09-Mar-2016 wenzelm <none@none>

bash process with builtin timing;


# 2ab0222e 07-Mar-2016 wenzelm <none@none>

tuned signature;


# 34e03fee 01-Mar-2016 wenzelm <none@none>

clarified modules;


# aafa1871 24-Feb-2016 wenzelm <none@none>

proper return code for timeout (amending f868f12f9419);


# 8b7a9a29 24-Feb-2016 wenzelm <none@none>

retain tail out_lines as printed, but not the whole log content;


# 49fdbd5c 24-Feb-2016 wenzelm <none@none>

more informative Build.build_results;
tuned signature;


# a9013be6 24-Feb-2016 wenzelm <none@none>

more informative Process_Result;
tuned;


# 371ca75d 24-Feb-2016 wenzelm <none@none>

clarified modules;