lib/browser/GraphBrowser/GraphBrowser.java
Sun, 23 Jul 2000 11:59:21 +0200 wenzelm renamed "Directories" to "Sessions";
Tue, 01 Jun 1999 18:00:33 +0200 wenzelm broder size 3;
Mon, 17 May 1999 16:48:58 +0200 berghofe Added some code to enable browser to display remote documents.
less more (0) -3 tip