diff options
Diffstat (limited to 'etc/trac')
| -rw-r--r-- | etc/trac/trac-206.thy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/trac/trac-206.thy b/etc/trac/trac-206.thy index d1d0a053..7884ff1b 100644 --- a/etc/trac/trac-206.thy +++ b/etc/trac/trac-206.thy @@ -1,4 +1,4 @@ -theory Test imports Main begin +theory Trac206 imports Main begin (* The special markup (for terms etc.) is not processed in minibuffer messages. For example: *) |