proof in Lyx

2000-10-10 Thread Nicolas SABOURET
How can I make inferences like : B C --- (y) A D -- (x) E There exists a "proof.sty" package with a "\infer{}{}" command, but if A,B,C,D,E are big math formulaes, I can't use "\infer{}{}" in math mode : it doesn't hold on a single lyx line (screen isn't wide enough :)). Is there a

Re: proof in Lyx

2000-10-10 Thread Jean-Pierre.Chretien
Date: Tue, 10 Oct 2000 13:50:43 +0200 From: Nicolas SABOURET [EMAIL PROTECTED] To: [EMAIL PROTECTED] Subject: proof in Lyx How can I make inferences like : B C --- (y) A D -- (x) E There exists a "proof.sty" package with a "\infer{}{}" command, but if A,B,C,D,E are big math

Any RedHat 7 users out there?

2000-10-10 Thread Paul E Johnson
As noted in this list last week, RH7 is distributed with a bogus compiler, gcc-2.96. Lyx does not compile, there are all kinds of errors pointing back to the standard template library of c++. I've filed a bug report at RedHat, and expect they may fix it. If you are stuck with RH7, what do you

Re: Any RedHat 7 users out there?

2000-10-10 Thread Paul Lussier
In a message dated: Tue, 10 Oct 2000 08:03:53 CDT Paul E Johnson said: If you are stuck with RH7, what do you do? Personally, I'd unstick myself with it and go back to 6.2! We planned on testing 7.0 here but after 3 days of using it, it became so painful we gave up in hopes that 7.1 will be

Re: Any RedHat 7 users out there?

2000-10-10 Thread German Poo Caaman~o
On Tue, 10 Oct 2000, Paul E Johnson wrote: As noted in this list last week, RH7 is distributed with a bogus compiler, gcc-2.96. Lyx does not compile, there are all kinds of errors pointing back to the standard template library of c++. I've filed a bug report at RedHat, and expect they may fix

Re: Compiling Lyx statically against xforms (fwd)

2000-10-10 Thread Steven Murdoch
Thanks Yann Collete and Michael Hanke, that worked perfectly. You learn something new every day :-) On Tue, 10 Oct 2000, Michael Hanke wrote: On Die, 10 Okt 2000 you wrote: But again xforms was compiled dynamically and I was shown the following message: src/lyx: error in loading shared

How to make an enumerated list

2000-10-10 Thread Ramón Flores d'as Seixas
Hello: How can I do an enumerated list like the following one: 1. This is on item 1.1. This is a subitem 1.2. This is another subitem 1.2.1 This is a subsubitem 1.3 This is another subitem 2. This is another item 3. This is another item 3.1 This

Re: How to make an enumerated list

2000-10-10 Thread Herbert Voss
"Ramón Flores d'as Seixas" wrote: Hello: How can I do an enumerated list like the following one: 1. This is on item 1.1. This is a subitem 1.2. This is another subitem 1.2.1 This is a subsubitem 1.3 This is another subitem choose paragraph

Re: can't fire up LyX

2000-10-10 Thread Mario Parra
Kan Chee Siong wrote: I tried to install LyX on a PC running windows98, not connected to network. But get the following error message when I try to fire up the LyX: Not enough environment space. I can fire up the Xwin32 manually. The IP add. set in Xwin32 was 127.0.0.1 Thanks From the

Re: Any RedHat 7 users out there?

2000-10-10 Thread nbecker
"Paul" == Paul E Johnson [EMAIL PROTECTED] writes: Paul As noted in this list last week, RH7 is distributed with a bogus Paul compiler, gcc-2.96. Lyx does not compile, there are all kinds of errors Paul pointing back to the standard template library of c++. I've filed a bug Paul

Re: Any RedHat 7 users out there?

2000-10-10 Thread Andre Poenitz
As noted in this list last week, RH7 is distributed with a bogus compiler, gcc-2.96. Lyx does not compile, there are all kinds of errors pointing back to the standard template library of c++. I've filed a bug report at RedHat, and expect they may fix it. If you are stuck with RH7, what do

