diff options
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/trac/trac-200.thy | 1 | ||||
| -rw-r--r-- | etc/trac/trac-206.thy | 2 |
2 files changed, 3 insertions, 0 deletions
diff --git a/etc/trac/trac-200.thy b/etc/trac/trac-200.thy index 96a0c177..fabd04f6 100644 --- a/etc/trac/trac-200.thy +++ b/etc/trac/trac-200.thy @@ -1,3 +1,4 @@ +(* See trac #200 *) theory Trac200 imports Main begin (* Test simulating sledgehammer asynchronous output *) diff --git a/etc/trac/trac-206.thy b/etc/trac/trac-206.thy index 7884ff1b..7c0b26c8 100644 --- a/etc/trac/trac-206.thy +++ b/etc/trac/trac-206.thy @@ -1,3 +1,5 @@ +(* see trac #206 *) + theory Trac206 imports Main begin (* The special markup (for terms etc.) is not processed in minibuffer |