[isabelle-dev] Library/List_Prefix

Christian Sternagel c-sterna at jaist.ac.jp
Mon Sep 3 02:38:31 CEST 2012

On 09/03/2012 08:29 AM, Gerwin Klein wrote:
> You attached a patch, but I'm not sure anyone feels responsible for pushing it ;-)
> Have you been working on this with someone from Munich?
No, against my own advice ( 
https://isabelle.in.tum.de/community/Publish_contributions_as_an_external ) 
I haven't.

The reply that got me going was the rather noncommittal:

On 04/28/2012 05:05 PM, Florian Haftmann wrote:
 > Consoldiations to the library are always welcome!

Until someone plucks up courage (or it is decided that my changes are 
not worth committing) I'll keep rebasing ;)



More information about the isabelle-dev mailing list