History log of /seL4-l4v-master/HOL4/src/portableML/poly/Susp.sml
Revision Date Author Comments
# 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.


# 8d5fa7fe 26-Jul-2012 Anthony Fox <anthony.fox@cl.cam.ac.uk>

More assorted code tidying.


# f4b51e0c 18-Dec-2009 Michael Norrish <Michael.Norrish@nicta.com.au>

Moved a bunch of things from tools-poly/poly to portableML/poly.

Still to do: make Poly Arb{int,num} use Poly's built-in arbitrarily
large integer type. Also want to get rid of the last remaining
"redirect" in tools-poly/poly/poly-init2.ML.