Thu, 08 Aug 2013 23:52:35 +0200 | wenzelm | removed unused YXML_Find_Theorems and Legacy_XML_Syntax; | file | diff | annotate |
Wed, 22 Aug 2012 22:55:41 +0200 | wenzelm | prefer ML_file over old uses; | file | diff | annotate |
Wed, 25 Jul 2012 10:55:02 +0200 | wenzelm | more standard session setup for WWW_Find; | file | diff | annotate |