src/Pure/Thy/browser_info.ML
changeset 6351 74763258b78b
parent 6348 fdcbeaddd5fc
child 6361 3a45ad4a95eb
--- 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!?);
 *)