| Mon, 30 May 2011 17:07:48 +0200 | krauss | added experimental yxml_find_theorems web service (but no client yet) | file | diff | annotate |
| Mon, 30 May 2011 17:07:48 +0200 | krauss | generic ScgiServer.simple_handler | file | diff | annotate |
| Wed, 12 Jan 2011 15:15:51 +0100 | wenzelm | more FIXMEs concerning bad catch-all exception handlers; | file | diff | annotate |
| Mon, 10 Jan 2011 15:45:46 +0100 | wenzelm | eliminated Int.toString; | file | diff | annotate |
| Mon, 06 Sep 2010 13:06:27 +0200 | wenzelm | some results of concurrency code inspection; | file | diff | annotate |
| Fri, 20 Nov 2009 16:08:14 +0100 | wenzelm | standardized headers; | file | diff | annotate |
| Fri, 20 Nov 2009 18:36:44 +1100 | kleing | WWW_Find component: find_theorems via web browser | file | diff | annotate |