| Mon, 11 Feb 2013 14:39:04 +0100 | make WWW_Find work again, now that its ML modules reside within a theory context (cf. bf5b45870110) -- patch by Rafal Kolanski; | file | diff | annotate |
| Mon, 30 May 2011 17:07:48 +0200 | added experimental yxml_find_theorems web service (but no client yet) | file | diff | annotate |
| Sat, 22 May 2010 20:20:51 +0200 | use proper ISABELLE_PLATFORM instead of adhoc uname; | file | diff | annotate |
| Sat, 21 Nov 2009 17:04:03 +1100 | add explicit platform check to wwwfind tool | file | diff | annotate |
| Fri, 20 Nov 2009 17:56:06 +0100 | removed hard tabs from text (not pattern); | file | diff | annotate |
| Fri, 20 Nov 2009 18:36:44 +1100 | WWW_Find component: find_theorems via web browser | file | diff | annotate |