Admin/mktags
Wed, 07 Jun 2000 12:18:02 +0200 wenzelm generate TAGS file for Isabelle sources;
less more (0) tip