diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 09:08:09 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 09:08:09 +0000 |
| commit | 877c97b74b70c4d97164b0849acfd5577060741f (patch) | |
| tree | dd6013916493a4245aae38eaf61c1d9d005d6fc8 /isar/README | |
| parent | f89bae77a8e6dee45aabfd7cd5306ca996f71f36 (diff) | |
Isabelle->isabelle binary. Remove Isar homepage.
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 |