diff options
Diffstat (limited to 'isa/Example.thy')
| -rw-r--r-- | isa/Example.thy | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/isa/Example.thy b/isa/Example.thy index c43d480f..ba64d959 100644 --- a/isa/Example.thy +++ b/isa/Example.thy @@ -10,7 +10,11 @@ Proof General's classic Isabelle mode; scripting takes place in .ML files. - NB: this is incompatible with PG/Isar. + NB: this is incompatible with ProofGeneral/Isar which is + a separate instance of Proof General. + + See the PG manual for ways to select Isabelle/Classic + by default. *) Example = Main |