Commit 0b13f95e authored by kleing's avatar kleing
Browse files

and one more inconsistency removed

parent bea4675babb9
......@@ -56,7 +56,7 @@ manner.</p>
Example: you are using Isabelle2013, and have downloaded your afp directory to
<code>/home/myself/afp</code>. You would add the line
<code>/home/myself/afp</code> to the file
<code>~/.isabelle/Isabelle2013/components</code>. Note that shell expansion,
<code>~/.isabelle/Isabelle2013/etc/components</code>. Note that shell expansion,
e.g. <code>~/afp</code>, will not work in this file.
</td></tr>
......
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