.
I thought this might be a bit too silly to send to the dev list, but a
third party encouraged me to do so anyway :)
Rafal Kolanski.
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo
also attaching a patch for Isabelle 2009-1 for your consideration.
If there is interest, I can port it to 2011, but I'd like to get some
feedback first.
Sincerely,
Rafal Kolanski.
summary: Added image_identifier functionality to isabelle images.
diff --git a/lib/Tools/usedir b/lib/Tools
, defaulting to BLACK for foreground is inflexible, use:
jEdit.getColorProperty(view.fgColor)
same for 255,255,255 for a background, try use:
jEdit.getColorProperty(view.bgColor)
Any interest in these? Does anyone else care?
Sincerely,
Rafal Kolanski
diff --git a/src/Pure
sion test). This allowed me to keep using
my 250GB SSD, whereas previously I was struggling with space issues for
weeks. When Japheth committed this little change, my jaw just about hit
the floor.
No adverse effects so far. Thumbs up.
Rafal Kolanski.
___
isa
On 15/11/15 02:24, Makarius wrote:
> On Fri, 13 Nov 2015, Rafal Kolanski wrote:
>
>> On 12/11/15 16:45, Japheth Lim wrote:
>>> [...]
>>> A lot of space could be saved if Isabelle saves heaps in this way. For
>>> our L4.verified project we found a 7× reduc
long with the jEdit
patches I submitted. For the record, all changes are still running along
without any problems months later, and have been stress tested by
working on the largest parts of the L4 verification project.
Sincerely,
Rafal Kolanski
___
isabell
On 15/09/15 05:57, Makarius wrote:
> On Tue, 25 Aug 2015, Rafal Kolanski wrote:
>
>> - Removes hardcoded colors in favor of looking up relevant JEdit
>> properties. This is critical if you want a light-on-dark setup.
>> Also in patches/extended_styles style[
On 15/09/15 01:15, Makarius wrote:
> On Tue, 25 Aug 2015, Rafal Kolanski wrote:
>
>> There is no separate symbol font setting, but JEdit does supply a nice
>> cascading font substitution system (if glyph not found in main font,
>> try next, then next, until optionally try
On 03/10/15 00:35, Makarius wrote:
> On Tue, 15 Sep 2015, Rafal Kolanski wrote:
>
>>> The patched jedit code base will be updated again for the coming
>>> release of 5.3.0, which should appear *really*soon*now*. It will be
>>> the first jEdit release with proper
quot;}
ISABELLE_PATH=${OVERRIDE_ISABELLE_PATH:-"$USER_HEAPS"}
What is now the canonical way of supporting the workflows I described
above without having to duplicate most of etc/ jedit/ and contrib/ now
that both ISABELLE_PATH and ISABELLE_OUTPUT are gon
On 28/06/18 05:27, Makarius wrote:
> On 25/06/18 06:45, Rafal Kolanski wrote:
>>
>> While looking at Isabelle 2018, we have noticed that the ISABELLE_OUTPUT
>> environment variable functionality has been removed.
>
> This refers to
>
> changeset: 68219:c0
11 matches
Mail list logo