diff options
Diffstat (limited to 'isar/README')
| -rw-r--r-- | isar/README | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/isar/README b/isar/README index b107675e..944f7a3d 100644 --- a/isar/README +++ b/isar/README @@ -9,7 +9,6 @@ Status: supported Maintainers: David Aspinall, Makarius Wenzel, Stefan Berghofer Isabelle versions: Isabelle2009 Isabelle homepage: http://www.cl.cam.ac.uk/Research/HVG/Isabelle/ -Isar homepage: http://isabelle.in.tum.de/Isar/ =========================================================================== @@ -22,7 +21,7 @@ mode for X Symbol tokens. Many Isabelle theories have X Symbol syntax already defined and it's easy to add to your own theories. The script `interface' and file 'interface-setup.el' are used -internally to start Isabelle Proof General via the 'Isabelle' shell +internally to start Isabelle Proof General via the 'isabelle' shell command. This is the default way to invoke Proof General from the Isabelle perspective; it enables Isabelle to provide a consistent process and file-system environment, including the all-important |