Re: [isabelle] Isabelle2013-RC3 available for testing



Hi,

In Windows, I just changed the shortcut (from Options Menu) C+ADD to
C+EQUALS and it works
fine again as in RC2 release. Therev are lots of possibilities there, it
seems.

Best!

On Thu, Feb 7, 2013 at 4:41 PM, Alfio Martini <alfio.martini at acm.org> wrote:

> 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
>



-- 
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.