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 (
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