Lyx does not display all math symbols

2000-10-10 Thread Benoit Pelletier
Hello, I recently installed lyx-1.1.5fix1 on my Mandrake 7.1 machine using the rpm provided on the lyx home page. Some of the math symbols do not show on the lyx window; the integral and the sum (I did not try them all) don't show for sure. Any idea of what could be wrong? Thanks, Benoit

Re: Lyx does not display all math symbols

2000-10-10 Thread Benoit Pelletier
Ok, I found the problem; probably conflicting fonts; I removed drakfont from /etc/X11/fs/config and it worked. Sorry about that; I whould have thought of it before. Benoit Pelletier Benoit Pelletier wrote: Hello, I recently installed lyx-1.1.5fix1 on my Mandrake 7.1 machine using the rpm

LyX under 7.0

2000-10-10 Thread Mate Wierdl
I do not see why people cannot use the rpm compiled on a 6.2 system. Better than switching to texmac or whatever. Mate

unsubscibberish

2000-10-10 Thread Mate Wierdl
You can just unsubscribe by sending any message to [EMAIL PROTECTED] Do not forget about confirming your request. In case of problems, contact [EMAIL PROTECTED] Mate

proof in Lyx

2000-10-10 Thread Nicolas SABOURET
How can I make inferences like : B C --- (y) A D -- (x) E There exists a "proof.sty" package with a "\infer{}{}" command, but if A,B,C,D,E are big math formulaes, I can't use "\infer{}{}" in math mode : it doesn't hold on a single lyx line (screen isn't wide enough :)). Is there a

Re: proof in Lyx

2000-10-10 Thread Jean-Pierre.Chretien
Date: Tue, 10 Oct 2000 13:50:43 +0200 From: Nicolas SABOURET [EMAIL PROTECTED] To: [EMAIL PROTECTED] Subject: proof in Lyx How can I make inferences like : B C --- (y) A D -- (x) E There exists a "proof.sty" package with a "\infer{}{}" command, but if A,B,C,D,E are big math

Any RedHat 7 users out there?

2000-10-10 Thread Paul E Johnson
As noted in this list last week, RH7 is distributed with a bogus compiler, gcc-2.96. Lyx does not compile, there are all kinds of errors pointing back to the standard template library of c++. I've filed a bug report at RedHat, and expect they may fix it. If you are stuck with RH7, what do you

Re: Any RedHat 7 users out there?

2000-10-10 Thread Paul Lussier
In a message dated: Tue, 10 Oct 2000 08:03:53 CDT Paul E Johnson said: If you are stuck with RH7, what do you do? Personally, I'd unstick myself with it and go back to 6.2! We planned on testing 7.0 here but after 3 days of using it, it became so painful we gave up in hopes that 7.1 will be

Re: Any RedHat 7 users out there?

2000-10-10 Thread German Poo Caaman~o
On Tue, 10 Oct 2000, Paul E Johnson wrote: As noted in this list last week, RH7 is distributed with a bogus compiler, gcc-2.96. Lyx does not compile, there are all kinds of errors pointing back to the standard template library of c++. I've filed a bug report at RedHat, and expect they may fix

Re: Compiling Lyx statically against xforms (fwd)

2000-10-10 Thread Steven Murdoch
Thanks Yann Collete and Michael Hanke, that worked perfectly. You learn something new every day :-) On Tue, 10 Oct 2000, Michael Hanke wrote: On Die, 10 Okt 2000 you wrote: But again xforms was compiled dynamically and I was shown the following message: src/lyx: error in loading shared

How to make an enumerated list

2000-10-10 Thread Ramón Flores d'as Seixas
Hello: How can I do an enumerated list like the following one: 1. This is on item 1.1. This is a subitem 1.2. This is another subitem 1.2.1 This is a subsubitem 1.3 This is another subitem 2. This is another item 3. This is another item 3.1 This

