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.
Contents: suppress comments;
authorwenzelm
Mon, 17 Jan 2000 15:02:18 +0100
changeset 8130 b077b79061b6
parent 8129 29e239c7b8c2
child 8131 f0d47b685433
Contents: suppress comments;
lib/Tools/doc file | annotate | diff | comparison | revisions 
--- a/lib/Tools/doc	Mon Jan 17 14:10:32 2000 +0100
+++ b/lib/Tools/doc	Mon Jan 17 15:02:18 2000 +0100
@@ -39,7 +39,7 @@
 if [ -z "$DOC" ]; then
   for DIR in $DOCS
   do
-    [ -f $DIR/Contents ] && cat $DIR/Contents
+    [ -f $DIR/Contents ] && grep -v "^>>" $DIR/Contents
   done
 else
   for DIR in $DOCS
isabelle