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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
