Re: [isabelle-dev] Isabelle release

2011-01-07 Thread Rafal Kolanski
. 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

[isabelle-dev] Modest proposal for image tagging

2011-07-10 Thread Rafal Kolanski
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

[isabelle-dev] Fonts in etc/symbols with space in the name (incl. workaround for Isabelle-2015), patch thoughts

2015-08-24 Thread Rafal Kolanski
, 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

Re: [isabelle-dev] Proposal to use hierarchical heaps with Poly/ML

2015-11-12 Thread Rafal Kolanski
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

Re: [isabelle-dev] Proposal to use hierarchical heaps with Poly/ML

2015-11-15 Thread Rafal Kolanski
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

Re: [isabelle-dev] Fonts in etc/symbols with space in the name (incl. workaround for Isabelle-2015), patch thoughts

2015-11-15 Thread Rafal Kolanski
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

Re: [isabelle-dev] Fonts in etc/symbols with space in the name (incl. workaround for Isabelle-2015), patch thoughts

2015-09-14 Thread Rafal Kolanski
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[

Re: [isabelle-dev] Fonts in etc/symbols with space in the name (incl. workaround for Isabelle-2015), patch thoughts

2015-09-14 Thread Rafal Kolanski
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

Re: [isabelle-dev] Fonts in etc/symbols with space in the name (incl. workaround for Isabelle-2015), patch thoughts

2015-10-02 Thread Rafal Kolanski
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

[isabelle-dev] Clarification on ISABELLE_OUTPUT env variable removal

2018-06-24 Thread Rafal Kolanski
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

Re: [isabelle-dev] Clarification on ISABELLE_OUTPUT env variable removal

2018-06-28 Thread Rafal Kolanski
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