src/Pure/Thy/browser_info.ML
changeset 6351 74763258b78b
parent 6348 fdcbeaddd5fc
child 6361 3a45ad4a95eb
equal deleted inserted replaced
6350:b5f1f861155d 6351:74763258b78b
     4 
     4 
     5 Theory browsing information (HTML and graph files).
     5 Theory browsing information (HTML and graph files).
     6 
     6 
     7 TODO:
     7 TODO:
     8   - href parent theories (this vs. ancestor session!?);
     8   - href parent theories (this vs. ancestor session!?);
       
     9   - ### Browser info: cannot access session index in "/usr/wiss/wenzelm/isabelle/browser_info";
     9   - usedir: exclude arrow gifs;
    10   - usedir: exclude arrow gifs;
    10   - symlink ".parent", ".top" (URLs!?);
    11   - symlink ".parent", ".top" (URLs!?);
    11 *)
    12 *)
    12 
    13 
    13 signature BASIC_BROWSER_INFO =
    14 signature BASIC_BROWSER_INFO =