Commit d88cdafd authored by kleing's avatar kleing
Browse files


parent 57024e46288c
......@@ -26,6 +26,10 @@
<font class="first">E</font>ntries</h1>
<table width="80%" class="descr">
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
......@@ -53,6 +57,10 @@ Example: you are using Isabelle2012, and have downloaded your afp directory to
<code>~/isabelle/afp</code>. You would add the line
<code>~/isabelle/afp</code> to the file <code>~/.isabelle/components</code>.
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