Re: [isabelle] An 'isabelle emacs' wrapper



Short correction ... the debugging slipped in.

- René

Attachment: IE.sh
Description: Bourne shell script



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