[isabelle-dev] Time for find_theorems.ML cleanup again?

[Makarius]

What is the current situation of src/Pure/Tools/find_theorems.ML?  Over 
the years I have occasionally made substantial cleanups from old 
experiments so that new experiments could be started by others.

Right now (b824497c8e86) there there various remains from XML things, 
using the old Legacy_XML_Syntax module.  What were the results of that 
(hidden) project on persistent search facilities?


 	Makarius