src/Tools/WWW_Find/html_unicode.ML
2010-05-27 wenzelm 2010-05-27 renamed structure PrintMode to Print_Mode, keeping the old name as legacy alias for some time;
2009-11-20 kleing 2009-11-20 WWW_Find component: find_theorems via web browser