src/Tools/WWW_Find/ROOT.ML
Mon, 30 May 2011 17:07:48 +0200 krauss added experimental yxml_find_theorems web service (but no client yet)
Mon, 30 May 2011 17:07:48 +0200 krauss moved html templates to a separate module, making their awkward signatures explicit
Fri, 20 Nov 2009 18:36:44 +1100 kleing WWW_Find component: find_theorems via web browser
less more (0) tip