Admin/MIRRORS
2000-06-07 wenzelm 2000-06-07 generate TAGS file for Isabelle sources;
1999-04-29 wenzelm 1999-04-29 *** empty log message ***