src/Tools/WWW_Find/scgi_server.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 generic ScgiServer.simple_handler
Wed, 12 Jan 2011 15:15:51 +0100 wenzelm more FIXMEs concerning bad catch-all exception handlers;
Mon, 10 Jan 2011 15:45:46 +0100 wenzelm eliminated Int.toString;
Mon, 06 Sep 2010 13:06:27 +0200 wenzelm some results of concurrency code inspection;
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