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 ;)
cheers
chris
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
