tuned;
authorwenzelm
Thu, 04 Apr 2019 23:01:07 +0200
changeset 70242 3e9394adcccd
parent 70241 06edf32c6057
child 70243 5b75480f371a
tuned;
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").