Re: [isabelle] where to post jedit 4.3.2 bugs/feature requests?



so i'm looking forward to the next version, and in the meantime try to
get some RAM.
thanks for your decision-explanation
Nils





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