[isabelle-dev] push request (Sublist.thy)

Jasmin Blanchette jasmin.blanchette at gmail.com
Mon Dec 17 17:24:42 CET 2012

Am 17.12.2012 um 15:45 schrieb Makarius:

> Jasmin (Mac OS X user) is also using patch queus routinely, but never had this effect so far.  Is this correct?

Yes. And I'm also using a rather old version (1.5).


More information about the isabelle-dev mailing list