# HG changeset patch
# User wenzelm
# Date 921185552 -3600
# Node ID 74763258b78b684070e19b406e7d67650993e475
# Parent  b5f1f861155dba9f610a1955bfd269c9ade45f4b
comment;

diff -r b5f1f861155d -r 74763258b78b src/Pure/Thy/browser_info.ML
--- a/src/Pure/Thy/browser_info.ML	Thu Mar 11 21:51:49 1999 +0100
+++ b/src/Pure/Thy/browser_info.ML	Thu Mar 11 21:52:32 1999 +0100
@@ -6,6 +6,7 @@
 
 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!?);
 *)