Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
comment;
authorwenzelm
Thu, 11 Mar 1999 21:52:32 +0100
changeset 6351 74763258b78b
parent 6350 b5f1f861155d
child 6352 d015ccae03da
comment;
src/Pure/Thy/browser_info.ML file | annotate | diff | comparison | revisions 
--- 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!?);
 *)
isabelle