NEWS
changeset 70060 3e9394adcccd
parent 70057 0403b5127da1
child 70061 5b75480f371a
--- 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").