Commit da54d1c1 authored by nipkow's avatar nipkow
Browse files


parent f6166f154842
......@@ -70,6 +70,15 @@ It interacts correctly with multiple AFP installations side by side.
<p>You can also use this method in your own work outside the AFP, you only
need to place the AFP entries you refer to next to your development in the
correct location in the directory hierarchy.</p>
If you build on one other AFP entry, your ROOT file should make this explicit:
session my_session = base_session +
This avoids rerunning the <tt>base_session</tt> theories by building
on the <tt>base_session</tt> image instead. Thus running times of AFP
regression tests are reduced!
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