On Mon, 17 May 2010, Makarius wrote:
Right now I am bisecting our repository as David suggested, which is an
interesting experience because last year's Isabelle/HOL builds really
fast (factor 2 compared to today). I am close to get to the point,
about 4 more bisections.
The result is on the
On Mon, 17 May 2010, Lawrence Paulson wrote:
I'm puzzled that you run into problems so quickly. I think I have been
using PG Version 4.0pre091204 for many months. And just recently, I
found that the combination of it with Aquamacs-2.0 works smoothly in
every way: fonts, cut and paste, etc. Onc
I'm puzzled that you run into problems so quickly. I think I have been using PG
Version 4.0pre091204 for many months. And just recently, I found that the
combination of it with Aquamacs-2.0 works smoothly in every way: fonts, cut and
paste, etc. Once something locked up and I had to start it aga
I have tried Aquamacs-2.0 with the CVS version of Proof General (from
12-Apr-2010) for 20min, and ran into two problems within the first 5min.
One was due to Aquamacs failing to configure fonts for the buffer. The
other was PG trac item #314 (Duplication of some special messages).
These mysteri
On Sat, 15 May 2010, Lawrence Paulson wrote:
I've used PG Version 4.0pre091204 quite a bit, no problems. What goes
wrong with it?
I have tried Aquamacs-2.0 with the CVS version of Proof General (from
12-Apr-2010) for 20min, and ran into two problems within the first 5min.
One was due to Aqu
I've used PG Version 4.0pre091204 quite a bit, no problems. What goes wrong
with it?
Larry
On 15 May 2010, at 15:32, Makarius wrote:
> Which version of PG 4 is this? I only know of ProofGeneral-4.0pre091204.tgz,
> and the repository version seems to be mostly identical to that, which means
>
On Sat, 15 May 2010, Lawrence Paulson wrote:
Aquamacs 2.0 was released last week (http://aquamacs.org/), and it seems
to be very much better than previous versions. I have been using it
without difficulties in conjunction with proof general 4.0. I didn't
notice any of the old problems. Symbols
Aquamacs 2.0 was released last week (http://aquamacs.org/), and it seems to be
very much better than previous versions. I have been using it without
difficulties in conjunction with proof general 4.0. I didn't notice any of the
old problems. Symbols display correctly; cut and paste work correctl