lkml.org 
[lkml]   [2001]   [Apr]   [14]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: 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/

\
 
 \ /
  Last update: 2005-03-22 13:25    [W:0.119 / U:0.252 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site