lib/Tools/unsymbolize
2013-07-12 wenzelm 2013-07-12 allow spaces in file names; tuned;
2010-02-07 wenzelm 2010-02-07 modernized perl scripts: prefer standalone executables;
2008-12-20 wenzelm 2008-12-20 removed Ids;
2008-10-21 wenzelm 2008-10-21 tuned usage line;
2008-04-08 wenzelm 2008-04-08 removed obsolete AUTO_PERL feature;
2005-04-26 wenzelm 2005-04-26 restored AUTO_BASH/PERL -- beware of ./configure!
2005-03-04 skalberg 2005-03-04 Removed practically all references to Library.foldr.
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2000-11-30 wenzelm 2000-11-30 /usr/bin/env bash;
2000-11-22 wenzelm 2000-11-22 tuned;
2000-09-18 wenzelm 2000-09-18 remove unreadable symbol names from sources;