| changeset 74349 | 4974c3697fee |
| parent 74348 | cdf8952a86d5 |
| child 74364 | 99add5178e51 |
| child 74365 | b49bd5d9041f |
--- a/NEWS Wed Sep 22 11:58:45 2021 +0200 +++ b/NEWS Wed Sep 22 12:03:59 2021 +0200 @@ -20,7 +20,7 @@ in interactive mode, but it could occasionally cause unnecessary slowdown. It can be disabled like this: - context notes [[show_results = true]] + context notes [[show_results = false]] begin definition "test = True" theorem test by (simp add: test_def)