[isabelle-dev] Fwd: Isabelle-10-Sept

[Alfio Martini]

Sending the message again (image attachments are not allowed in this list
so it was held for moderator
approval). With respect to the keyboard model,
I have a standard (samsung) PS/2 keyboard.

Related to the sidekick pane mention below, instead of the operator
symbols, the pane shows (empty) boxes.

Cheers
---------- Forwarded message ----------
From: Alfio Martini <alfio.martini at acm.org>
Date: Tue, Sep 10, 2013 at 12:53 PM
Subject: Isabelle-10-Sept
To: isabelle-dev at mailbroy.informatik.tu-muenchen.de


Hi,

I will start his thread. First of all, it is a  very nice addition this
pane
that allows direct access to documentation. Also, PG fans will welcome the
auto_solve feature which detects if the conjecture as an immediate proof
by some other fact in the current theory or somewhere else in Main.
Thanks a lot.

On the other hand, the (propositional) operators of HOL-formulae are still
not properly
shown in the sidekick pane as the image attached shows. I am not
sure if this is a "feature" or a known bug, but this is problem is
also present in
the current version.

Also, numpad doesn´t work at all (as already pointed out). I am using
an Windows 8 machine.

Cheers

-- 
Alfio Ricardo Martini
PhD in Computer Science (TU Berlin)
www.inf.pucrs.br/alfio
Lattes:  http://lattes.cnpq.br/4016080665372277
Associate Professor at Faculty of Informatics (PUCRS)
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)
www.inf.pucrs.br/alfio
Lattes:  http://lattes.cnpq.br/4016080665372277
Associate Professor at Faculty of Informatics (PUCRS)
Av. Ipiranga, 6681 - Prédio 32 - Faculdade de Informática
90619-900 -Porto Alegre - RS - Brasil
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20130910/1f066ab0/attachment-0002.html>