Re: [isabelle] Unable to get document preparation system to work

On Wed, 29 Jan 2014, James Lingard wrote:

I installed it on Tuesday with "tlmgr install comment".

Oh dear. I didn't know yet, that TeXlive has its own package manager to get latest problems quicker to users.

I need to think about evasive maneuvers, for the next Isabelle release.

This continous "fixing" of things, destroys everything eventually.


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