Commit 4d7dd17a authored by kleing's avatar kleing
Browse files

tuned

parent b545676b6a5b
...@@ -33,7 +33,7 @@ ...@@ -33,7 +33,7 @@
<p> <p>
Once you have downloaded the AFP, you can include its articles and theories in Once you have downloaded the AFP, you can include its articles and theories in
your own developments. If you would like to make your work available to others your own developments. If you would like to make your work available to others
/without/ having to include the AFP articles you depend on, here is how to do it. <i>without</i> having to include the AFP articles you depend on, here is how to do it.
</p> </p>
<p>Let <code>PATH</code> be the absolute path where you have put the unpacked <p>Let <code>PATH</code> be the absolute path where you have put the unpacked
......
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