Re: [isabelle] Easier quick PDF generation possible?



Am Montag, den 03.11.2014, 09:35 +0100 schrieb Makarius:
> Since the latter 
> has been cleared out at last, some more progress is to be expected 
> eventually.

Great! I’m looking forward to that.

Greetings,
Joachim

-- 
Dipl.-Math. Dipl.-Inform. Joachim Breitner
Wissenschaftlicher Mitarbeiter
http://pp.ipd.kit.edu/~breitner

Attachment: signature.asc
Description: This is a digitally signed message part



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.