History log of /seL4-l4v-master/l4v/isabelle/src/Pure/General/date.scala
Revision Date Author Comments
# fdcab7a8 25-Mar-2019 wenzelm <none@none>

tuned signature;


# f96c3170 05-May-2017 wenzelm <none@none>

tuned;


# c0e974ea 10-Feb-2017 wenzelm <none@none>

clarified Date storage;


# 26349977 09-Feb-2017 wenzelm <none@none>

timestamp string format for SQLite;


# 8b32c8a5 09-Feb-2017 wenzelm <none@none>

support for type Date;


# 50c99352 08-Oct-2016 wenzelm <none@none>

build_history log files with formal meta info;


# c69f4730 08-Oct-2016 wenzelm <none@none>

prefer local timezone;


# a336782a 08-Oct-2016 wenzelm <none@none>

tuned error;


# d4d46c1a 08-Oct-2016 wenzelm <none@none>

tuned;


# 1dcdc7c5 08-Oct-2016 wenzelm <none@none>

misc tuning and clarification;


# 71f40f0c 07-Oct-2016 wenzelm <none@none>

more flexible date formats;


# e4815790 07-Oct-2016 wenzelm <none@none>

tuned;


# ba6d3b7d 05-Oct-2016 wenzelm <none@none>

tuned signature;


# 23ae7484 05-Oct-2016 wenzelm <none@none>

more flexibile formatting;
expose representation for free-form formatters;


# 1bb1df33 05-Oct-2016 wenzelm <none@none>

more operations;
tuned;


# fb9a68e8 05-Oct-2016 wenzelm <none@none>

more date and time operations from Java 8;