diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-07-12 13:51:39 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-07-12 13:51:39 +0000 |
commit | 6920c391bacc554fcd45ba6cf0a0a1cc60ca0e54 (patch) | |
tree | 109ecebfac7023e7f69311efa16aadc9cae6991b /etc/trac | |
parent | f31629e511624144767c1fa3107c1b080df3296b (diff) |
Updated.
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: *) |