Mon, 11 Feb 2013 14:39:04 +0100 |
wenzelm |
make WWW_Find work again, now that its ML modules reside within a theory context (cf. bf5b45870110) -- patch by Rafal Kolanski;
Isabelle2013
|
file |
diff |
annotate
|
Fri, 23 Sep 2011 17:23:54 +0200 |
wenzelm |
discontinued stream-based Socket_IO, which causes too many problems with Poly/ML and SML/NJ (reverting major parts of 5c0b0d67f9b1);
|
file |
diff |
annotate
|
Wed, 21 Sep 2011 17:50:25 +0200 |
wenzelm |
slightly more general Socket_IO as part of Pure;
|
file |
diff |
annotate
|
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
|