#
4761143b |
|
10-Aug-2009 |
Tjark Weber <Tjark.Weber@cl.cam.ac.uk> |
Removed trailing whitespace from all .sml and .sig files. This affects over 900 files and was done using emacs's delete-trailing-whitespace function in batch mode. Building the system with Poly/ML and Moscow ML seems to work, so I'm hoping these changes don't break anything. Please complain if they do!
|
#
3b9afa98 |
|
07-Jul-2004 |
Konrad Slind <konrad.slind@gmail.com> |
Changed NUMERAL_BIT1 and NUMERAL_BIT2 to BIT1 and BIT2, respectively. Sorry, they were just too long. Also, ALT_ZERO is now named ZERO.
|
#
3166bea0 |
|
10-Feb-2001 |
Konrad Slind <konrad.slind@gmail.com> |
Minor changes.
|
#
0a138186 |
|
27-Dec-2000 |
Konrad Slind <konrad.slind@gmail.com> |
Minor changes.
|
#
2bcd4eee |
|
07-Nov-2000 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Changes making directory Kananaskis compatible.
|
#
c4b9d5d1 |
|
02-Dec-1999 |
Konrad Slind <konrad.slind@gmail.com> |
Forgot to add these things. It's very important to remember to add these sorts of things. .... and repeat 1000 times.
|