diff --git a/doc/release-notes/drscheme/HISTORY.txt b/doc/release-notes/drscheme/HISTORY.txt index dd8bc92a05..e7f211d9e7 100644 --- a/doc/release-notes/drscheme/HISTORY.txt +++ b/doc/release-notes/drscheme/HISTORY.txt @@ -2,11 +2,15 @@ Version 4.1.5 ------------------------------ + . DrScheme now has a status line that shows what PLaneT is up to (in + broad strokes) + . Added logging support to DrScheme; it now monitors the logs via the "View | Show Log" menu item. . PLaneT now logs what it is doing at the 'info' level. + ------------------------------ Version 4.1.4 ------------------------------