# HG changeset patch
# User wenzelm
# Date 921674421 -3600
# Node ID 4bea69e827d039345d1402de71a5a0a2f157922f
# Parent  a67e4729efb2495a0ec77812345218815d82bc19
cleaned comments;

diff -r a67e4729efb2 -r 4bea69e827d0 src/Pure/Thy/browser_info.ML
--- a/src/Pure/Thy/browser_info.ML	Wed Mar 17 13:39:44 1999 +0100
+++ b/src/Pure/Thy/browser_info.ML	Wed Mar 17 13:40:21 1999 +0100
@@ -3,12 +3,6 @@
     Author:     Stefan Berghofer and Markus Wenzel, TU Muenchen
 
 Theory browsing information (HTML and graph files).
-
-TODO:
-  - href parent theories (this vs. ancestor session!?);
-  - ### Browser info: cannot access session index in "/usr/wiss/wenzelm/isabelle/browser_info";
-  - usedir: exclude arrow gifs;
-  - symlink ".parent", ".top" (URLs!?);
 *)
 
 signature BASIC_BROWSER_INFO =