#
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.
|