| #
d87ece44 |
|
02-Sep-2018 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Delete redundant matches in OldPP.sml
|
| #
a03a2b67 |
|
02-Sep-2018 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Fix error where record type can't be inferred by Moscow ML
Introduced by b3ae0ef88a
|
| #
b3ae0ef8 |
|
30-Aug-2018 |
Fabian Immler <immler@in.tum.de> |
eliminated some ref-matches
|
| #
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
|
| #
09c5dc00 |
|
14-Mar-2018 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Up to and boolTheory and slightly beyond
|
| #
a71b1cc0 |
|
13-Mar-2018 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Updated as far as Pretype.sml
Still no use of smpp tech.
|
| #
3f252166 |
|
13-Mar-2018 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Work towards use of PolyML.pretty type for most pretty-printing
Compiles up to src/parse under Poly/ML
|