src/Tools/WWW_Find/IsaMakefile
Mon, 30 May 2011 17:07:48 +0200 krauss added experimental yxml_find_theorems web service (but no client yet)
Mon, 30 May 2011 17:07:48 +0200 krauss moved html templates to a separate module, making their awkward signatures explicit
Tue, 29 Mar 2011 22:06:53 +0200 krauss added missing smlnj target
Fri, 20 Nov 2009 15:48:36 +0100 wenzelm provide standard isabelle make targets;
Fri, 20 Nov 2009 18:36:44 +1100 kleing WWW_Find component: find_theorems via web browser
less more (0) tip