Re: How to make an enumerated list

2000-10-10 Thread Herbert Voss
"Ramón Flores d'as Seixas" wrote: Hello: How can I do an enumerated list like the following one: 1. This is on item 1.1. This is a subitem 1.2. This is another subitem 1.2.1 This is a subsubitem 1.3 This is another subitem choose paragraph

Re: can't fire up LyX

2000-10-10 Thread Mario Parra
Kan Chee Siong wrote: I tried to install LyX on a PC running windows98, not connected to network. But get the following error message when I try to fire up the LyX: Not enough environment space. I can fire up the Xwin32 manually. The IP add. set in Xwin32 was 127.0.0.1 Thanks From the

Re: Any RedHat 7 users out there?

2000-10-10 Thread nbecker
"Paul" == Paul E Johnson [EMAIL PROTECTED] writes: Paul As noted in this list last week, RH7 is distributed with a bogus Paul compiler, gcc-2.96. Lyx does not compile, there are all kinds of errors Paul pointing back to the standard template library of c++. I've filed a bug Paul

Re: Any RedHat 7 users out there?

2000-10-10 Thread Andre Poenitz
As noted in this list last week, RH7 is distributed with a bogus compiler, gcc-2.96. Lyx does not compile, there are all kinds of errors pointing back to the standard template library of c++. I've filed a bug report at RedHat, and expect they may fix it. If you are stuck with RH7, what do

Lyx does not display all math symbols

2000-10-10 Thread Benoit Pelletier
Hello, I recently installed lyx-1.1.5fix1 on my Mandrake 7.1 machine using the rpm provided on the lyx home page. Some of the math symbols do not show on the lyx window; the integral and the sum (I did not try them all) don't show for sure. Any idea of what could be wrong? Thanks, Benoit

Re: Lyx does not display all math symbols

2000-10-10 Thread Benoit Pelletier
Ok, I found the problem; probably conflicting fonts; I removed drakfont from /etc/X11/fs/config and it worked. Sorry about that; I whould have thought of it before. Benoit Pelletier Benoit Pelletier wrote: Hello, I recently installed lyx-1.1.5fix1 on my Mandrake 7.1 machine using the rpm

LyX under 7.0

2000-10-10 Thread Mate Wierdl
I do not see why people cannot use the rpm compiled on a 6.2 system. Better than switching to texmac or whatever. Mate

unsubscibberish

2000-10-10 Thread Mate Wierdl
You can just unsubscribe by sending any message to [EMAIL PROTECTED] Do not forget about confirming your request. In case of problems, contact [EMAIL PROTECTED] Mate

proof in Lyx

2000-10-10 Thread Nicolas SABOURET
How can I make inferences like : B C --- (y) A D -- (x) E There exists a "proof.sty" package with a "\infer{}{}" command, but if A,B,C,D,E are big math formulaes, I can't use "\infer{}{}" in math mode : it doesn't hold on a single lyx line (screen isn't wide enough :)). Is there a

Re: proof in Lyx

2000-10-10 Thread Jean-Pierre.Chretien
>>Date: Tue, 10 Oct 2000 13:50:43 +0200 >>From: Nicolas SABOURET <[EMAIL PROTECTED]> >>To: [EMAIL PROTECTED] >>Subject: proof in Lyx >> >>How can I make inferences like : >> B C >> --- (y) >> A D >>-- (x) >> E >> >>There exists a "proof.sty" package with a "\infer{}{}" command, but if

Any RedHat 7 users out there?

2000-10-10 Thread Paul E Johnson
As noted in this list last week, RH7 is distributed with a bogus compiler, gcc-2.96. Lyx does not compile, there are all kinds of errors pointing back to the standard template library of c++. I've filed a bug report at RedHat, and expect they may fix it. If you are stuck with RH7, what do you

Re: Any RedHat 7 users out there?

2000-10-10 Thread Paul Lussier
In a message dated: Tue, 10 Oct 2000 08:03:53 CDT Paul E Johnson said: >If you are stuck with RH7, what do you do? Personally, I'd unstick myself with it and go back to 6.2! We planned on testing 7.0 here but after 3 days of using it, it became so painful we gave up in hopes that 7.1 will be

Re: Any RedHat 7 users out there?

2000-10-10 Thread German Poo Caaman~o
On Tue, 10 Oct 2000, Paul E Johnson wrote: > As noted in this list last week, RH7 is distributed with a bogus > compiler, gcc-2.96. Lyx does not compile, there are all kinds of errors > pointing back to the standard template library of c++. I've filed a bug > report at RedHat, and expect they may

Re: Compiling Lyx statically against xforms (fwd)

2000-10-10 Thread Steven Murdoch
Thanks Yann Collete and Michael Hanke, that worked perfectly. You learn something new every day :-) On Tue, 10 Oct 2000, Michael Hanke wrote: > On Die, 10 Okt 2000 you wrote: > > But again xforms was compiled dynamically and I was shown the following > > message: > > src/lyx: error in loading

