tuned;
authorwenzelm
Thu Apr 04 23:01:07 2019 +0200 (5 months ago)
changeset 700603e9394adcccd
parent 70059 06edf32c6057
child 70061 5b75480f371a
tuned;
NEWS
     1.1 --- a/NEWS	Thu Apr 04 22:21:09 2019 +0200
     1.2 +++ b/NEWS	Thu Apr 04 23:01:07 2019 +0200
     1.3 @@ -44,7 +44,7 @@
     1.4  * Commands 'generate_file', 'export_generated_files', and
     1.5  'compile_generated_files' support a stateless (PIDE-conformant) model
     1.6  for generated sources and compiled binaries of other languages. The
     1.7 -compilation processed is managed in Isabelle/ML, and results exported to
     1.8 +compilation process is managed in Isabelle/ML, and results exported to
     1.9  the session database for further use (e.g. with "isabelle export" or
    1.10  "isabelle build -e").
    1.11