[isabelle-dev] isabelle doc functions

Alexander Krauss krauss at in.tum.de
Tue Aug 20 22:29:39 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.)

Thanks, pushed as 57c7294eac0a.

On 08/19/2013 11:55 PM, Makarius wrote:
> 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.

I am reading the list, so this is fine, even though I usually cannot 
reply or act immediately.

Alex




More information about the isabelle-dev mailing list