On Fri, 20 Sep 2013, Holger Gast wrote:
The layers 2+3 offer extensive means of customization.
To come back to the above example, one does, of course, not set
StyleRanges on the SWT widget oneself. One registers with the
JFace TextViewer's syntax highlighting mechanism and produces
them on
On Thu, 19 Sep 2013, Makarius wrote:
On Wed, 18 Sep 2013, Tobias Nipkow wrote:
I just noticed the following behaviour in 705f0b728b1b: When the cursor
remains
fixed in the theory window and I scroll in that window with the help of the
scoll bar, the output window goes blank when the line
On Thu, 5 Sep 2013, Christian Sternagel wrote:
Last time I tried, there was no auto completion available in the input
of the find theorem panel. Which makes the variant of typing
find_theorems yourself in the main buffer more convenient for me at the
moment.
With Isabelle/322a3ff42b33 there
Hi Larry,
Am 13.09.2013 um 21:17 schrieb Lawrence Paulson l...@cam.ac.uk:
That fixed it.
One of the Australians has run into the same issue with MaSh. The issue should
be addressed starting with Isabelle/8d9f4e89d8c8. If you're willing to give
MaSh a second try, you could try to set MASH=yes
Dear all,
Starting with Isabelle/58d1b63bea81, Sledgehammer and Nitpick have a spy mode
[*] that log all invocations to those two tools in
~/.isabelle/spy_{sledgehammer,nitpick}. If you are willing to be part of a
big experience in the name of science, please add
SLEDGEHAMMER_SPY=yes
On Mon, 23 Sep 2013, Makarius wrote:
This is a note on jEdit in general: https://sourceforge.net/projects/jedit/
There is some recent revival of activity around Mac OS X. Hardcore users of
that platform are encouraged to look closely at current jEdit versions --
maybe the daily builds for
This is a note on jEdit in general: https://sourceforge.net/projects/jedit/
There is some recent revival of activity around Mac OS X. Hardcore users
of that platform are encouraged to look closely at current jEdit versions
-- maybe the daily builds for jEdit 5.2pre1 -- to see how it works,
Some more details:
until 0d0c20a0a34f we have the expected behavior. With
changeset: 52622:e0ff1625e96d
user:wenzelm
date:Fri Jul 12 16:19:05 2013 +0200
summary: localized and modernized adhoc-overloading (patch by
Christian Sternagel);
term bind (Some my_abbrev) f
is