# HG changeset patch
# User wenzelm
# Date 1554411667 -7200
# Node ID 3e9394adcccd34b6de229fa9395138970641a09a
# Parent  06edf32c60573451722256e5aca0933bebb280b6
tuned;

diff -r 06edf32c6057 -r 3e9394adcccd NEWS
--- a/NEWS	Thu Apr 04 22:21:09 2019 +0200
+++ b/NEWS	Thu Apr 04 23:01:07 2019 +0200
@@ -44,7 +44,7 @@
 * Commands 'generate_file', 'export_generated_files', and
 'compile_generated_files' support a stateless (PIDE-conformant) model
 for generated sources and compiled binaries of other languages. The
-compilation processed is managed in Isabelle/ML, and results exported to
+compilation process is managed in Isabelle/ML, and results exported to
 the session database for further use (e.g. with "isabelle export" or
 "isabelle build -e").