Commit 905295da authored by kleing's avatar kleing
Browse files

better usage instructions

parent 4045775e0037
......@@ -54,8 +54,10 @@ theories. Users of your distribution also need to install the AFP in the above
manner.</p>
Example: you are using Isabelle2013, and have downloaded your afp directory to
<code>~/afp</code>. You would add the line
<code>~/afp</code> to the file <code>~/.isabelle/Isabelle2013/components</code>.
<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,
e.g. <code>~/afp</code>, will not work in this file.
</td></tr>
</tbody>
......
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