*To*: cl-isabelle-users at lists.cam.ac.uk*Subject*: Re: [isabelle] Remaining reasons for Proof General*From*: Gottfried Barrow <gottfried.barrow at gmx.com>*Date*: Tue, 12 Nov 2013 12:55:46 -0600*In-reply-to*: <alpine.LNX.2.00.1311121804080.5938@macbroy21.informatik.tu-muenchen.de>*References*: <CANofLeJJ8O2Y2ktXUER1AsH1F4CQsBB21PPbLMVVQa-UfwjgoQ@mail.gmail.com> <353FF788-2AA0-4188-8AAD-28E803A1F647@gmail.com> <CANofLeLVT7QWSUE4HhNy+kq9UuCe4J7gsXVEzma0x_SO5C03wQ@mail.gmail.com> <26755B7F-E696-4A5D-9BE7-9BCFA0FF85B8@gmail.com> <alpine.LNX.2.00.1311111227510.20958@macbroy21.informatik.tu-muenchen.de> <5280E51C.3010703@inf.ethz.ch> <alpine.LNX.2.00.1311111531350.10735@macbroy21.informatik.tu-muenchen.de> <97E4C903-231E-4CF2-9B86-E92AD8123D53@gmail.com> <1384273677.7447.81.camel@lapbroy33> <alpine.LNX.2.00.1311121804080.5938@macbroy21.informatik.tu-muenchen.de>*User-agent*: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:11.0) Gecko/20120312 Thunderbird/11.0

On 11/12/2013 11:12 AM, Makarius wrote:

On Tue, 12 Nov 2013, Peter Lammich wrote:* In PG, I have some open buffers, these are the buffers that I'm interested in. jEdit opens all dependent theories (approx 50 to 100 in my typical use-case). So using cycle-buffer or similar functions makes no sense. How can I efficiently switch between the theories that I'm currently editing/interested in, without having to search them among dozens of uninteresting theories?I've occasionally seen jEdit plugins to organize buffer groups or"projects", but have not used any myself so far.

http://plugins.jedit.org/plugins/?ProjectViewer

Regards, GB

**References**:**[isabelle] sledgehammer in RC4***From:*Randy Pollack

**Re: [isabelle] sledgehammer in RC4***From:*Jasmin Blanchette

**Re: [isabelle] sledgehammer in RC4***From:*Randy Pollack

**Re: [isabelle] sledgehammer in RC4***From:*Jasmin Blanchette

**Re: [isabelle] sledgehammer in RC4***From:*Makarius

**Re: [isabelle] sledgehammer in RC4***From:*Andreas Lochbihler

**[isabelle] Remaining reasons for Proof General***From:*Makarius

**Re: [isabelle] Remaining reasons for Proof General***From:*Jasmin Blanchette

**Re: [isabelle] Remaining reasons for Proof General***From:*Peter Lammich

**Re: [isabelle] Remaining reasons for Proof General***From:*Makarius

- Previous by Date: Re: [isabelle] jEdit: Theming
- Next by Date: Re: [isabelle] Wellsortedness error in code equation Gcd_nat_inst.Lcm_nat
- Previous by Thread: Re: [isabelle] Remaining reasons for Proof General
- Next by Thread: Re: [isabelle] Remaining reasons for Proof General
- Cl-isabelle-users November 2013 archives indexes sorted by: [ thread ] [ subject ] [ author ] [ date ]
- Cl-isabelle-users list archive Table of Contents
- More information about the Cl-isabelle-users mailing list