src/Tools/WWW_Find/scgi_server.ML
2011-01-12 wenzelm 2011-01-12 more FIXMEs concerning bad catch-all exception handlers;
2011-01-10 wenzelm 2011-01-10 eliminated Int.toString;
2010-09-06 wenzelm 2010-09-06 some results of concurrency code inspection;
2009-11-20 wenzelm 2009-11-20 standardized headers;
2009-11-20 kleing 2009-11-20 WWW_Find component: find_theorems via web browser