that these references point to a global copy on our web server, not
to in your local directory:
<ul>
- <li> <p><a href="http://www.dealii.org/changelogs/index.html" target="body">Recent changes to
- the library</a>: If you want to stay informed about what is
- going on with the library itself, you may want to take a
- look at this page where we have some information about
- recent changes to the library.
+ <li> <p><a href="http://www.dealii.org/changelogs/index.html"
+ target="body">Recent changes to the library</a>: If you want to stay
+ informed about what is going on with the library itself, you may want
+ to take a look at this page where we have some information about
+ recent changes to the library. You can browse the repository and
+ subscribe to an rss feed too.
</p>
<li> <p><a
results can be seen here.
</p>
- <li> <p><a href="http://www.dealii.org/build.php">Results of build
- tests:</a> We also build the library each night on a variety
- of computers, using different compilers. The results of these
- builds is listed as well.
+ <li> <p><a href="http://www.dealii.org/~archiver/cgi-bin/build.pl">
+ Results of build tests:</a> We also build the library each night on
+ a variety of computers, using different compilers. The results of
+ these builds is listed as well.
</p>
</ul>