How to make an enumerated list

2000-10-10 Thread Ramón Flores d'as Seixas
Hello: How can I do an enumerated list like the following one: 1. This is on item 1.1. This is a subitem 1.2. This is another subitem 1.2.1 This is a subsubitem 1.3 This is another subitem 2. This is another item 3. This is another item 3.1 This

Re: How to make an enumerated list

2000-10-10 Thread Herbert Voss
"Ramón Flores d'as Seixas" wrote: > > Hello: > > How can I do an enumerated list like the following one: > > 1. This is on item > > 1.1. This is a subitem > > 1.2. This is another subitem >1.2.1 This is a subsubitem > > 1.3 This is another subitem choose

Re: can't fire up LyX

2000-10-10 Thread Mario Parra
Kan Chee Siong wrote: > I tried to install LyX on a PC running windows98, not connected to network. > But get the following error message when I try to fire up the LyX: > > Not enough environment space. > > I can fire up the Xwin32 manually. The IP add. set in Xwin32 was 127.0.0.1 > > Thanks

Re: Any RedHat 7 users out there?

2000-10-10 Thread nbecker
> "Paul" == Paul E Johnson <[EMAIL PROTECTED]> writes: Paul> As noted in this list last week, RH7 is distributed with a bogus Paul> compiler, gcc-2.96. Lyx does not compile, there are all kinds of errors Paul> pointing back to the standard template library of c++. I've filed a

Re: Any RedHat 7 users out there?

2000-10-10 Thread Andre Poenitz
> As noted in this list last week, RH7 is distributed with a bogus > compiler, gcc-2.96. Lyx does not compile, there are all kinds of errors > pointing back to the standard template library of c++. I've filed a bug > report at RedHat, and expect they may fix it. > > If you are stuck with RH7,

Lyx does not display all math symbols

2000-10-10 Thread Benoit Pelletier
Hello, I recently installed lyx-1.1.5fix1 on my Mandrake 7.1 machine using the rpm provided on the lyx home page. Some of the math symbols do not show on the lyx window; the integral and the sum (I did not try them all) don't show for sure. Any idea of what could be wrong? Thanks, Benoit

Re: Lyx does not display all math symbols

2000-10-10 Thread Benoit Pelletier
Ok, I found the problem; probably conflicting fonts; I removed drakfont from /etc/X11/fs/config and it worked. Sorry about that; I whould have thought of it before. Benoit Pelletier Benoit Pelletier wrote: > > Hello, > > I recently installed lyx-1.1.5fix1 on my Mandrake 7.1 machine using the

LyX under 7.0

2000-10-10 Thread Mate Wierdl
I do not see why people cannot use the rpm compiled on a 6.2 system. Better than switching to texmac or whatever. Mate

unsubscibberish

2000-10-10 Thread Mate Wierdl
You can just unsubscribe by sending any message to [EMAIL PROTECTED] Do not forget about confirming your request. In case of problems, contact [EMAIL PROTECTED] Mate