diff options
| author | David Aspinall | 2002-08-29 01:38:14 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-29 01:38:14 +0000 |
| commit | 3f0bf7149ad9ad49c7c84566637106485370ef65 (patch) | |
| tree | 1ea45fed6670d7d4c4455d60a6386fbda8e1ab31 /isa/README | |
| parent | 86879f6c6a5cccb5877e34314e36b91e2a584ee4 (diff) | |
Updated.
Diffstat (limited to 'isa/README')
| -rw-r--r-- | isa/README | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -15,7 +15,7 @@ with dependencies between theories communicated between Isabelle and Proof General. It has a mode for editing theory files taken from Isamode. -There is proper support for X Symbol, using the Isabelle print mode +There is excellent support for X Symbol, using the Isabelle print mode for X Symbol tokens. Many Isabelle theories have X Symbol syntax already defined and it's easy to add to your own theories. |