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