lib/scripts/tools.pl
2012-08-19 wenzelm 2012-08-19 tuned message;
2011-03-26 wenzelm 2011-03-26 suppress Mercurial backup files; uniform treatment of tool filtering in bash/perl/scala;
2011-03-23 wenzelm 2011-03-23 list Isabelle tools via perl script, which is much faster that bash plumbing, especially on Cygwin; exclude backup files;