| Mon, 30 May 2011 17:07:48 +0200 | krauss | added experimental yxml_find_theorems web service (but no client yet) | file | diff | annotate |
| Sat, 22 May 2010 20:20:51 +0200 | wenzelm | use proper ISABELLE_PLATFORM instead of adhoc uname; | file | diff | annotate |
| Sat, 21 Nov 2009 17:04:03 +1100 | kleing | add explicit platform check to wwwfind tool | file | diff | annotate |
| Fri, 20 Nov 2009 17:56:06 +0100 | wenzelm | removed hard tabs from text (not pattern); | file | diff | annotate |
| Fri, 20 Nov 2009 18:36:44 +1100 | kleing | WWW_Find component: find_theorems via web browser | file | diff | annotate |