[isabelle-dev] NEWS: 'supply' command

[Makarius]

* New command 'supply' supports fact definitions during goal refinement
('apply' scripts).


This refers e.g. to Isabelle/051b200f7578.

The command is not particularly exciting on its own, but it will 
eventually fit together with some other Eisbach spin-offs that are still 
in the pileline: most notably the 'subgoal' focus command for structured 
'apply' scripts.


 	Makarius