Re: lyx 2.0.6 debian failes to run

2013-11-07 Thread Richard Heck
On 11/07/2013 02:44 AM, Wolfgang Engelmann wrote: On Wednesday 06 November 2013 16:54:13 David L. Johnson wrote: On 11/06/2013 03:47 AM, Wolfgang Engelmann wrote: On Wednesday 06 November 2013 09:26:57 Scott Kostyshak wrote: On Wed, Nov 6, 2013 at 3:20 AM, Wolfgang Engelmann

migrating (soon to be) old beamer files

2013-11-07 Thread Eran Kaplinsky
LyX support for beamer is improving, and that's great. Once the new version of LyX comes out of beta, however, old beamer files with overlays will no longer compile. I have dozens of those. Any suggestions (other than keeping an old LyX installation in addition to the new one)? Thanks, Eran

Re: Logic: Tableau Proofs (trees)

2013-11-07 Thread Ernesto Posse
I asked about which logic because that determines which operators you will need (I've only given you a few in my examples), but also because for some logics the tableaux are not trees but directed acyclic graphs, (e.g., in temporal logics). This of course has a big impact on how to draw the

Rendering of LyX's math screen fonts.

2013-11-07 Thread Rudi Gaelzer
This is a recurrent problem for me, and I think it's for other as well. Certainly someone has already discussed this issue in this list (or in the devel list), but every time I take some time to browse through them, I cannot find it, or perhaps I'm not sufficiently knowledgeable on the internal

Re: migrating (soon to be) old beamer files

2013-11-07 Thread Jürgen Spitzmüller
Am Donnerstag 07 November 2013, 09:57:07 schrieb Eran Kaplinsky: LyX support for beamer is improving, and that's great. Once the new version of LyX comes out of beta, however, old beamer files with overlays will no longer compile. I have dozens of those. Any suggestions (other than keeping

Re: Logic: Tableau Proofs (trees)

2013-11-07 Thread William Hanson
No, the tableaus I want to create do not contain any loops. On Thu, Nov 7, 2013 at 11:01 AM, Ernesto Posse epo...@cs.queensu.ca wrote: I asked about which logic because that determines which operators you will need (I've only given you a few in my examples), but also because for some logics

Re: lyx 2.0.6 debian failes to run

2013-11-07 Thread Scott Kostyshak
On Thu, Nov 7, 2013 at 9:05 AM, Richard Heck rgh...@lyx.org wrote: On 11/07/2013 02:44 AM, Wolfgang Engelmann wrote: On Wednesday 06 November 2013 16:54:13 David L. Johnson wrote: On 11/06/2013 03:47 AM, Wolfgang Engelmann wrote: On Wednesday 06 November 2013 09:26:57 Scott Kostyshak

Re: problem with centering tables with JASA template

2013-11-07 Thread Scott Kostyshak
On Thu, Nov 7, 2013 at 7:42 AM, Benoît Bergès benoit.ber...@gmail.com wrote: Dear Scott, digging into the lyx templates I found an alternative JASA template found on the web (http://www2.hawaii.edu/~jcb/LyXforJASA/LyXforJASA.html). Compared the base one in the lyx package, this template seems

Trying to unterstand Beamer overlay-Prinzip

2013-11-07 Thread Uwe Ade
Hello i read the very good Lyx-Beamer help-files and try to unterstand the Overlay-Concept. My aim: I want show a lot of different Pictures. The slide (s) should always have the same Title and the Pictutre (without Text) Coverd the hole slide. Can I Realize this with slide overlays ?

Trying to unterstand Beamer overlay-Prinzip

2013-11-07 Thread Uwe Ade
Hello i read the very good Lyx-Beamer help-files and try to unterstand the Overlay-Concept. My aim: I want show a lot of different Pictures. The slide (s) should always have the same Title and the Pictutre (without Text) Coverd the hole slide. Can I Realize this with slide overlays ?

Re: Rendering of LyX's math screen fonts.

2013-11-07 Thread Georg Baum
Rudi Gaelzer wrote: So I ask you LyXperts: is it possible to configure the math mode editor so that it uses also mathabx and other different math fonts? The roadmap to LyX 2.1 mentions enhanced support for math font selection (OpenType fonts) and support ofr cropped PDF/EPS. However, AFAIU,

Using LyX for calculations (was Rendering of LyX's math screen fonts.)

2013-11-07 Thread Jerry
I know that LyX has hooks for some computer algebra systems (Mathematica, Maple, Maxima) and Octave. I have played with these a little (Octave and Mathematica) and it seems potentially useful but possibly not fully developed in LyX. I'm curious to know how you and others have used this corner

Exporting to arXiv.org

2013-11-07 Thread Michael Manthey
I'm having trouble exporting LyX output to arXiv.org, who apparently want some kind of naked version of TeX as input. The only LYX output option that gets through arXiv's automated filter is html, which then entails hand editing to make presentable. Yet I can find only one mention of this on

Re: Exporting to arXiv.org

2013-11-07 Thread David L. Johnson
On 11/07/2013 05:59 PM, Michael Manthey wrote: I'm having trouble exporting LyX output to arXiv.org, who apparently want some kind of naked version of TeX as input. I just went through this myself (although my co-authors insisted on using TeX directly). See http://arxiv.org/abs/1311.0289 . But

Re: Exporting to arXiv.org

2013-11-07 Thread PhilipPirrip
I had no troubles with arXiv in the past, if I could export my file(s) to .tex and compile them on my linux PC, the same worked with them. If you're exporting for pdflatex, make sure you upload figures as pdf. They accept .bib files, or at least they used to, no need for special prep. as in the

Re: Trying to unterstand Beamer overlay-Prinzip

2013-11-07 Thread Jürgen Spitzmüller
Am Donnerstag 07 November 2013, 19:51:47 schrieb Uwe Ade: My aim: I want show a lot of different Pictures. The slide (s) should always have the same Title and the Pictutre (without Text) Coverd the hole slide. Can I Realize this with slide overlays ? I would use overprint (Überdruck) for

Re: lyx 2.0.6 debian failes to run

2013-11-07 Thread Wolfgang Engelmann
On Thursday 07 November 2013 15:05:02 Richard Heck wrote: On 11/07/2013 02:44 AM, Wolfgang Engelmann wrote: On Wednesday 06 November 2013 16:54:13 David L. Johnson wrote: On 11/06/2013 03:47 AM, Wolfgang Engelmann wrote: On Wednesday 06 November 2013 09:26:57 Scott Kostyshak wrote:

Re: lyx 2.0.6 debian failes to run

2013-11-07 Thread Richard Heck
On 11/07/2013 02:44 AM, Wolfgang Engelmann wrote: On Wednesday 06 November 2013 16:54:13 David L. Johnson wrote: On 11/06/2013 03:47 AM, Wolfgang Engelmann wrote: On Wednesday 06 November 2013 09:26:57 Scott Kostyshak wrote: On Wed, Nov 6, 2013 at 3:20 AM, Wolfgang Engelmann

migrating (soon to be) old beamer files

2013-11-07 Thread Eran Kaplinsky
LyX support for beamer is improving, and that's great. Once the new version of LyX comes out of beta, however, old beamer files with overlays will no longer compile. I have dozens of those. Any suggestions (other than keeping an old LyX installation in addition to the new one)? Thanks, Eran

Re: Logic: Tableau Proofs (trees)

2013-11-07 Thread Ernesto Posse
I asked about which logic because that determines which operators you will need (I've only given you a few in my examples), but also because for some logics the tableaux are not trees but directed acyclic graphs, (e.g., in temporal logics). This of course has a big impact on how to draw the

Rendering of LyX's math screen fonts.

2013-11-07 Thread Rudi Gaelzer
This is a recurrent problem for me, and I think it's for other as well. Certainly someone has already discussed this issue in this list (or in the devel list), but every time I take some time to browse through them, I cannot find it, or perhaps I'm not sufficiently knowledgeable on the internal

Re: migrating (soon to be) old beamer files

2013-11-07 Thread Jürgen Spitzmüller
Am Donnerstag 07 November 2013, 09:57:07 schrieb Eran Kaplinsky: LyX support for beamer is improving, and that's great. Once the new version of LyX comes out of beta, however, old beamer files with overlays will no longer compile. I have dozens of those. Any suggestions (other than keeping

Re: Logic: Tableau Proofs (trees)

2013-11-07 Thread William Hanson
No, the tableaus I want to create do not contain any loops. On Thu, Nov 7, 2013 at 11:01 AM, Ernesto Posse epo...@cs.queensu.ca wrote: I asked about which logic because that determines which operators you will need (I've only given you a few in my examples), but also because for some logics

Re: lyx 2.0.6 debian failes to run

2013-11-07 Thread Scott Kostyshak
On Thu, Nov 7, 2013 at 9:05 AM, Richard Heck rgh...@lyx.org wrote: On 11/07/2013 02:44 AM, Wolfgang Engelmann wrote: On Wednesday 06 November 2013 16:54:13 David L. Johnson wrote: On 11/06/2013 03:47 AM, Wolfgang Engelmann wrote: On Wednesday 06 November 2013 09:26:57 Scott Kostyshak

Re: problem with centering tables with JASA template

2013-11-07 Thread Scott Kostyshak
On Thu, Nov 7, 2013 at 7:42 AM, Benoît Bergès benoit.ber...@gmail.com wrote: Dear Scott, digging into the lyx templates I found an alternative JASA template found on the web (http://www2.hawaii.edu/~jcb/LyXforJASA/LyXforJASA.html). Compared the base one in the lyx package, this template seems

Trying to unterstand Beamer overlay-Prinzip

2013-11-07 Thread Uwe Ade
Hello i read the very good Lyx-Beamer help-files and try to unterstand the Overlay-Concept. My aim: I want show a lot of different Pictures. The slide (s) should always have the same Title and the Pictutre (without Text) Coverd the hole slide. Can I Realize this with slide overlays ?

Trying to unterstand Beamer overlay-Prinzip

2013-11-07 Thread Uwe Ade
Hello i read the very good Lyx-Beamer help-files and try to unterstand the Overlay-Concept. My aim: I want show a lot of different Pictures. The slide (s) should always have the same Title and the Pictutre (without Text) Coverd the hole slide. Can I Realize this with slide overlays ?

Re: Rendering of LyX's math screen fonts.

2013-11-07 Thread Georg Baum
Rudi Gaelzer wrote: So I ask you LyXperts: is it possible to configure the math mode editor so that it uses also mathabx and other different math fonts? The roadmap to LyX 2.1 mentions enhanced support for math font selection (OpenType fonts) and support ofr cropped PDF/EPS. However, AFAIU,

Using LyX for calculations (was Rendering of LyX's math screen fonts.)

2013-11-07 Thread Jerry
I know that LyX has hooks for some computer algebra systems (Mathematica, Maple, Maxima) and Octave. I have played with these a little (Octave and Mathematica) and it seems potentially useful but possibly not fully developed in LyX. I'm curious to know how you and others have used this corner

Exporting to arXiv.org

2013-11-07 Thread Michael Manthey
I'm having trouble exporting LyX output to arXiv.org, who apparently want some kind of naked version of TeX as input. The only LYX output option that gets through arXiv's automated filter is html, which then entails hand editing to make presentable. Yet I can find only one mention of this on

Re: Exporting to arXiv.org

2013-11-07 Thread David L. Johnson
On 11/07/2013 05:59 PM, Michael Manthey wrote: I'm having trouble exporting LyX output to arXiv.org, who apparently want some kind of naked version of TeX as input. I just went through this myself (although my co-authors insisted on using TeX directly). See http://arxiv.org/abs/1311.0289 . But

Re: Exporting to arXiv.org

2013-11-07 Thread PhilipPirrip
I had no troubles with arXiv in the past, if I could export my file(s) to .tex and compile them on my linux PC, the same worked with them. If you're exporting for pdflatex, make sure you upload figures as pdf. They accept .bib files, or at least they used to, no need for special prep. as in the

Re: Trying to unterstand Beamer overlay-Prinzip

2013-11-07 Thread Jürgen Spitzmüller
Am Donnerstag 07 November 2013, 19:51:47 schrieb Uwe Ade: My aim: I want show a lot of different Pictures. The slide (s) should always have the same Title and the Pictutre (without Text) Coverd the hole slide. Can I Realize this with slide overlays ? I would use overprint (Überdruck) for

Re: lyx 2.0.6 debian failes to run

2013-11-07 Thread Wolfgang Engelmann
On Thursday 07 November 2013 15:05:02 Richard Heck wrote: On 11/07/2013 02:44 AM, Wolfgang Engelmann wrote: On Wednesday 06 November 2013 16:54:13 David L. Johnson wrote: On 11/06/2013 03:47 AM, Wolfgang Engelmann wrote: On Wednesday 06 November 2013 09:26:57 Scott Kostyshak wrote:

Re: lyx 2.0.6 debian failes to run

2013-11-07 Thread Richard Heck
On 11/07/2013 02:44 AM, Wolfgang Engelmann wrote: On Wednesday 06 November 2013 16:54:13 David L. Johnson wrote: > On 11/06/2013 03:47 AM, Wolfgang Engelmann wrote: > > On Wednesday 06 November 2013 09:26:57 Scott Kostyshak wrote: > > > On Wed, Nov 6, 2013 at 3:20 AM, Wolfgang Engelmann > >

migrating (soon to be) old beamer files

2013-11-07 Thread Eran Kaplinsky
LyX support for beamer is improving, and that's great. Once the new version of LyX comes out of beta, however, old beamer files with overlays will no longer compile. I have dozens of those. Any suggestions (other than keeping an old LyX installation in addition to the new one)? Thanks, Eran

Re: Logic: Tableau Proofs (trees)

2013-11-07 Thread Ernesto Posse
I asked about which logic because that determines which operators you will need (I've only given you a few in my examples), but also because for some logics the tableaux are not trees but directed acyclic graphs, (e.g., in temporal logics). This of course has a big impact on how to draw the

Rendering of LyX's math screen fonts.

2013-11-07 Thread Rudi Gaelzer
This is a recurrent problem for me, and I think it's for other as well. Certainly someone has already discussed this issue in this list (or in the devel list), but every time I take some time to browse through them, I cannot find it, or perhaps I'm not sufficiently knowledgeable on the internal

Re: migrating (soon to be) old beamer files

2013-11-07 Thread Jürgen Spitzmüller
Am Donnerstag 07 November 2013, 09:57:07 schrieb Eran Kaplinsky: > LyX support for beamer is improving, and that's great. Once the new version > of LyX comes out of beta, however, old beamer files with overlays will no > longer compile. I have dozens of those. > > Any suggestions (other than

Re: Logic: Tableau Proofs (trees)

2013-11-07 Thread William Hanson
No, the tableaus I want to create do not contain any loops. On Thu, Nov 7, 2013 at 11:01 AM, Ernesto Posse wrote: > I asked about which logic because that determines which operators you will > need (I've only given you a few in my examples), but also because for some >

Re: lyx 2.0.6 debian failes to run

2013-11-07 Thread Scott Kostyshak
On Thu, Nov 7, 2013 at 9:05 AM, Richard Heck wrote: > On 11/07/2013 02:44 AM, Wolfgang Engelmann wrote: > > On Wednesday 06 November 2013 16:54:13 David L. Johnson wrote: > >> On 11/06/2013 03:47 AM, Wolfgang Engelmann wrote: > >> > On Wednesday 06 November 2013 09:26:57 Scott

Re: problem with centering tables with JASA template

2013-11-07 Thread Scott Kostyshak
On Thu, Nov 7, 2013 at 7:42 AM, Benoît Bergès wrote: > Dear Scott, > > digging into the lyx templates I found an alternative JASA template found on > the web (http://www2.hawaii.edu/~jcb/LyXforJASA/LyXforJASA.html). Compared > the base one in the lyx package, this

Trying to unterstand Beamer overlay-Prinzip

2013-11-07 Thread Uwe Ade
Hello i read the very good Lyx-Beamer help-files and try to unterstand the Overlay-Concept. My aim: I want show a lot of different Pictures. The slide (s) should always have the same Title and the Pictutre (without Text) Coverd the hole slide. Can I Realize this with slide overlays ?

Trying to unterstand Beamer overlay-Prinzip

2013-11-07 Thread Uwe Ade
Hello i read the very good Lyx-Beamer help-files and try to unterstand the Overlay-Concept. My aim: I want show a lot of different Pictures. The slide (s) should always have the same Title and the Pictutre (without Text) Coverd the hole slide. Can I Realize this with slide overlays ?

Re: Rendering of LyX's math screen fonts.

2013-11-07 Thread Georg Baum
Rudi Gaelzer wrote: > So I ask you LyXperts: is it possible to configure the math mode editor so > that it uses also mathabx and other different math fonts? The roadmap to > LyX 2.1 mentions enhanced support for math font selection (OpenType fonts) > and support ofr cropped PDF/EPS. However,

Using LyX for calculations (was Rendering of LyX's math screen fonts.)

2013-11-07 Thread Jerry
I know that LyX has hooks for some computer algebra systems (Mathematica, Maple, Maxima) and Octave. I have played with these a little (Octave and Mathematica) and it seems potentially useful but possibly not fully developed in LyX. I'm curious to know how you and others have used this corner

Exporting to arXiv.org

2013-11-07 Thread Michael Manthey
I'm having trouble exporting LyX output to arXiv.org, who apparently want some kind of naked version of TeX as input. The only LYX output option that gets through arXiv's automated filter is html, which then entails hand editing to make presentable. Yet I can find only one mention of this on

Re: Exporting to arXiv.org

2013-11-07 Thread David L. Johnson
On 11/07/2013 05:59 PM, Michael Manthey wrote: I'm having trouble exporting LyX output to arXiv.org, who apparently want some kind of naked version of TeX as input. I just went through this myself (although my co-authors insisted on using TeX directly). See http://arxiv.org/abs/1311.0289 . But

Re: Exporting to arXiv.org

2013-11-07 Thread PhilipPirrip
I had no troubles with arXiv in the past, if I could export my file(s) to .tex and compile them on my linux PC, the same worked with them. If you're exporting for pdflatex, make sure you upload figures as pdf. They accept .bib files, or at least they used to, no need for special prep. as in the

Re: Trying to unterstand Beamer overlay-Prinzip

2013-11-07 Thread Jürgen Spitzmüller
Am Donnerstag 07 November 2013, 19:51:47 schrieb Uwe Ade: > My aim: I want show a lot of different Pictures. The slide (s) should > always have the same Title and the Pictutre (without Text) Coverd the hole > slide. > > Can I Realize this with slide overlays ? I would use overprint

Re: lyx 2.0.6 debian failes to run

2013-11-07 Thread Wolfgang Engelmann
On Thursday 07 November 2013 15:05:02 Richard Heck wrote: > On 11/07/2013 02:44 AM, Wolfgang Engelmann wrote: > > On Wednesday 06 November 2013 16:54:13 David L. Johnson wrote: > > > On 11/06/2013 03:47 AM, Wolfgang Engelmann wrote: > > > > On Wednesday 06 November 2013 09:26:57 Scott Kostyshak