Commit e91f8213 authored by kleing's avatar kleing
Browse files

fixed typo

parent 3a7a3b938325
......@@ -39,7 +39,7 @@ your own developments. If you would like to make your work available to others
<p>Let <code>PATH</code> be the absolute path where you have put the unpacked
AFP directory that you downloaded. Add <code>PATH</code> on a separate line to
the file <code>~/.isabelle/IsabelleXYZ/etc/components</code>, where XYZ is the
Isablle release you are working with, for example XYZ=2012. (In case you are
Isabelle release you are working with, for example XYZ=2012. (In case you are
working with the development version of Isabelle, the file is simply
~/.isabelle/etc/components). You may need to create this file.</p>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment