Messages in this thread | | | Date | Sat, 14 Apr 2001 13:56:18 -0400 | From | "Eric S. Raymond" <> | Subject | Re: CML2 1.1.0 bug and snailspeed |
| |
Anton Altaparmakov <aia21@cus.cam.ac.uk>: > In the menu the colour scheme is a bit strange but everyone has a > different taste. Would need some getting used to, but ok. It does seem > like a step back in time though, compared to the old menuconfig which had > nice windows feel and colours, IMHO. I am not sure why it had to be > changed. Surely you can have the old interface with the new theorem > prover?
I couldn't do both that and share back-end code with the other interfaces.
> I found a bug: In "Intel and compatible 80x86 processor options", "Intel > and compatible 80x86 processor types" I press "y" on "Pentium Classic" > option and it activates Penitum-III as well as Pentium Classic options at > the same time!?! Tried to play around switching to something else and then > onto Pentium Classic again and it enabled Pentium Classic and Pentium > Pro/Celeron/Pentium II (NEW) this time! Something is very wrong here.
Rules file bug, probably. I'll investigate this afternoon.
> Now a general comment: CML2 is extremely slow to the point of not being > usable! )-:
I'm still tuning. -- <a href="http://www.tuxedo.org/~esr/">Eric S. Raymond</a>
Love your country, but never trust its government. -- Robert A. Heinlein. - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
| |