Re: can not run my Lyx on Mac

2013-10-22 Thread Stephan Witt 
Am 21.10.2013 um 20:46 schrieb Didar Erdinc di...@aubg.bg:

 Dear list,
 
 I can not run my Lyx because it asks me texhash manually. I can write an 
 equation but can not view it in pdf form. can you help with it?
 
 Thanks,
 
 Didar

Did you install MacTeX or something similar already?

Regards,
Stephan

Re: Beamer in the next Lyx version: a worry?

2013-10-22 Thread Liviu Andronic 
Dear Juergen,


On Fri, Sep 6, 2013 at 7:33 PM, Jürgen Spitzmüller sp...@lyx.org wrote:
 I've tested a fair amount of all sorts of slides now. Common things should
 just work.

 So again, the more people help testing, the better the result in the final
 release of LyX 2.1

Just to let you know that I've tested a couple of my 2.0 long-ish
beamer slides and the PDF output when compiled with 2.1 is bit for bit
identical with 2.0 PDF. At least here the conversions seem to happen
as expected.

Regards,
Liviu

maxnames

2013-10-22 Thread Patrick Dupre 
Hello,

I set in bibliography:
Style: default
and
processor: bibtex
and in option maxnames=3
expecting to have:
\usepackage[maxnames=3]{biblatex}

but it does not work.

How to use the options of bibtex?

===
 Patrick DUPRÉ                                 | | email: pdu...@gmx.com
 Laboratoire de Physico-Chimie de l'Atmosphère | |
 Université du Littoral-Côte d'Opale           | |
 Tel.  (33)-(0)3 28 23 76 12                   | | Fax: 03 28 65 82 44
 189A, avenue Maurice Schumann                 | | 59140 Dunkerque, France
===

Re: maxnames

2013-10-22 Thread Patrick Dupre 

 Subject: maxnames
 
 Hello,
 
 I set in bibliography:
 Style: default
 and
 processor: bibtex
 and in option maxnames=3
 expecting to have:
 \usepackage[maxnames=3]{biblatex}
 
 but it does not work.
 
 How to use the options of bibtex?
 
In fact, I use cite and not biblatex

===
 Patrick DUPRÉ                                 | | email: pdu...@gmx.com
 Laboratoire de Physico-Chimie de l'Atmosphère | |
 Université du Littoral-Côte d'Opale           | |
 Tel.  (33)-(0)3 28 23 76 12                   | | Fax: 03 28 65 82 44
 189A, avenue Maurice Schumann                 | | 59140 Dunkerque, France
===

Re: Logic: Tableau Proofs

2013-10-22 Thread Ernesto Posse 
Hello. The easiest (and nicest) way to do this is using the tikz package:
in the preamble put

\usepackage{tikz}

and then, wherever you want the tableau, put in a TeX box the following:

\def\land{\wedge}

\def\lor{\vee}

\def\limp{\to}

\begin{tikzpicture}

\node {$\{\neg ((p \lor (p \land q)) \limp p)\}$}

