[isabelle-dev] isabelle doc functions

[Makarius]

On Sat, 17 Aug 2013, Christian Sternagel wrote:

> I propose to apply the following patch to the documentation of the function 
> package. (I found two tiny typos which could have been prevented by using 
> @{thm [source] ...} -- which might not have existed at the time of writing -- 
> instead of @{text ...}, the patch (hopefully) replaces all such references to 
> theorem-names accordingly.)

The maintainers of the manuals are the respective main authors or editors, 
here it is Alex Krauss.  You should make sure that he sees this change, 
e.g. via personal mail.


 	Makarius