diff options
Diffstat (limited to 'download.html')
| -rw-r--r-- | download.html | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/download.html b/download.html index bddb564b..5f49d6dd 100644 --- a/download.html +++ b/download.html @@ -87,6 +87,13 @@ HREF="http://savannah.gnu.org/cgi-bin/viewcvs/~checkout~/hurd/hurd/">CVS repository of the Hurd</A> with your web browser. The web pages are generated dynamically at the time you request them and are always up to date. +<P> +There is also a <A +HREF="http://www.htu.tugraz.at/~past/hurd/global/">cross referenced +database</A> of the Hurd, GNU Mach, MiG, and the GNU C library sources +online for you to browse. It provides better searching and browsing +facilities than the online CVS repository, but it is not always up to +date and does not contain history information. </TD> </TR> |