--- a/src/Pure/System/bash.ML Wed Aug 18 23:04:58 2021 +0200 +++ b/src/Pure/System/bash.ML Thu Aug 19 12:01:57 2021 +0200 @@ -1,7 +1,7 @@ (* Title: Pure/System/bash.ML Author: Makarius -Syntax for GNU bash. +Support for GNU bash. *) signature BASH =