child {node {$\{p \lor (p \land q), \neg p\}$}

child {node {$\{p\}$}}

child {node {$\{p \land q\}$}

child {node {$\{p,q\}$;

\end{tikzpicture}


Note that the structure of the tree depends on the grouping braces { ... }.




On Tue, Oct 22, 2013 at 12:04 PM, William Hanson whan...@umn.edu wrote:

 Dear LyX Colleagues,

 I'm trying to create tableau proofs, which are branching columns of text,
 as illustrated in the attachment.  Examples can also be found in Melvin
 Fitting and Richard Mendelsohn, *First-Order Modal Logic*, Kluwer, 1998.
 Any help  will be appreciated.

 Bill Hanson




-- 
Ernesto Posse

Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada

Re: maxnames

2013-10-22 Thread Jürgen Spitzmüller 
Am Dienstag 22 Oktober 2013, 17:14:28 schrieb Patrick Dupre:
  How to use the options of bibtex?
 
  
 
 In fact, I use cite and not biblatex

cite has no maxnames options, as far as I know.

Jürgen

Re: Logic: Tableau Proofs

2013-10-22 Thread Richard Heck 


There are lots of useful resources about this here:
http://www.logicmatters.net/latex-for-logicians/trees/

Richard

On 10/22/2013 12:37 PM, Ernesto Posse wrote:
Hello. The easiest (and nicest) way to do this is using the tikz 
package: in the preamble put


\usepackage{tikz}

and then, wherever you want the tableau, put in a TeX box the following:

\def\land{\wedge}

\def\lor{\vee}

\def\limp{\to}

\begin{tikzpicture}

\node {$\{\neg ((p \lor (p \land q)) \limp p)\}$}

child {node {$\{p \lor (p \land q), \neg p\}$}

child {node {$\{p\}$}}

child {node {$\{p \land q\}$}

child {node {$\{p,q\}$;

\end{tikzpicture}


Note that the structure of the tree depends on the grouping braces { 
... }.





On Tue, Oct 22, 2013 at 12:04 PM, William Hanson whan...@umn.edu 
mailto:whan...@umn.edu wrote:


Dear LyX Colleagues,

I'm trying to create tableau proofs, which are branching columns
of text, as illustrated in the attachment. Examples can also be
found in Melvin Fitting and Richard Mendelsohn, /First-Order Modal
Logic/, Kluwer, 1998.  Any help  will be appreciated.

Bill Hanson




--
Ernesto Posse

Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada

Re: Logic: Tableau Proofs

2013-10-22 Thread William Hanson 
Thanks for the information on creating tableaus.  However everything I've
seen so far assumes the user knows LaTeX.  I've been using LyX for several
years, but I've never used LaTeX itself.  I'd really rather not spend  time
learning it just to put a few tableau proofs into a much longer LyX
document.  Any way of creating tableaus directly in LyX?


On Tue, Oct 22, 2013 at 12:36 PM, Richard Heck rgh...@lyx.org wrote:


 There are lots of useful resources about this here:
 http://www.logicmatters.net/latex-for-logicians/trees/

 Richard


 On 10/22/2013 12:37 PM, Ernesto Posse wrote:

 Hello. The easiest (and nicest) way to do this is using the tikz package:
 in the preamble put

  \usepackage{tikz}

  and then, wherever you want the tableau, put in a TeX box the following:

  \def\land{\wedge}

 \def\lor{\vee}

 \def\limp{\to}

 \begin{tikzpicture}

 \node {$\{\neg ((p \lor (p \land q)) \limp p)\}$}

 child {node {$\{p \lor (p \land q), \neg p\}$}

 child {node {$\{p\}$}}

 child {node {$\{p \land q\}$}

 child {node {$\{p,q\}$;

 \end{tikzpicture}


  Note that the structure of the tree depends on the grouping braces { ...
 }.




 On Tue, Oct 22, 2013 at 12:04 PM, William Hanson whan...@umn.edu wrote:

  Dear LyX Colleagues,

  I'm trying to create tableau proofs, which are branching columns of
 text, as illustrated in the attachment.  Examples can also be found in
 Melvin Fitting and Richard Mendelsohn, *First-Order Modal Logic*,
 Kluwer, 1998.  Any help  will be appreciated.

  Bill Hanson




  --
 Ernesto Posse

 Modelling and Analysis in Software Engineering
 School of Computing
 Queen's University - Kingston, Ontario, Canada

Re: Logic: Tableau Proofs

2013-10-22 Thread Richard Heck 

On 10/22/2013 02:44 PM, William Hanson wrote:
Thanks for the information on creating tableaus. However everything 
I've seen so far assumes the user knows LaTeX.  I've been using LyX 
for several years, but I've never used LaTeX itself.  I'd really 
rather not spend  time learning it just to put a few tableau proofs 
into a much longer LyX document.  Any way of creating tableaus 
directly in LyX?


No, not at the moment, anyway. There's no native LyX support for this 
sort of thing. But it should be possible to follow the examples.


rh




On Tue, Oct 22, 2013 at 12:36 PM, Richard Heck rgh...@lyx.org 
mailto:rgh...@lyx.org wrote:



There are lots of useful resources about this here:
http://www.logicmatters.net/latex-for-logicians/trees/

Richard


On 10/22/2013 12:37 PM, Ernesto Posse wrote:

Hello. The easiest (and nicest) way to do this is using the tikz
package: in the preamble put

\usepackage{tikz}

and then, wherever you want the tableau, put in a TeX box the
following:

\def\land{\wedge}

\def\lor{\vee}

\def\limp{\to}

\begin{tikzpicture}

\node {$\{\neg ((p \lor (p \land q)) \limp p)\}$}

child {node {$\{p \lor (p \land q), \neg p\}$}

child {node {$\{p\}$}}

child {node {$\{p \land q\}$}

child {node {$\{p,q\}$;

\end{tikzpicture}


Note that the structure of the tree depends on the grouping
braces { ... }.




On Tue, Oct 22, 2013 at 12:04 PM, William Hanson whan...@umn.edu
mailto:whan...@umn.edu wrote:

Dear LyX Colleagues,

I'm trying to create tableau proofs, which are branching
columns of text, as illustrated in the attachment.  Examples
can also be found in Melvin Fitting and Richard Mendelsohn,
/First-Order Modal Logic/, Kluwer, 1998.  Any help  will be
appreciated.

Bill Hanson




-- 
Ernesto Posse


Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada

Re: LyX XMPP-Enhanced Chat

2013-10-22 Thread Tommaso Cucinotta 
Also, I made another video

  http://www.youtube.com/watch?v=n0Xfi8Ohx7Y

to show better how it works in the lyx-to-lyx and lyx-to-Pidgin cases.
I hope you like both the patch  the video, which is a bit dedicated to Ireland 
:-)!

T.

On 22/10/13 00:43, Tommaso Cucinotta wrote:
 On 21/10/13 05:54, Scott Kostyshak wrote:
 On Sun, Oct 20, 2013 at 8:54 PM, Tommaso Cucinotta tomm...@lyx.org wrote:

 Comments are welcome of course, as always.

 Only that this looks cool :)
 
 If people like it, as I do, we could fine-tune it to get it in for the next 
 major release ?
 
 Let me recap current behaviour:
 a) launch the buddies pane
 b) enter login id, enter, a dialog pops up asking password (all these are 
 skipped once u save your credentials -- still to be added to the patch)
 b1) your buddies show up in the buddies pane
 c) double-click one of your buddies, you get your buddy-dedicated chat file 
 opened in ~/.lyx/chats/buddy-id.lyx, plus a chat line on the bottom where u 
 type
 d) everything u type in the chat bar, as well as received from remote, is 
 appended to the buddy specific chat file and auto-saved
 e) if u want to shut down net activity, click on disconnect (u can click on 
 connect to get back on-line)
 f) you can alter your availability/status from the status drop-down box 
 (unimplemented yet)
 
 No capability whatsoever to manage buddies, for now you can do that with 
 Pidgin or other clients.
 
 Among todos, a few nice icons to highlight online/available vs 
 offline/unavailable buddies to be added in the buddies pane.
 
 Chat files are regular lyx files. You can also edit them while chatting or 
 while off-line, or delete them etc. They're supposed to keep history (I know, 
 problems should they grow unbounded, but for now...). You can copy/paste back 
 and forth across your local files and the chat files/buffers.
 
 Text is tx-ed to the other end as exported LaTeX segment corresponding to the 
 paragraph you type, then imported back using Buffer::importString(). You can 
 send maths, tables, formats, headings, but if you try to send external 
 material such as a picture, the file is NOT tx-ed. Also, it should all be ok 
 with default doc settings. If u change them (notably, the doc class), then u 
 can create inconsistencies between the local and remote views (perhaps styles 
 that make sense here but not there etc...). For now, text is auto-tx-ed when 
 you type Enter, but this can be changed if deemed useful.
 
 Any comments, given the above ?
 
   T.

why people give up on open source software

2013-10-22 Thread Richard Talley 
I originally picked up on LyX because I needed to produce some technical
manuals quickly that looked good to management and that didn't make me deal
with the WYSIWYG nightmares of Word and its ilk.

LyX really came through for me.

Now I'm helping a friend apply to graduate school. I used the KOMA-script
v. 2 letter class to typeset his letter of intent. Looks good!

Now on to the résumé. Let's see what's available. ModernCV looks good,
under development for seven years.

Except it won't accept last names much longer than the author's name
without hyphenation. Searching produces lot's of hacks to deal with this.

Run the example that comes with LyX. Note in example says, 'The moderncv
class offers lots of customization possibilities; some are explained in the
preamble of this document; for more information look at the documentation
of the LaTeX-package moderncv.'

Yeah, right. The README for moderncv is very short and includes this: 'Until
a decent manual is written, you can always look in the examples directory
for some examples. Documents can be compiled into dvi, ps or pdf.'

The example LyX file points to documentation that doesn't actually exist.
There is no 'more information'. Nothing is explained. Seven years of
development and there's nothing that Aunt Tillie can use.

I know what I'm going to hear, 'Do it yourself', 'That's how open source
works'. I agree. Perhaps I'll find the time to work on the documentation.
In the meantime, I need to produce a document NOW, not work on the
documentation for the tool to produce the document.

Lesson: Please don't point to ghost documentation. If you have the time to
produce something that you expect people to use, you need to make the time
to explain how to use it.

(Disclaimer: this doesn't apply to LyX itself, which is richly documented.
Just to accessories to LyX and to open source generally.)

-- Rich

Re: can not run my Lyx on Mac

2013-10-22 Thread Stephan Witt 
Am 21.10.2013 um 20:46 schrieb Didar Erdinc di...@aubg.bg:

 Dear list,
 
 I can not run my Lyx because it asks me texhash manually. I can write an 
 equation but can not view it in pdf form. can you help with it?
 
 Thanks,
 
 Didar

Did you install MacTeX or something similar already?

Regards,
Stephan

Re: Beamer in the next Lyx version: a worry?

2013-10-22 Thread Liviu Andronic 
Dear Juergen,


On Fri, Sep 6, 2013 at 7:33 PM, Jürgen Spitzmüller sp...@lyx.org wrote:
 I've tested a fair amount of all sorts of slides now. Common things should
 just work.

 So again, the more people help testing, the better the result in the final
 release of LyX 2.1

Just to let you know that I've tested a couple of my 2.0 long-ish
beamer slides and the PDF output when compiled with 2.1 is bit for bit
identical with 2.0 PDF. At least here the conversions seem to happen
as expected.

Regards,
Liviu

maxnames

2013-10-22 Thread Patrick Dupre 
Hello,

I set in bibliography:
Style: default
and
processor: bibtex
and in option maxnames=3
expecting to have:
\usepackage[maxnames=3]{biblatex}

but it does not work.

How to use the options of bibtex?

===
 Patrick DUPRÉ                                 | | email: pdu...@gmx.com
 Laboratoire de Physico-Chimie de l'Atmosphère | |
 Université du Littoral-Côte d'Opale           | |
 Tel.  (33)-(0)3 28 23 76 12                   | | Fax: 03 28 65 82 44
 189A, avenue Maurice Schumann                 | | 59140 Dunkerque, France
===

Re: maxnames

2013-10-22 Thread Patrick Dupre 

 Subject: maxnames
 
 Hello,
 
 I set in bibliography:
 Style: default
 and
 processor: bibtex
 and in option maxnames=3
 expecting to have:
 \usepackage[maxnames=3]{biblatex}
 
 but it does not work.
 
 How to use the options of bibtex?
 
In fact, I use cite and not biblatex

===
 Patrick DUPRÉ                                 | | email: pdu...@gmx.com
 Laboratoire de Physico-Chimie de l'Atmosphère | |
 Université du Littoral-Côte d'Opale           | |
 Tel.  (33)-(0)3 28 23 76 12                   | | Fax: 03 28 65 82 44
 189A, avenue Maurice Schumann                 | | 59140 Dunkerque, France
===

Re: Logic: Tableau Proofs

2013-10-22 Thread Ernesto Posse 
Hello. The easiest (and nicest) way to do this is using the tikz package:
in the preamble put

\usepackage{tikz}

and then, wherever you want the tableau, put in a TeX box the following:

\def\land{\wedge}

\def\lor{\vee}

\def\limp{\to}

\begin{tikzpicture}

\node {$\{\neg ((p \lor (p \land q)) \limp p)\}$}

child {node {$\{p \lor (p \land q), \neg p\}$}

child {node {$\{p\}$}}

child {node {$\{p \land q\}$}

child {node {$\{p,q\}$;

\end{tikzpicture}


Note that the structure of the tree depends on the grouping braces { ... }.




On Tue, Oct 22, 2013 at 12:04 PM, William Hanson whan...@umn.edu wrote:

 Dear LyX Colleagues,

 I'm trying to create tableau proofs, which are branching columns of text,
 as illustrated in the attachment.  Examples can also be found in Melvin
 Fitting and Richard Mendelsohn, *First-Order Modal Logic*, Kluwer, 1998.
 Any help  will be appreciated.

 Bill Hanson




-- 
Ernesto Posse

Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada

Re: maxnames

2013-10-22 Thread Jürgen Spitzmüller 
Am Dienstag 22 Oktober 2013, 17:14:28 schrieb Patrick Dupre:
  How to use the options of bibtex?
 
  
 
 In fact, I use cite and not biblatex

cite has no maxnames options, as far as I know.

Jürgen

Re: Logic: Tableau Proofs

2013-10-22 Thread Richard Heck 


There are lots of useful resources about this here:
http://www.logicmatters.net/latex-for-logicians/trees/

Richard

On 10/22/2013 12:37 PM, Ernesto Posse wrote:
Hello. The easiest (and nicest) way to do this is using the tikz 
package: in the preamble put


\usepackage{tikz}

and then, wherever you want the tableau, put in a TeX box the following:

\def\land{\wedge}

\def\lor{\vee}

\def\limp{\to}

\begin{tikzpicture}

\node {$\{\neg ((p \lor (p \land q)) \limp p)\}$}

child {node {$\{p \lor (p \land q), \neg p\}$}

child {node {$\{p\}$}}

child {node {$\{p \land q\}$}

child {node {$\{p,q\}$;

\end{tikzpicture}


Note that the structure of the tree depends on the grouping braces { 
... }.





On Tue, Oct 22, 2013 at 12:04 PM, William Hanson whan...@umn.edu 
mailto:whan...@umn.edu wrote:


Dear LyX Colleagues,

I'm trying to create tableau proofs, which are branching columns
of text, as illustrated in the attachment. Examples can also be
found in Melvin Fitting and Richard Mendelsohn, /First-Order Modal
Logic/, Kluwer, 1998.  Any help  will be appreciated.

Bill Hanson




--
Ernesto Posse

Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada

Re: Logic: Tableau Proofs

2013-10-22 Thread William Hanson 
Thanks for the information on creating tableaus.  However everything I've
seen so far assumes the user knows LaTeX.  I've been using LyX for several
years, but I've never used LaTeX itself.  I'd really rather not spend  time
learning it just to put a few tableau proofs into a much longer LyX
document.  Any way of creating tableaus directly in LyX?


On Tue, Oct 22, 2013 at 12:36 PM, Richard Heck rgh...@lyx.org wrote:


 There are lots of useful resources about this here:
 http://www.logicmatters.net/latex-for-logicians/trees/

 Richard


 On 10/22/2013 12:37 PM, Ernesto Posse wrote:

 Hello. The easiest (and nicest) way to do this is using the tikz package:
 in the preamble put

  \usepackage{tikz}

  and then, wherever you want the tableau, put in a TeX box the following:

  \def\land{\wedge}

 \def\lor{\vee}

 \def\limp{\to}

 \begin{tikzpicture}

 \node {$\{\neg ((p \lor (p \land q)) \limp p)\}$}

 child {node {$\{p \lor (p \land q), \neg p\}$}

 child {node {$\{p\}$}}

 child {node {$\{p \land q\}$}

 child {node {$\{p,q\}$;

 \end{tikzpicture}


  Note that the structure of the tree depends on the grouping braces { ...
 }.




 On Tue, Oct 22, 2013 at 12:04 PM, William Hanson whan...@umn.edu wrote:

  Dear LyX Colleagues,

  I'm trying to create tableau proofs, which are branching columns of
 text, as illustrated in the attachment.  Examples can also be found in
 Melvin Fitting and Richard Mendelsohn, *First-Order Modal Logic*,
 Kluwer, 1998.  Any help  will be appreciated.

  Bill Hanson




  --
 Ernesto Posse

 Modelling and Analysis in Software Engineering
 School of Computing
 Queen's University - Kingston, Ontario, Canada

Re: Logic: Tableau Proofs

2013-10-22 Thread Richard Heck 

On 10/22/2013 02:44 PM, William Hanson wrote:
Thanks for the information on creating tableaus. However everything 
I've seen so far assumes the user knows LaTeX.  I've been using LyX 
for several years, but I've never used LaTeX itself.  I'd really 
rather not spend  time learning it just to put a few tableau proofs 
into a much longer LyX document.  Any way of creating tableaus 
directly in LyX?


No, not at the moment, anyway. There's no native LyX support for this 
sort of thing. But it should be possible to follow the examples.


rh




On Tue, Oct 22, 2013 at 12:36 PM, Richard Heck rgh...@lyx.org 
mailto:rgh...@lyx.org wrote:



There are lots of useful resources about this here:
http://www.logicmatters.net/latex-for-logicians/trees/

Richard


On 10/22/2013 12:37 PM, Ernesto Posse wrote:

Hello. The easiest (and nicest) way to do this is using the tikz
package: in the preamble put

\usepackage{tikz}

and then, wherever you want the tableau, put in a TeX box the
following:

\def\land{\wedge}

\def\lor{\vee}

\def\limp{\to}

\begin{tikzpicture}

\node {$\{\neg ((p \lor (p \land q)) \limp p)\}$}

child {node {$\{p \lor (p \land q), \neg p\}$}

child {node {$\{p\}$}}

child {node {$\{p \land q\}$}

child {node {$\{p,q\}$;

\end{tikzpicture}


Note that the structure of the tree depends on the grouping
braces { ... }.




On Tue, Oct 22, 2013 at 12:04 PM, William Hanson whan...@umn.edu
mailto:whan...@umn.edu wrote:

Dear LyX Colleagues,

I'm trying to create tableau proofs, which are branching
columns of text, as illustrated in the attachment.  Examples
can also be found in Melvin Fitting and Richard Mendelsohn,
/First-Order Modal Logic/, Kluwer, 1998.  Any help  will be
appreciated.

Bill Hanson




-- 
Ernesto Posse


Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada

Re: LyX XMPP-Enhanced Chat

2013-10-22 Thread Tommaso Cucinotta 
Also, I made another video

  http://www.youtube.com/watch?v=n0Xfi8Ohx7Y

to show better how it works in the lyx-to-lyx and lyx-to-Pidgin cases.
I hope you like both the patch  the video, which is a bit dedicated to Ireland 
:-)!

T.

On 22/10/13 00:43, Tommaso Cucinotta wrote:
 On 21/10/13 05:54, Scott Kostyshak wrote:
 On Sun, Oct 20, 2013 at 8:54 PM, Tommaso Cucinotta tomm...@lyx.org wrote:

 Comments are welcome of course, as always.

 Only that this looks cool :)
 
 If people like it, as I do, we could fine-tune it to get it in for the next 
 major release ?
 
 Let me recap current behaviour:
 a) launch the buddies pane
 b) enter login id, enter, a dialog pops up asking password (all these are 
 skipped once u save your credentials -- still to be added to the patch)
 b1) your buddies show up in the buddies pane
 c) double-click one of your buddies, you get your buddy-dedicated chat file 
 opened in ~/.lyx/chats/buddy-id.lyx, plus a chat line on the bottom where u 
 type
 d) everything u type in the chat bar, as well as received from remote, is 
 appended to the buddy specific chat file and auto-saved
 e) if u want to shut down net activity, click on disconnect (u can click on 
 connect to get back on-line)
 f) you can alter your availability/status from the status drop-down box 
 (unimplemented yet)
 
 No capability whatsoever to manage buddies, for now you can do that with 
 Pidgin or other clients.
 
 Among todos, a few nice icons to highlight online/available vs 
 offline/unavailable buddies to be added in the buddies pane.
 
 Chat files are regular lyx files. You can also edit them while chatting or 
 while off-line, or delete them etc. They're supposed to keep history (I know, 
 problems should they grow unbounded, but for now...). You can copy/paste back 
 and forth across your local files and the chat files/buffers.
 
 Text is tx-ed to the other end as exported LaTeX segment corresponding to the 
 paragraph you type, then imported back using Buffer::importString(). You can 
 send maths, tables, formats, headings, but if you try to send external 
 material such as a picture, the file is NOT tx-ed. Also, it should all be ok 
 with default doc settings. If u change them (notably, the doc class), then u 
 can create inconsistencies between the local and remote views (perhaps styles 
 that make sense here but not there etc...). For now, text is auto-tx-ed when 
 you type Enter, but this can be changed if deemed useful.
 
 Any comments, given the above ?
 
   T.

why people give up on open source software

2013-10-22 Thread Richard Talley 
I originally picked up on LyX because I needed to produce some technical
manuals quickly that looked good to management and that didn't make me deal
with the WYSIWYG nightmares of Word and its ilk.

LyX really came through for me.

Now I'm helping a friend apply to graduate school. I used the KOMA-script
v. 2 letter class to typeset his letter of intent. Looks good!

Now on to the résumé. Let's see what's available. ModernCV looks good,
under development for seven years.

Except it won't accept last names much longer than the author's name
without hyphenation. Searching produces lot's of hacks to deal with this.

Run the example that comes with LyX. Note in example says, 'The moderncv
class offers lots of customization possibilities; some are explained in the
preamble of this document; for more information look at the documentation
of the LaTeX-package moderncv.'

Yeah, right. The README for moderncv is very short and includes this: 'Until
a decent manual is written, you can always look in the examples directory
for some examples. Documents can be compiled into dvi, ps or pdf.'

The example LyX file points to documentation that doesn't actually exist.
There is no 'more information'. Nothing is explained. Seven years of
development and there's nothing that Aunt Tillie can use.

I know what I'm going to hear, 'Do it yourself', 'That's how open source
works'. I agree. Perhaps I'll find the time to work on the documentation.
In the meantime, I need to produce a document NOW, not work on the
documentation for the tool to produce the document.

Lesson: Please don't point to ghost documentation. If you have the time to
produce something that you expect people to use, you need to make the time
to explain how to use it.

(Disclaimer: this doesn't apply to LyX itself, which is richly documented.
Just to accessories to LyX and to open source generally.)

-- Rich

Re: can not run my Lyx on Mac

2013-10-22 Thread Stephan Witt 
Am 21.10.2013 um 20:46 schrieb Didar Erdinc :

> Dear list,
> 
> I can not run my Lyx because it asks me texhash manually. I can write an 
> equation but can not view it in pdf form. can you help with it?
> 
> Thanks,
> 
> Didar

Did you install MacTeX or something similar already?

Regards,
Stephan

Re: Beamer in the next Lyx version: a worry?

2013-10-22 Thread Liviu Andronic 
Dear Juergen,


On Fri, Sep 6, 2013 at 7:33 PM, Jürgen Spitzmüller  wrote:
> I've tested a fair amount of all sorts of slides now. Common things should
> just work.
>
> So again, the more people help testing, the better the result in the final
> release of LyX 2.1
>
Just to let you know that I've tested a couple of my 2.0 long-ish
beamer slides and the PDF output when compiled with 2.1 is bit for bit
identical with 2.0 PDF. At least here the conversions seem to happen
as expected.

Regards,
Liviu

maxnames

2013-10-22 Thread Patrick Dupre 
Hello,

I set in bibliography:
Style: default
and
processor: bibtex
and in option maxnames=3
expecting to have:
\usepackage[maxnames=3]{biblatex}

but it does not work.

How to use the options of bibtex?

===
 Patrick DUPRÉ                                 | | email: pdu...@gmx.com
 Laboratoire de Physico-Chimie de l'Atmosphère | |
 Université du Littoral-Côte d'Opale           | |
 Tel.  (33)-(0)3 28 23 76 12                   | | Fax: 03 28 65 82 44
 189A, avenue Maurice Schumann                 | | 59140 Dunkerque, France
===

Re: maxnames

2013-10-22 Thread Patrick Dupre 

> Subject: maxnames
> 
> Hello,
> 
> I set in bibliography:
> Style: default
> and
> processor: bibtex
> and in option maxnames=3
> expecting to have:
> \usepackage[maxnames=3]{biblatex}
> 
> but it does not work.
> 
> How to use the options of bibtex?
> 
In fact, I use cite and not biblatex

===
 Patrick DUPRÉ                                 | | email: pdu...@gmx.com
 Laboratoire de Physico-Chimie de l'Atmosphère | |
 Université du Littoral-Côte d'Opale           | |
 Tel.  (33)-(0)3 28 23 76 12                   | | Fax: 03 28 65 82 44
 189A, avenue Maurice Schumann                 | | 59140 Dunkerque, France
===

Re: Logic: Tableau Proofs

2013-10-22 Thread Ernesto Posse 
Hello. The easiest (and nicest) way to do this is using the tikz package:
in the preamble put

\usepackage{tikz}

and then, wherever you want the tableau, put in a TeX box the following:

\def\land{\wedge}

\def\lor{\vee}

\def\limp{\to}

\begin{tikzpicture}

\node {$\{\neg ((p \lor (p \land q)) \limp p)\}$}

child {node {$\{p \lor (p \land q), \neg p\}$}

child {node {$\{p\}$}}

child {node {$\{p \land q\}$}

child {node {$\{p,q\}$;

\end{tikzpicture}


Note that the structure of the tree depends on the grouping braces { ... }.




On Tue, Oct 22, 2013 at 12:04 PM, William Hanson  wrote:

> Dear LyX Colleagues,
>
> I'm trying to create tableau proofs, which are branching columns of text,
> as illustrated in the attachment.  Examples can also be found in Melvin
> Fitting and Richard Mendelsohn, *First-Order Modal Logic*, Kluwer, 1998.
> Any help  will be appreciated.
>
> Bill Hanson
>



-- 
Ernesto Posse

Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada

Re: maxnames

2013-10-22 Thread Jürgen Spitzmüller 
Am Dienstag 22 Oktober 2013, 17:14:28 schrieb Patrick Dupre:
> > How to use the options of bibtex?
> >
> > 
> 
> In fact, I use cite and not biblatex

cite has no maxnames options, as far as I know.

Jürgen

Re: Logic: Tableau Proofs

2013-10-22 Thread Richard Heck 


There are lots of useful resources about this here:
http://www.logicmatters.net/latex-for-logicians/trees/

Richard

On 10/22/2013 12:37 PM, Ernesto Posse wrote:
Hello. The easiest (and nicest) way to do this is using the tikz 
package: in the preamble put


\usepackage{tikz}

and then, wherever you want the tableau, put in a TeX box the following:

\def\land{\wedge}

\def\lor{\vee}

\def\limp{\to}

\begin{tikzpicture}

\node {$\{\neg ((p \lor (p \land q)) \limp p)\}$}

child {node {$\{p \lor (p \land q), \neg p\}$}

child {node {$\{p\}$}}

child {node {$\{p \land q\}$}

child {node {$\{p,q\}$;

\end{tikzpicture}


Note that the structure of the tree depends on the grouping braces { 
... }.





On Tue, Oct 22, 2013 at 12:04 PM, William Hanson > wrote:


Dear LyX Colleagues,

I'm trying to create tableau proofs, which are branching columns
of text, as illustrated in the attachment. Examples can also be
found in Melvin Fitting and Richard Mendelsohn, /First-Order Modal
Logic/, Kluwer, 1998.  Any help  will be appreciated.

Bill Hanson




--
Ernesto Posse

Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada

Re: Logic: Tableau Proofs

2013-10-22 Thread William Hanson 
Thanks for the information on creating tableaus.  However everything I've
seen so far assumes the user knows LaTeX.  I've been using LyX for several
years, but I've never used LaTeX itself.  I'd really rather not spend  time
learning it just to put a few tableau proofs into a much longer LyX
document.  Any way of creating tableaus directly in LyX?


On Tue, Oct 22, 2013 at 12:36 PM, Richard Heck  wrote:

>
> There are lots of useful resources about this here:
> http://www.logicmatters.net/latex-for-logicians/trees/
>
> Richard
>
>
> On 10/22/2013 12:37 PM, Ernesto Posse wrote:
>
> Hello. The easiest (and nicest) way to do this is using the tikz package:
> in the preamble put
>
>  \usepackage{tikz}
>
>  and then, wherever you want the tableau, put in a TeX box the following:
>
>  \def\land{\wedge}
>
> \def\lor{\vee}
>
> \def\limp{\to}
>
> \begin{tikzpicture}
>
> \node {$\{\neg ((p \lor (p \land q)) \limp p)\}$}
>
> child {node {$\{p \lor (p \land q), \neg p\}$}
>
> child {node {$\{p\}$}}
>
> child {node {$\{p \land q\}$}
>
> child {node {$\{p,q\}$;
>
> \end{tikzpicture}
>
>
>  Note that the structure of the tree depends on the grouping braces { ...
> }.
>
>
>
>
> On Tue, Oct 22, 2013 at 12:04 PM, William Hanson  wrote:
>
>>  Dear LyX Colleagues,
>>
>>  I'm trying to create tableau proofs, which are branching columns of
>> text, as illustrated in the attachment.  Examples can also be found in
>> Melvin Fitting and Richard Mendelsohn, *First-Order Modal Logic*,
>> Kluwer, 1998.  Any help  will be appreciated.
>>
>>  Bill Hanson
>>
>
>
>
>  --
> Ernesto Posse
>
> Modelling and Analysis in Software Engineering
> School of Computing
> Queen's University - Kingston, Ontario, Canada
>
>
>

Re: Logic: Tableau Proofs

2013-10-22 Thread Richard Heck 

On 10/22/2013 02:44 PM, William Hanson wrote:
Thanks for the information on creating tableaus. However everything 
I've seen so far assumes the user knows LaTeX.  I've been using LyX 
for several years, but I've never used LaTeX itself.  I'd really 
rather not spend  time learning it just to put a few tableau proofs 
into a much longer LyX document.  Any way of creating tableaus 
directly in LyX?


No, not at the moment, anyway. There's no native LyX support for this 
sort of thing. But it should be possible to follow the examples.


rh




On Tue, Oct 22, 2013 at 12:36 PM, Richard Heck > wrote:



There are lots of useful resources about this here:
http://www.logicmatters.net/latex-for-logicians/trees/

Richard


On 10/22/2013 12:37 PM, Ernesto Posse wrote:

Hello. The easiest (and nicest) way to do this is using the tikz
package: in the preamble put

\usepackage{tikz}

and then, wherever you want the tableau, put in a TeX box the
following:

\def\land{\wedge}

\def\lor{\vee}

\def\limp{\to}

\begin{tikzpicture}

\node {$\{\neg ((p \lor (p \land q)) \limp p)\}$}

child {node {$\{p \lor (p \land q), \neg p\}$}

child {node {$\{p\}$}}

child {node {$\{p \land q\}$}

child {node {$\{p,q\}$;

\end{tikzpicture}


Note that the structure of the tree depends on the grouping
braces { ... }.




On Tue, Oct 22, 2013 at 12:04 PM, William Hanson > wrote:

Dear LyX Colleagues,

I'm trying to create tableau proofs, which are branching
columns of text, as illustrated in the attachment.  Examples
can also be found in Melvin Fitting and Richard Mendelsohn,
/First-Order Modal Logic/, Kluwer, 1998.  Any help  will be
appreciated.

Bill Hanson




-- 
Ernesto Posse


Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada

Re: LyX XMPP-Enhanced Chat

2013-10-22 Thread Tommaso Cucinotta 
Also, I made another video

  http://www.youtube.com/watch?v=n0Xfi8Ohx7Y

to show better how it works in the lyx-to-lyx and lyx-to-Pidgin cases.
I hope you like both the patch & the video, which is a bit dedicated to Ireland 
:-)!

T.

On 22/10/13 00:43, Tommaso Cucinotta wrote:
> On 21/10/13 05:54, Scott Kostyshak wrote:
>> On Sun, Oct 20, 2013 at 8:54 PM, Tommaso Cucinotta  wrote:
>>
>>> Comments are welcome of course, as always.
>>
>> Only that this looks cool :)
> 
> If people like it, as I do, we could fine-tune it to get it in for the next 
> major release ?
> 
> Let me recap current behaviour:
> a) launch the buddies pane
> b) enter login id, enter, a dialog pops up asking password (all these are 
> skipped once u save your credentials -- still to be added to the patch)
> b1) your buddies show up in the buddies pane
> c) double-click one of your buddies, you get your buddy-dedicated chat file 
> opened in ~/.lyx/chats/.lyx, plus a chat line on the bottom where u 
> type
> d) everything u type in the chat bar, as well as received from remote, is 
> appended to the buddy specific chat file and auto-saved
> e) if u want to shut down net activity, click on disconnect (u can click on 
> connect to get back on-line)
> f) you can alter your availability/status from the status drop-down box 
> (unimplemented yet)
> 
> No capability whatsoever to manage buddies, for now you can do that with 
> Pidgin or other clients.
> 
> Among todos, a few nice icons to highlight online/available vs 
> offline/unavailable buddies to be added in the buddies pane.
> 
> Chat files are regular lyx files. You can also edit them while chatting or 
> while off-line, or delete them etc. They're supposed to keep history (I know, 
> problems should they grow unbounded, but for now...). You can copy/paste back 
> and forth across your local files and the chat files/buffers.
> 
> Text is tx-ed to the other end as exported LaTeX segment corresponding to the 
> paragraph you type, then imported back using Buffer::importString(). You can 
> send maths, tables, formats, headings, but if you try to send external 
> material such as a picture, the file is NOT tx-ed. Also, it should all be ok 
> with default doc settings. If u change them (notably, the doc class), then u 
> can create inconsistencies between the local and remote views (perhaps styles 
> that make sense here but not there etc...). For now, text is auto-tx-ed when 
> you type Enter, but this can be changed if deemed useful.
> 
> Any comments, given the above ?
> 
>   T.
>

why people give up on open source software

2013-10-22 Thread Richard Talley 
I originally picked up on LyX because I needed to produce some technical
manuals quickly that looked good to management and that didn't make me deal
with the WYSIWYG nightmares of Word and its ilk.

LyX really came through for me.

Now I'm helping a friend apply to graduate school. I used the KOMA-script
v. 2 letter class to typeset his letter of intent. Looks good!

Now on to the résumé. Let's see what's available. ModernCV looks good,
under development for seven years.

Except it won't accept last names much longer than the author's name
without hyphenation. Searching produces lot's of hacks to deal with this.

Run the example that comes with LyX. Note in example says, 'The moderncv
class offers lots of customization possibilities; some are explained in the
preamble of this document; for more information look at the documentation
of the LaTeX-package moderncv.'

Yeah, right. The README for moderncv is very short and includes this: 'Until
a decent manual is written, you can always look in the "examples" directory
for some examples. Documents can be compiled into dvi, ps or pdf.'

The example LyX file points to documentation that doesn't actually exist.
There is no 'more information'. Nothing is explained. Seven years of
development and there's nothing that Aunt Tillie can use.

I know what I'm going to hear, 'Do it yourself', 'That's how open source
works'. I agree. Perhaps I'll find the time to work on the documentation.
In the meantime, I need to produce a document NOW, not work on the
documentation for the tool to produce the document.

Lesson: Please don't point to ghost documentation. If you have the time to
produce something that you expect people to use, you need to make the time
to explain how to use it.

(Disclaimer: this doesn't apply to LyX itself, which is richly documented.
Just to accessories to LyX and to open source generally.)

-- Rich