diff options
Diffstat (limited to 'gnumach-download.html')
| -rw-r--r-- | gnumach-download.html | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gnumach-download.html b/gnumach-download.html index 96ee79ad..0c9fad74 100644 --- a/gnumach-download.html +++ b/gnumach-download.html @@ -128,6 +128,13 @@ HREF="http://savannah.gnu.org/cgi-bin/viewcvs/~checkout~/hurd/gnumach/">CVS repository of GNU Mach</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> |