| Wed, 14 Dec 2011 12:02:02 +0100 | wenzelm | more visible benchmarks; | 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 | moved html templates to a separate module, making their awkward signatures explicit | file | diff | annotate |
| Tue, 29 Mar 2011 22:06:53 +0200 | krauss | added missing smlnj target | file | diff | annotate |
| Fri, 20 Nov 2009 15:48:36 +0100 | wenzelm | provide standard isabelle make targets; | file | diff | annotate |
| Fri, 20 Nov 2009 18:36:44 +1100 | kleing | WWW_Find component: find_theorems via web browser | file | diff | annotate |