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

Makarius makarius at sketis.net
Thu Jul 18 23:42:34 CEST 2013


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


More information about the isabelle-dev mailing list