diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-07-19 09:55:59 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-07-19 09:55:59 +0000 |
| commit | d7627bb86a44505b452d0357131c6529e4b34084 (patch) | |
| tree | 3a4054383c31fed3d50e6860b40c0b5b0c757350 /etc/isar | |
| parent | 47b6e817e64d9bdb970dd00d509ff9cb61447d7a (diff) | |
Updated.
Diffstat (limited to 'etc/isar')
| -rw-r--r-- | etc/isar/Persistent.thy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/isar/Persistent.thy b/etc/isar/Persistent.thy index a4ade1f9..f9258ce5 100644 --- a/etc/isar/Persistent.thy +++ b/etc/isar/Persistent.thy @@ -20,7 +20,7 @@ Now start PG and start a process with the Foo logic image. Tests: Process this file, exit, start. - Unprocess, exit, start. [FAILS] + Unprocess, exit, start. [FAILS with Isabelle2002] *) |