| #
6a81a039 |
|
21-May-2018 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Remove TABs from src
Will also make selftest to check that they aren't introduced
|
| #
4888f523 |
|
15-Oct-2017 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Remove eqtype declaration for term type
|
| #
1ee7f40d |
|
14-Oct-2012 |
Michael Norrish <michael.norrish@nicta.com.au> |
Delete trailing whitespace in src and examples.
|
| #
4fd494ce |
|
08-Oct-2012 |
Thomas Tuerk <tt291@cl.cam.ac.uk> |
selftest for SATISFY_ss added
|
| #
43f15686 |
|
02-Oct-2012 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Delete trailing whitespace in src/
|
| #
5854343a |
|
21-Sep-2012 |
Thomas Tuerk <tt291@cl.cam.ac.uk> |
bug-fix in Sanity.sml another cleanup of quantHeuristicsLib
|
| #
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!
|
| #
76803364 |
|
16-Nov-2000 |
Konrad Slind <konrad.slind@gmail.com> |
Paired syntax.
|
| #
58841e67 |
|
29-Apr-1999 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Initial revision
|