# HG changeset patch # User wenzelm # Date 882963520 -3600 # Node ID b595116eb3c4a2109d5b8e87ba699a28f8c04c7f # Parent d26e28c52788a46bd8f1c8ed15e6f7bdd6f2399e tuned; diff -r d26e28c52788 -r b595116eb3c4 README.html --- a/README.html Wed Dec 24 12:21:06 1997 +0100 +++ b/README.html Wed Dec 24 12:38:40 1997 +0100 @@ -53,8 +53,7 @@ href="http://cm.bell-labs.com/cm/cs/what/smlnj/software.html">SML/NJ needs lots of store and disk space, but it is free. The current official release is 110. We also still support the old 0.93 release -and working versions 109.27 to 109.33. Support for the 109 line of -SML/NJ will be dropped next time! +and working versions 109.27 to 109.33.

@@ -85,11 +84,10 @@ The distribution includes only a very primitive interface based on ordinary terminal sessions.

-David Aspinall has written a more elaborate user interface -for Isabelle. It runs under recent versions of GNU Emacs and XEmacs, -the latter being recommended. It's useful to both novices and -experts. +Isamode by +David Aspinall is a more elaborate interface for Isabelle. It runs +under recent versions of GNU Emacs and XEmacs, the latter being +recommended. It's useful to both novices and experts.

Other sources of information