Re: [isabelle] Isabelle2013-RC3 available for testing



Hi,

C-PLUS/MINUS* work fine in jEdit/Isabelle RC2*. But in jEdit/Isabelle RC3
only C-Minus, as
mentioned below (Windows installation).

Best!

On Thu, Feb 7, 2013 at 4:29 PM, Yannick Duchêne (Hibou57) <
yannick_duchene at yahoo.fr> wrote:

> Le Thu, 07 Feb 2013 13:51:03 +0100, Makarius <makarius at sketis.net> a
> écrit:
>
>     * Everybody: please check if you can scale the Isabelle/jEdit font-size
>>      up and down like in Firefox (C-PLUS/MINUS or C-ADD/SUBTRACT on the
>>      keypad).
>>
>
> I'm running Isabelle on a laptop without a numpad, but still give it a
> try: here, C-MINUS do decreases the font size, but C-PLUS do not increases
> the font size (this one do nothing).
>
>
> --
> "Syntactic sugar causes cancer of the semi-colons." [1]
> "Structured Programming supports the law of the excluded muddle." [1]
> [1]: Epigrams on Programming -- Alan J. -- P. Yale University
>
>
>


-- 
Alfio Ricardo Martini
PhD in Computer Science (TU Berlin)
Associate Professor at Faculty of Informatics (PUCRS)
Coordenador do Curso de Ciência da Computação
Av. Ipiranga, 6681 - Prédio 32 - Faculdade de Informática
90619-900 -Porto Alegre - RS - Brasil




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