NEWS: System option "record_theories"

[Makarius]

*** System ***

* System option "record_theories" tells "isabelle build" to record
intermediate theory commands and results, at the cost of approx. 5 times
larger ML heap images. This allows to retrieve fine-grained semantic
information later on, using Thy_Info.get_theory_segments or
Thy_Info.get_theory_elements in Isabelle/ML.

This refers to Isabelle/b77163d7e847.


	Makarius