SMLFamily
diff --git a/‎ML.cover.gif
100755100644 b/‎ML.cover.gif
100755100644
diff --git a/‎bob.bib
100755100644 b/‎bob.bib
100755100644
diff --git a/‎changes.sml
100755100644 b/‎changes.sml
100755100644
diff --git a/‎changes.tex
100755100644 b/‎changes.tex
100755100644
diff --git a/‎oldindex.tex
100755100644 b/‎oldindex.tex
100755100644
diff --git a/‎overloading.tex
100755100644 b/‎overloading.tex
100755100644
diff --git a/‎rootchanges.tex
100755100644 b/‎rootchanges.tex
100755100644
diff --git a/‎tofte.bib
100755100644 b/‎tofte.bib
100755100644
diff --git a/‎whatisnew.tex
100755100644 b/‎whatisnew.tex
100755100644