History log of /seL4-l4v-master/HOL4/src/pfl/index.sml
Revision Date Author Comments
# 934cbd10 11-Dec-2018 Michael Norrish <Michael.Norrish@nicta.com.au>

Get all of src/pfl under 80 columns


# 8d2dfbce 18-Nov-2018 Michael Norrish <Michael.Norrish@nicta.com.au>

Remove Globals.priming.

Also remove references to it in code that isn't being tested in the
regression checking build-sequence, and so is probably bit-rotted.

Provide numvariant version of variant, which behaves like

with_flag(Globals.priming,SOME "") (variant avoids)

Document change/incompatibility in release notes.


# 08d7a558 23-Oct-2014 Piotr Trojanek <piotr.trojanek@gmail.com>

trailing newlines in *.{sml,sig} files from src/ removed

Trailing newlines from SML files in src/ were rendered in HTML documentation.


# 1b1d2f70 17-May-2013 Konrad Slind <konrad.slind@gmail.com>

Minor random fiddly changes


# 7ceec16a 19-Jul-2012 Michael Norrish <michael.norrish@nicta.com.au>

Delete trailing whitespace throughout src/


# 0c50dee0 17-Nov-2011 Konrad Slind <konrad.slind@gmail.com>

Populating initial pfl library.