Dear Makarius,
I just started to play around with the latest and greatest
Isabelle/jEdit (there have been several promising commits during my
absence).
Now I wanted to file a bagatelle ;). (I'm on changeset 10b89c127153.)
Minimal example:
- start Isabelle/jEdit
- type theory Scratch
I would also regard all of the below suggestions as rather convenient (I
wanted to asked for 1 and 4 myself already several times, but somehow
never got around). - cheers chris
On 08/13/2012 09:50 PM, Tjark Weber wrote:
Hi,
Ctrl-click in Isabelle/jEdit exposes additional information - about