src/Tools/WWW_Find/xhtml.ML
Fri, 08 Jul 2011 15:17:40 +0200 wenzelm standardized String.concat towards implode;
Mon, 30 May 2011 17:07:48 +0200 krauss attempt to clarify code; removed "handle _" and dead code
Mon, 10 Jan 2011 15:45:46 +0100 wenzelm eliminated Int.toString;
Fri, 07 Jan 2011 23:07:04 +0100 wenzelm tuned;
Fri, 20 Nov 2009 16:08:14 +0100 wenzelm standardized headers;
Fri, 20 Nov 2009 18:36:44 +1100 kleing WWW_Find component: find_theorems via web browser
less more (0) tip