History log of /seL4-l4v-master/isabelle/src/Pure/System/getopts.scala
Revision Date Author Comments
# 1f5e8f92 15-Jan-2020 wenzelm <none@none>

misc tuning, following hint by IntelliJ;


# 62dbe30f 10-Dec-2017 wenzelm <none@none>

avoid println with its extra CR on Windows;


# 8631498e 28-Feb-2016 wenzelm <none@none>

tuned signature;


# 84d340df 27-Feb-2016 wenzelm <none@none>

tuned messages;


# 87e6b043 27-Feb-2016 wenzelm <none@none>

tuned messages;


# 45cc05e3 27-Feb-2016 wenzelm <none@none>

support for command-line options as in GNU bash;