[isabelle-dev] isabelle doc functions

Makarius makarius at sketis.net
Mon Aug 19 23:55:18 CEST 2013

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.


More information about the isabelle-dev mailing list