Re: [isabelle] Disk usage in ~/.isabelle/contrib



Thanks, will investigate. Tobias and I are mostly building on Macs, so we donât see the Linux version often.

Iâm at a summer school this week. Do we need this for the release or do I have time?

Cheers,
Gerwin


> On 09.02.2016, at 00:14, Makarius <makarius at sketis.net> wrote:
>
> On Sun, 7 Feb 2016, Gerwin Klein wrote:
>
>>> This works in Linux and Mac OS X (e.g. Mountain Lion), but the latter is required to produce macos bundles.  Linux can produce only linux and windows bundles, and the fonts of documentation is bad, because Gerwin and Tobias like strange fonts.
>>
>> Interesting. Do you mean the Concrete Maths font? I havenât had any issues with it so far.
>
> As I have pointed out some years ago, the document in question is prog-prove.  On Debianistic Linux systems (e.g. Ubuntu) the result looks very ugly, with low-resolution bitmap fonts.
>
> I guess the problem is this combination:
>
> \usepackage[T1]{fontenc}
> \usepackage{ccfonts}
> \usepackage[euler-digits]{eulervm}
>
>
> See also Admin/Release/CHECKLIST:
>
> - check scalable fonts, e.g. src/Doc/Prog_Prove (NOTE: T1 encoding
>  requires cm-super fonts, which are usually available on MacTeX or
>  Cygwin, but not on Ubuntu/Debian);
>
>
> The T1 problem was later avoided for regular LaTeX CM fonts:
>
> \usepackage{lmodern}
>
> This explains why most Isabelle manuals have a very long underscore, but one that can be searched for in the PDF.
>
>
> Since T1 works uniformly with MacTeX (Mac OS X) and MikTeX (Windows), it is probably just due to an "improved" version of TeXLive on Debian-based systems.  Someone should investigate the Debian repositories and figure out which patches needs to be removed.
>
>
>       Makarius


________________________________

The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.


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