comment;
authorwenzelm
Thu Mar 11 21:52:32 1999 +0100 (1999-03-11)
changeset 635174763258b78b
parent 6350 b5f1f861155d
child 6352 d015ccae03da
comment;
src/Pure/Thy/browser_info.ML
     1.1 --- a/src/Pure/Thy/browser_info.ML	Thu Mar 11 21:51:49 1999 +0100
     1.2 +++ b/src/Pure/Thy/browser_info.ML	Thu Mar 11 21:52:32 1999 +0100
     1.3 @@ -6,6 +6,7 @@
     1.4  
     1.5  TODO:
     1.6    - href parent theories (this vs. ancestor session!?);
     1.7 +  - ### Browser info: cannot access session index in "/usr/wiss/wenzelm/isabelle/browser_info";
     1.8    - usedir: exclude arrow gifs;
     1.9    - symlink ".parent", ".top" (URLs!?);
    1.10  *)