Re: lyx 2.0.6 debian failes to run

[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

  

   engelm...@uni-tuebingen.de wrote:

I am sorry to bother you with this off topic issue, but it hinders

me

   

to use Lyx at the moment.

   

   

   

Any suggestions/proposals are very welcome and appreciated

  

   I'm surprised this isn't causing more problems besides LyX and cd

  

   wexpansion. This could be very bad.

  

  

  

   I don't know enough to have any advice on solving the main problem

  

   you're experiencing. If you are really only concerned about LyX (you

  

   should be concerned about more, IMO), you could try running LyX as

  

   root to see if it has the same problem.

 

  Good idea, Scott. Under root it runs without problems. Would it help

  if I create a new user and try it there until I have solved the

  (non-Lyx) issue under my current Home (or Homes)?



 Ah. So either you have a permissions problem with some file LyX needs

 (this should not happen, but...), or there is something in your

 $HOME/.lyx directory that is messing things up. When you run as root,

 it only looks in /root/.lyx, creating what it needs if necessary.



 Try this. Rename your $HOME/.lyx directory to something else, then run

 LyX as your usual username. If things work (after a setup timelag),

 then there is just some messed up configuration file.

This is the terminal output after following your suggestion:

wolfgang@wolfgang:~$ Fontconfig warning: 
/etc/fonts/conf.d/65-droid-sans-fonts.conf, line 103: Having 
multiple values in test isn't supported and may not work as expected


Fontconfig warning: /etc/fonts/conf.d/65-droid-sans-fonts.conf, line 
138: Having multiple values in test isn't supported and may not work 
as expected


LyX: Erstellen des Verzeichnisses /home/wolfgang/.lyx/

LyX: Konfiguriere das Benutzerverzeichnis neu

Running: python -tt /usr/share/lyx/configure.py

Traceback (most recent call last):

File /usr/share/lyx/configure.py, line 17, in module

filemode = 'w')

File /usr/lib/python2.7/logging/__init__.py, line 1530, in basicConfig

hdlr = FileHandler(filename, mode)

File /usr/lib/python2.7/logging/__init__.py, line 903, in __init__

StreamHandler.__init__(self, self._open())

File /usr/lib/python2.7/logging/__init__.py, line 926, in _open

stream = open(self.baseFilename, self.mode)

IOError: [Errno 13] Permission denied: '/home/wolfgang/configure.log'

support/Systemcall.cpp (273): Systemcall: 'python -tt 
/usr/share/lyx/configure.py' finished with exit code 1


LyX: Fertig!

LayoutFile.cpp (107): LayoutFileList::Read: unable to find textclass 
file `textclass.lst'.


LayoutFile.cpp (164): LayoutFileList::Read: no textclasses found!

ModuleList.cpp (136): unable to find modules file `lyxmodules.lst'.

No modules will be available.

Could not create cache directory `/home/wolfgang/.lyx/cache'.

I waited for about 10 minutes, but lyx was not started. I therefore 
rebooted, but the result was again that lyx did not start. Terminal 
output similar to the above one:


wolfgang@wolfgang:~$ lyx 

[1] 4419

wolfgang@wolfgang:~$ Fontconfig warning: 
/etc/fonts/conf.d/65-droid-sans-fonts.conf, line 103: Having 
multiple values in test isn't supported and may not work as expected


Fontconfig warning: /etc/fonts/conf.d/65-droid-sans-fonts.conf, line 
138: Having multiple values in test isn't supported and may not work 
as expected


LyX: Konfiguriere das Benutzerverzeichnis neu

Running: python -tt /usr/share/lyx/configure.py

Traceback (most recent call last):

File /usr/share/lyx/configure.py, line 17, in module

filemode = 'w')

File /usr/lib/python2.7/logging/__init__.py, line 1530, in basicConfig

hdlr = FileHandler(filename, mode)

File /usr/lib/python2.7/logging/__init__.py, line 903, in __init__

StreamHandler.__init__(self, self._open())

File /usr/lib/python2.7/logging/__init__.py, line 926, in _open

stream = open(self.baseFilename, self.mode)

IOError: [Errno 13] Permission denied: '/home/wolfgang/configure.log'

support/Systemcall.cpp (273): Systemcall: 'python -tt 
/usr/share/lyx/configure.py' finished with exit code 1


LyX: Fertig!

LayoutFile.cpp (107): LayoutFileList::Read: unable to find textclass 
file `textclass.lst'.


LayoutFile.cpp (164): LayoutFileList::Read: no textclasses found!

ModuleList.cpp (136): unable to find modules file `lyxmodules.lst'.

No modules will be available.

Could not create cache directory `/home/wolfgang/.lyx/cache'.

I do not find the configure.log in my home (wanted to check the 
permission)




That is a file LyX wants to create, and it is being denied permissions 
to do so.


It looks as if you may have some very bad permissions problems in your 
configuration. Can you do:


# ls -l /

and post the complete 

migrating (soon to be) old beamer files

[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)

[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
tableaux. It can be done in tikz, but it needs additional constructs that I
have not shown in my previous examples. So the question is whether in your
modal logic the tableau construction rules create loops or not.

Since you want to be able to make your own tableaux you will need to learn
a little bit of LaTeX, as I said before. I will try to put together a mini
crash course on the things that you'll need, but in the end you'll need to
do a bit more than just copy-and-paste in order to get what you want. I'll
post the notes here later on. In the meantime you can try the examples, and
try tweaking bits of the code to see what happens.



On Wed, Nov 6, 2013 at 6:12 PM, William Hanson whan...@umn.edu wrote:

 Ernesto,

 I'm writing a paper using LyX, and I need to insert several specific
 tableaus into it.  Using your numbers:

 1) I do not want to add just *any* tableau example.

 2) I do want to add several specific tableaus containing particular
 formulas.  Probably just five or six such tableaus, each of which would
 occupy ten to twenty lines of text.  (By a line of text, I mean a
 horizontal line across the page in the finished, PDF version.  Such a line
 might of course include characters from more that one branch.  In the
 example called Sample Tableau, attached to an earlier message in this
 string, I count 12 horizontal lines of text in the leftmost branch (not
 counting the slanted lines that indicate branching).)

 3) My original idea was indeed to learn to make my own tableaus so that I
 could accomplish 2.

 When you ask which logic? I assume you're asking which object-language
 formulas will appear (with some additional prefixes and suffixes) as items
 in the tableaus.  The answer is:  first-order modal logic plus a lambda
 operator for predicate abstraction.  That is the object language used in
 the Sample Tableau attachment, except that the formulas in the Sample
 Tableau don't happen to contain any modal connectives.  (The modal
 connectives I'm using are the box and the diamond.)

 I've been pressed for time the last few days, so I haven't yet had a
 chance to try the suggestions you made on Nov 4, or the ones you make today
 (Nov 6).  I'll do so tomorrow and let you know what happens.

 Thanks,

 Bill


 On Wed, Nov 6, 2013 at 12:46 PM, Ernesto Posse epo...@cs.queensu.cawrote:

 Didn't my last suggestions help?

 I am still unsure about whether you want to 1) add *any* tableau example,
 2) add a specific tableau (i.e., a particular example that you have in mind
 with particular formulas), or 3) be able to make your own tableaux. If it
 is 1 or 2, which logic? Please clarify.

 In terms of tools, I'm afraid that there is no tool, to the best of my
 knowledge, that allows you to make tableaux with absolutely no knowledge of
 LaTeX. Even if you try to use a drawing program for this purpose, you'll
 have to write at least the formulas in LaTeX, and it is quite tricky to
 embed formulas in such drawing tools. So if you want to be able to create
 your own, I'm afraid you'll have to learn a little bit.

 As for your example, try doing the following:

 1. In LyX: open your file; go to Document-Settings..-LaTeX Preamble
 and enter the following:

 \usepackage{tikz}

 \def\land{\wedge}
 \def\lor{\vee}
 \def\limp{\to}
 \def\closed{\times}

 2. Open Notepad and enter the following (keep the spaces at the beginning
 of each line):

 \begin{minipage}{1\columnwidth}%
 \begin{center}
  \begin{tikzpicture}
 [level distance=1.5cm,
  level 1/.style={sibling distance=2cm},
  every child node/.style={anchor=north},
  every child/.style={parent anchor=south}]
 \node {\begin{minipage}{4cm}%
  \begin{center}
  $1~\neg ((p \lor (p \land q)) \limp p)$\\
  $1~p \lor (p \land q)$\\
  $1~\neg p $
  \end{center}
\end{minipage}}
 child {node {\begin{minipage}{0.5cm}%
\begin{center}
$1~p$\\
$\closed$
\end{center}
  \end{minipage}}}
  child {node {\begin{minipage}{1.5cm}%
\begin{center}
$1~p \land q$\\
$1~p$\\
$1~q$\\
$\closed$
\end{center}
  \end{minipage}}};
 \end{tikzpicture}
 \end{center}
 \end{minipage}

 Save this file as tableau_example.tex in the same folder as your LyX
 file.

 3. On LyX, go to the part of your file where 

Rendering of LyX's math screen fonts.

[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 working 
of LyX to really identify the subject...

Anyway, whenever I'm editing a mathematical equation and have a need for a 
symbol not included in the standard latex and AMStex sets, I have to look for 
it elsewhere. 

A good place to look for new symbols is the 'The Comprehensive LaTeX Symbol 
List'
http://mirror.ctan.org/info/symbols/comprehensive/symbols-a4.pdf
So, if I want the \partialslash symbol, I have to edit the preamble and 
insert \usepackage{mathabx}.  If I want the double square bracket delimiters 
\ldbrack and \rdbrack, I have to \usepackage{txfonts}, and so forth. 
It works fine to generate the exported document in PDF or PS and also with 
Instant Preview.  However, the math equation editor (or math mode) does not 
render non-AMS/latex symbols, but leaves them as ERT's.

That's ok if you are creating a document with LyX, but for those of us that use 
LyX to make mathematical calculations as well, the rendition of all symbols 
goes a long way to facilitate the visualization of the mathematical expression.

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, these enhancements will have an effect on 
IP and on the exported document.  Seems to me that the math editor will still 
use the same screen fonts.  Or am I wrong?
-- 
Rudi Gaelzer
Institute of Physics
Federal University of Rio Grande do Sul
BRAZIL
Registered linux user # 153741

Re: migrating (soon to be) old beamer files

[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 an old LyX installation in addition to
 the new one)?

The old files will be converted to the new scheme. If you have files were the 
conversion fails, please send them.

Jürgen

Re: Logic: Tableau Proofs (trees)

[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 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
 tableaux. It can be done in tikz, but it needs additional constructs that I
 have not shown in my previous examples. So the question is whether in your
 modal logic the tableau construction rules create loops or not.

 Since you want to be able to make your own tableaux you will need to learn
 a little bit of LaTeX, as I said before. I will try to put together a mini
 crash course on the things that you'll need, but in the end you'll need to
 do a bit more than just copy-and-paste in order to get what you want. I'll
 post the notes here later on. In the meantime you can try the examples, and
 try tweaking bits of the code to see what happens.



 On Wed, Nov 6, 2013 at 6:12 PM, William Hanson whan...@umn.edu wrote:

 Ernesto,

 I'm writing a paper using LyX, and I need to insert several specific
 tableaus into it.  Using your numbers:

 1) I do not want to add just *any* tableau example.

 2) I do want to add several specific tableaus containing particular
 formulas.  Probably just five or six such tableaus, each of which would
 occupy ten to twenty lines of text.  (By a line of text, I mean a
 horizontal line across the page in the finished, PDF version.  Such a line
 might of course include characters from more that one branch.  In the
 example called Sample Tableau, attached to an earlier message in this
 string, I count 12 horizontal lines of text in the leftmost branch (not
 counting the slanted lines that indicate branching).)

 3) My original idea was indeed to learn to make my own tableaus so that I
 could accomplish 2.

 When you ask which logic? I assume you're asking which object-language
 formulas will appear (with some additional prefixes and suffixes) as items
 in the tableaus.  The answer is:  first-order modal logic plus a lambda
 operator for predicate abstraction.  That is the object language used in
 the Sample Tableau attachment, except that the formulas in the Sample
 Tableau don't happen to contain any modal connectives.  (The modal
 connectives I'm using are the box and the diamond.)

 I've been pressed for time the last few days, so I haven't yet had a
 chance to try the suggestions you made on Nov 4, or the ones you make today
 (Nov 6).  I'll do so tomorrow and let you know what happens.

 Thanks,

 Bill


 On Wed, Nov 6, 2013 at 12:46 PM, Ernesto Posse epo...@cs.queensu.cawrote:

 Didn't my last suggestions help?

 I am still unsure about whether you want to 1) add *any* tableau
 example, 2) add a specific tableau (i.e., a particular example that you
 have in mind with particular formulas), or 3) be able to make your own
 tableaux. If it is 1 or 2, which logic? Please clarify.

 In terms of tools, I'm afraid that there is no tool, to the best of my
 knowledge, that allows you to make tableaux with absolutely no knowledge of
 LaTeX. Even if you try to use a drawing program for this purpose, you'll
 have to write at least the formulas in LaTeX, and it is quite tricky to
 embed formulas in such drawing tools. So if you want to be able to create
 your own, I'm afraid you'll have to learn a little bit.

 As for your example, try doing the following:

 1. In LyX: open your file; go to Document-Settings..-LaTeX Preamble
 and enter the following:

 \usepackage{tikz}

 \def\land{\wedge}
 \def\lor{\vee}
 \def\limp{\to}
 \def\closed{\times}

 2. Open Notepad and enter the following (keep the spaces at the
 beginning of each line):

 \begin{minipage}{1\columnwidth}%
 \begin{center}
  \begin{tikzpicture}
 [level distance=1.5cm,
  level 1/.style={sibling distance=2cm},
  every child node/.style={anchor=north},
  every child/.style={parent anchor=south}]
 \node {\begin{minipage}{4cm}%
  \begin{center}
  $1~\neg ((p \lor (p \land q)) \limp p)$\\
  $1~p \lor (p \land q)$\\
  $1~\neg p $
  \end{center}
\end{minipage}}
 child {node {\begin{minipage}{0.5cm}%
\begin{center}
$1~p$\\
$\closed$
\end{center}
  \end{minipage}}}
  child {node {\begin{minipage}{1.5cm}%
\begin{center}
$1~p \land q$\\
$1~p$\\
$1~q$\\
$\closed$
\end{center}
  \end{minipage}}};
 \end{tikzpicture}
 

Re: lyx 2.0.6 debian failes to run

[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 wrote:

   On Wed, Nov 6, 2013 at 3:20 AM, Wolfgang Engelmann

  

   engelm...@uni-tuebingen.de wrote:

I am sorry to bother you with this off topic issue, but it hinders

me

   

to use Lyx at the moment.

   

   

   

Any suggestions/proposals are very welcome and appreciated

  

   I'm surprised this isn't causing more problems besides LyX and cd

  

   wexpansion. This could be very bad.

  

  

  

   I don't know enough to have any advice on solving the main problem

  

   you're experiencing. If you are really only concerned about LyX (you

  

   should be concerned about more, IMO), you could try running LyX as

  

   root to see if it has the same problem.

 

  Good idea, Scott. Under root it runs without problems. Would it help

  if I create a new user and try it there until I have solved the

  (non-Lyx) issue under my current Home (or Homes)?



 Ah. So either you have a permissions problem with some file LyX needs

 (this should not happen, but...), or there is something in your

 $HOME/.lyx directory that is messing things up. When you run as root,

 it only looks in /root/.lyx, creating what it needs if necessary.



 Try this. Rename your $HOME/.lyx directory to something else, then run

 LyX as your usual username. If things work (after a setup timelag),

 then there is just some messed up configuration file.



 This is the terminal output after following your suggestion:



 wolfgang@wolfgang:~$ Fontconfig warning:
 /etc/fonts/conf.d/65-droid-sans-fonts.conf, line 103: Having multiple
 values in test isn't supported and may not work as expected

 Fontconfig warning: /etc/fonts/conf.d/65-droid-sans-fonts.conf, line 138:
 Having multiple values in test isn't supported and may not work as
 expected

 LyX: Erstellen des Verzeichnisses /home/wolfgang/.lyx/

 LyX: Konfiguriere das Benutzerverzeichnis neu



 Running: python -tt /usr/share/lyx/configure.py

 Traceback (most recent call last):

 File /usr/share/lyx/configure.py, line 17, in module

 filemode = 'w')

 File /usr/lib/python2.7/logging/__init__.py, line 1530, in basicConfig

 hdlr = FileHandler(filename, mode)

 File /usr/lib/python2.7/logging/__init__.py, line 903, in __init__

 StreamHandler.__init__(self, self._open())

 File /usr/lib/python2.7/logging/__init__.py, line 926, in _open

 stream = open(self.baseFilename, self.mode)

 IOError: [Errno 13] Permission denied: '/home/wolfgang/configure.log'

 support/Systemcall.cpp (273): Systemcall: 'python -tt
 /usr/share/lyx/configure.py' finished with exit code 1

 LyX: Fertig!

 LayoutFile.cpp (107): LayoutFileList::Read: unable to find textclass file
 `textclass.lst'.

 LayoutFile.cpp (164): LayoutFileList::Read: no textclasses found!

 ModuleList.cpp (136): unable to find modules file `lyxmodules.lst'.

 No modules will be available.

 Could not create cache directory `/home/wolfgang/.lyx/cache'.



 I waited for about 10 minutes, but lyx was not started. I therefore
 rebooted, but the result was again that lyx did not start. Terminal output
 similar to the above one:



 wolfgang@wolfgang:~$ lyx 

 [1] 4419

 wolfgang@wolfgang:~$ Fontconfig warning:
 /etc/fonts/conf.d/65-droid-sans-fonts.conf, line 103: Having multiple
 values in test isn't supported and may not work as expected

 Fontconfig warning: /etc/fonts/conf.d/65-droid-sans-fonts.conf, line 138:
 Having multiple values in test isn't supported and may not work as
 expected

 LyX: Konfiguriere das Benutzerverzeichnis neu



 Running: python -tt /usr/share/lyx/configure.py

 Traceback (most recent call last):

 File /usr/share/lyx/configure.py, line 17, in module

 filemode = 'w')

 File /usr/lib/python2.7/logging/__init__.py, line 1530, in basicConfig

 hdlr = FileHandler(filename, mode)

 File /usr/lib/python2.7/logging/__init__.py, line 903, in __init__

 StreamHandler.__init__(self, self._open())

 File /usr/lib/python2.7/logging/__init__.py, line 926, in _open

 stream = open(self.baseFilename, self.mode)

 IOError: [Errno 13] Permission denied: '/home/wolfgang/configure.log'

 support/Systemcall.cpp (273): Systemcall: 'python -tt
 /usr/share/lyx/configure.py' finished with exit code 1

 LyX: Fertig!

 LayoutFile.cpp (107): LayoutFileList::Read: unable to find textclass file
 `textclass.lst'.

 LayoutFile.cpp (164): LayoutFileList::Read: no textclasses found!

 ModuleList.cpp (136): unable to find modules file `lyxmodules.lst'.

 No modules will be available.

 Could not create cache directory `/home/wolfgang/.lyx/cache'.



 I do not find the configure.log in my home (wanted to check the permission)


 That is a file LyX wants to create, and it is being denied permissions to do
 so.

 It looks as if you 

Re: problem with centering tables with JASA template

[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 to do the job properly
 on the centering of the table. I am not sure why this as I think they both
 use the same cls file. I enclose 2 examples trying to do the same thing with
 the 2 different templates.

Dear Benoît,

Please respond to the list (others may have your same problem in the
future and will find this discussion when searching; and others might
have time to help). I'm reattaching the two files you sent.

Good detective work. If what you said is correct, then it sounds like
it's a bug in the LyX layout file. I suppose now it is just a question
of figuring out which difference in the two layout files is causing
the difference in behavior. I don't have time to look into this
further.

Best,

Scott


example_JASA_centering_table_bad.lyx
Description: application/lyx


example_JASA_centering_table_good.lyx
Description: application/lyx

Trying to unterstand Beamer overlay-Prinzip

[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 ?

Thanks

uwe

Trying to unterstand Beamer overlay-Prinzip

[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 ?

Thanks

uwe

Re: Rendering of LyX's math screen fonts.

[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, these enhancements will
 have an effect on IP and on the exported document.  Seems to me that the
 math editor will still use the same screen fonts.  Or am I wrong?

You are right, the mentioned features do not affect the look of the math 
editor. However, there are some new symbols in 2.1, mainly from stmaryrd.sty 
and mathtools.sty. To some extent you can also add some on your own: The 
screen appearance of math symbols is defined in the file lib/symbols, which 
contains some very basic documentation for 2.1.
Basically, there are three kinds of symbol definitions in that file:

1) symbols supported by special insets (like the decorations)
2) symbols supported by fonts (like the ones from fontmath.ltx)
3) symbols without any builtin support

Adding symbols of type 1) and 2) requires some programming in LyX, and 2) 
requires also a true type font containing the symbols in a certain order, 
but symbols of type 3) can easily be added by users: All lines starting with 
\def are of this kind. For example, you could define \partialslash like 
this:

\def\partialslash{\partial\kern-12mu/}

The slash is a bit too short, but maybe there is a longer one already 
supported by mathed, which you could use instead. Although this looks like a 
TeX macro definition, it is not used for the output, only for display in 
LyX. There is basically no documentation how exactly this \def works, you 
have to use trial and error. You could also make the mathabx package load 
automatically if this symbol is used (works only for packages in the 
compiled in feature list of LyX, and mathabx is in there):

\def\partialslash{\partial\kern-12mu/} mathabx

I strongly advise against doing so, because this makes your LyX document 
depend on your personal installation, and it would not typeset on vanilla 
installations. This feature is rather for symbols distributed with the 
official symbols file.

Finally, if you want some symbols to appear officially in LyX, you could add 
them to bug , but please note that font changing packages like txfonts 
will not be used.


Georg


PS: It is funny that you also use the math editor for calculations. I used 
to do that a lot for my thesis, but always thought I was the only one.

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

[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 of LyX.

Jerry

On Nov 7, 2013, at 1:30 PM, Georg Baum georg.b...@post.rwth-aachen.de wrote:

 PS: It is funny that you also use the math editor for calculations. I used 
 to do that a lot for my thesis, but always thought I was the only one.

Exporting to arXiv.org

[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 Google (old and doesn't work any more). Surely some
LyX user must know the magic incantations to make Tex output that
arXiv.org will accept!

-Mike Manthey

Re: Exporting to arXiv.org

[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 they have 
accepted LyX-generated LaTeX from me in the past. They don't want pdf 
files that have been generated by TeX; they can determine that by 
(usually) the beginning of the pdf file and then dump it back to you.  
This has to do with fonts; some fonts don't display pdf well on all 
possible machines.

  The only LYX output
option that gets through arXiv's automated filter is html, which then
entails hand editing to make presentable.
I would not consider that reasonable.  Try exporting to plain LaTeX.  
That should work.  Submit diagrams as separate files. Submit 
bibliographies generated by bibtex by running latex, then bibtex.  Also, 
make sure all necessary files are found from the same directory.

  Yet I can find only one
mention of this on Google (old and doesn't work any more). Surely some
LyX user must know the magic incantations to make Tex output that
arXiv.org will accept!


The easiest is if you don't have a separate bibtex file, and if you have 
no diagrams.  Then the export to plain LaTeX should be all they need.


If it doesn't work, contact me off-list and I will try to help.

--
 
David L. Johnson

Department of Mathematics
Lehigh University

Re: Exporting to arXiv.org

[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 case of am. phys. soc. journals that was discussed here 
recently.

Re: Trying to unterstand Beamer overlay-Prinzip

[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 this purpose.

Jürgen

Re: lyx 2.0.6 debian failes to run

[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:
 On Wed, Nov 6, 2013 at 3:20 AM, Wolfgang Engelmann
 
 engelm...@uni-tuebingen.de wrote:
  I am sorry to bother you with this off topic issue, but it
  hinders
  
  me
  
  
  
  to use Lyx at the moment.
  
  
  
  
  
  
  
  Any suggestions/proposals are very welcome and appreciated
 
 I'm surprised this isn't causing more problems besides LyX and
 cd
 
 
 
 wexpansion. This could be very bad.
 
 
 
 
 
 
 
 I don't know enough to have any advice on solving the main
 problem
 
 
 
 you're experiencing. If you are really only concerned about LyX
 (you
 
 
 
 should be concerned about more, IMO), you could try running LyX
 as
 
 
 
 root to see if it has the same problem.

Good idea, Scott. Under root it runs without problems. Would it
help

if I create a new user and try it there until I have solved the

(non-Lyx) issue under my current Home (or Homes)?
   
   Ah. So either you have a permissions problem with some file LyX
   needs
   
   (this should not happen, but...), or there is something in your
   
   $HOME/.lyx directory that is messing things up. When you run as
   root,
   
   it only looks in /root/.lyx, creating what it needs if necessary.
   
   
   
   Try this. Rename your $HOME/.lyx directory to something else, then
   run
   
   LyX as your usual username. If things work (after a setup timelag),
   
   then there is just some messed up configuration file.
  
  This is the terminal output after following your suggestion:
  
  wolfgang@wolfgang:~$ Fontconfig warning:
  /etc/fonts/conf.d/65-droid-sans-fonts.conf, line 103: Having
  multiple values in test isn't supported and may not work as expected
  
  Fontconfig warning: /etc/fonts/conf.d/65-droid-sans-fonts.conf, line
  138: Having multiple values in test isn't supported and may not work
  as expected
  
  LyX: Erstellen des Verzeichnisses /home/wolfgang/.lyx/
  
  LyX: Konfiguriere das Benutzerverzeichnis neu
  
  Running: python -tt /usr/share/lyx/configure.py
  
  Traceback (most recent call last):
  
  File /usr/share/lyx/configure.py, line 17, in module
  
  filemode = 'w')
  
  File /usr/lib/python2.7/logging/__init__.py, line 1530, in
  basicConfig
  
  hdlr = FileHandler(filename, mode)
  
  File /usr/lib/python2.7/logging/__init__.py, line 903, in __init__
  
  StreamHandler.__init__(self, self._open())
  
  File /usr/lib/python2.7/logging/__init__.py, line 926, in _open
  
  stream = open(self.baseFilename, self.mode)
  
  IOError: [Errno 13] Permission denied: '/home/wolfgang/configure.log'
  
  support/Systemcall.cpp (273): Systemcall: 'python -tt
  /usr/share/lyx/configure.py' finished with exit code 1
  
  LyX: Fertig!
  
  LayoutFile.cpp (107): LayoutFileList::Read: unable to find textclass
  file `textclass.lst'.
  
  LayoutFile.cpp (164): LayoutFileList::Read: no textclasses found!
  
  ModuleList.cpp (136): unable to find modules file `lyxmodules.lst'.
  
  No modules will be available.
  
  Could not create cache directory `/home/wolfgang/.lyx/cache'.
  
  I waited for about 10 minutes, but lyx was not started. I therefore
  rebooted, but the result was again that lyx did not start. Terminal
  output similar to the above one:
  
  wolfgang@wolfgang:~$ lyx 
  
  [1] 4419
  
  wolfgang@wolfgang:~$ Fontconfig warning:
  /etc/fonts/conf.d/65-droid-sans-fonts.conf, line 103: Having
  multiple values in test isn't supported and may not work as expected
  
  Fontconfig warning: /etc/fonts/conf.d/65-droid-sans-fonts.conf, line
  138: Having multiple values in test isn't supported and may not work
  as expected
  
  LyX: Konfiguriere das Benutzerverzeichnis neu
  
  Running: python -tt /usr/share/lyx/configure.py
  
  Traceback (most recent call last):
  
  File /usr/share/lyx/configure.py, line 17, in module
  
  filemode = 'w')
  
  File /usr/lib/python2.7/logging/__init__.py, line 1530, in
  basicConfig
  
  hdlr = FileHandler(filename, mode)
  
  File /usr/lib/python2.7/logging/__init__.py, line 903, in __init__
  
  StreamHandler.__init__(self, self._open())
  
  File /usr/lib/python2.7/logging/__init__.py, line 926, in _open
  
  stream = open(self.baseFilename, self.mode)
  
  IOError: [Errno 13] Permission denied: '/home/wolfgang/configure.log'
  
  support/Systemcall.cpp (273): Systemcall: 'python -tt
  /usr/share/lyx/configure.py' finished with exit code 1
  
  LyX: Fertig!
  
  LayoutFile.cpp (107): LayoutFileList::Read: unable to find textclass
  file `textclass.lst'.
  
  LayoutFile.cpp (164): 

Re: lyx 2.0.6 debian failes to run

[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

  

   engelm...@uni-tuebingen.de wrote:

I am sorry to bother you with this off topic issue, but it hinders

me

   

to use Lyx at the moment.

   

   

   

Any suggestions/proposals are very welcome and appreciated

  

   I'm surprised this isn't causing more problems besides LyX and cd

  

   wexpansion. This could be very bad.

  

  

  

   I don't know enough to have any advice on solving the main problem

  

   you're experiencing. If you are really only concerned about LyX (you

  

   should be concerned about more, IMO), you could try running LyX as

  

   root to see if it has the same problem.

 

  Good idea, Scott. Under root it runs without problems. Would it help

  if I create a new user and try it there until I have solved the

  (non-Lyx) issue under my current Home (or Homes)?



 Ah. So either you have a permissions problem with some file LyX needs

 (this should not happen, but...), or there is something in your

 $HOME/.lyx directory that is messing things up. When you run as root,

 it only looks in /root/.lyx, creating what it needs if necessary.



 Try this. Rename your $HOME/.lyx directory to something else, then run

 LyX as your usual username. If things work (after a setup timelag),

 then there is just some messed up configuration file.

This is the terminal output after following your suggestion:

wolfgang@wolfgang:~$ Fontconfig warning: 
/etc/fonts/conf.d/65-droid-sans-fonts.conf, line 103: Having 
multiple values in test isn't supported and may not work as expected


Fontconfig warning: /etc/fonts/conf.d/65-droid-sans-fonts.conf, line 
138: Having multiple values in test isn't supported and may not work 
as expected


LyX: Erstellen des Verzeichnisses /home/wolfgang/.lyx/

LyX: Konfiguriere das Benutzerverzeichnis neu

Running: python -tt /usr/share/lyx/configure.py

Traceback (most recent call last):

File /usr/share/lyx/configure.py, line 17, in module

filemode = 'w')

File /usr/lib/python2.7/logging/__init__.py, line 1530, in basicConfig

hdlr = FileHandler(filename, mode)

File /usr/lib/python2.7/logging/__init__.py, line 903, in __init__

StreamHandler.__init__(self, self._open())

File /usr/lib/python2.7/logging/__init__.py, line 926, in _open

stream = open(self.baseFilename, self.mode)

IOError: [Errno 13] Permission denied: '/home/wolfgang/configure.log'

support/Systemcall.cpp (273): Systemcall: 'python -tt 
/usr/share/lyx/configure.py' finished with exit code 1


LyX: Fertig!

LayoutFile.cpp (107): LayoutFileList::Read: unable to find textclass 
file `textclass.lst'.


LayoutFile.cpp (164): LayoutFileList::Read: no textclasses found!

ModuleList.cpp (136): unable to find modules file `lyxmodules.lst'.

No modules will be available.

Could not create cache directory `/home/wolfgang/.lyx/cache'.

I waited for about 10 minutes, but lyx was not started. I therefore 
rebooted, but the result was again that lyx did not start. Terminal 
output similar to the above one:


wolfgang@wolfgang:~$ lyx 

[1] 4419

wolfgang@wolfgang:~$ Fontconfig warning: 
/etc/fonts/conf.d/65-droid-sans-fonts.conf, line 103: Having 
multiple values in test isn't supported and may not work as expected


Fontconfig warning: /etc/fonts/conf.d/65-droid-sans-fonts.conf, line 
138: Having multiple values in test isn't supported and may not work 
as expected


LyX: Konfiguriere das Benutzerverzeichnis neu

Running: python -tt /usr/share/lyx/configure.py

Traceback (most recent call last):

File /usr/share/lyx/configure.py, line 17, in module

filemode = 'w')

File /usr/lib/python2.7/logging/__init__.py, line 1530, in basicConfig

hdlr = FileHandler(filename, mode)

File /usr/lib/python2.7/logging/__init__.py, line 903, in __init__

StreamHandler.__init__(self, self._open())

File /usr/lib/python2.7/logging/__init__.py, line 926, in _open

stream = open(self.baseFilename, self.mode)

IOError: [Errno 13] Permission denied: '/home/wolfgang/configure.log'

support/Systemcall.cpp (273): Systemcall: 'python -tt 
/usr/share/lyx/configure.py' finished with exit code 1


LyX: Fertig!

LayoutFile.cpp (107): LayoutFileList::Read: unable to find textclass 
file `textclass.lst'.


LayoutFile.cpp (164): LayoutFileList::Read: no textclasses found!

ModuleList.cpp (136): unable to find modules file `lyxmodules.lst'.

No modules will be available.

Could not create cache directory `/home/wolfgang/.lyx/cache'.

I do not find the configure.log in my home (wanted to check the 
permission)




That is a file LyX wants to create, and it is being denied permissions 
to do so.


It looks as if you may have some very bad permissions problems in your 
configuration. Can you do:


# ls -l /

and post the complete 

migrating (soon to be) old beamer files

[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)

[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
tableaux. It can be done in tikz, but it needs additional constructs that I
have not shown in my previous examples. So the question is whether in your
modal logic the tableau construction rules create loops or not.

Since you want to be able to make your own tableaux you will need to learn
a little bit of LaTeX, as I said before. I will try to put together a mini
crash course on the things that you'll need, but in the end you'll need to
do a bit more than just copy-and-paste in order to get what you want. I'll
post the notes here later on. In the meantime you can try the examples, and
try tweaking bits of the code to see what happens.



On Wed, Nov 6, 2013 at 6:12 PM, William Hanson whan...@umn.edu wrote:

 Ernesto,

 I'm writing a paper using LyX, and I need to insert several specific
 tableaus into it.  Using your numbers:

 1) I do not want to add just *any* tableau example.

 2) I do want to add several specific tableaus containing particular
 formulas.  Probably just five or six such tableaus, each of which would
 occupy ten to twenty lines of text.  (By a line of text, I mean a
 horizontal line across the page in the finished, PDF version.  Such a line
 might of course include characters from more that one branch.  In the
 example called Sample Tableau, attached to an earlier message in this
 string, I count 12 horizontal lines of text in the leftmost branch (not
 counting the slanted lines that indicate branching).)

 3) My original idea was indeed to learn to make my own tableaus so that I
 could accomplish 2.

 When you ask which logic? I assume you're asking which object-language
 formulas will appear (with some additional prefixes and suffixes) as items
 in the tableaus.  The answer is:  first-order modal logic plus a lambda
 operator for predicate abstraction.  That is the object language used in
 the Sample Tableau attachment, except that the formulas in the Sample
 Tableau don't happen to contain any modal connectives.  (The modal
 connectives I'm using are the box and the diamond.)

 I've been pressed for time the last few days, so I haven't yet had a
 chance to try the suggestions you made on Nov 4, or the ones you make today
 (Nov 6).  I'll do so tomorrow and let you know what happens.

 Thanks,

 Bill


 On Wed, Nov 6, 2013 at 12:46 PM, Ernesto Posse epo...@cs.queensu.cawrote:

 Didn't my last suggestions help?

 I am still unsure about whether you want to 1) add *any* tableau example,
 2) add a specific tableau (i.e., a particular example that you have in mind
 with particular formulas), or 3) be able to make your own tableaux. If it
 is 1 or 2, which logic? Please clarify.

 In terms of tools, I'm afraid that there is no tool, to the best of my
 knowledge, that allows you to make tableaux with absolutely no knowledge of
 LaTeX. Even if you try to use a drawing program for this purpose, you'll
 have to write at least the formulas in LaTeX, and it is quite tricky to
 embed formulas in such drawing tools. So if you want to be able to create
 your own, I'm afraid you'll have to learn a little bit.

 As for your example, try doing the following:

 1. In LyX: open your file; go to Document-Settings..-LaTeX Preamble
 and enter the following:

 \usepackage{tikz}

 \def\land{\wedge}
 \def\lor{\vee}
 \def\limp{\to}
 \def\closed{\times}

 2. Open Notepad and enter the following (keep the spaces at the beginning
 of each line):

 \begin{minipage}{1\columnwidth}%
 \begin{center}
  \begin{tikzpicture}
 [level distance=1.5cm,
  level 1/.style={sibling distance=2cm},
  every child node/.style={anchor=north},
  every child/.style={parent anchor=south}]
 \node {\begin{minipage}{4cm}%
  \begin{center}
  $1~\neg ((p \lor (p \land q)) \limp p)$\\
  $1~p \lor (p \land q)$\\
  $1~\neg p $
  \end{center}
\end{minipage}}
 child {node {\begin{minipage}{0.5cm}%
\begin{center}
$1~p$\\
$\closed$
\end{center}
  \end{minipage}}}
  child {node {\begin{minipage}{1.5cm}%
\begin{center}
$1~p \land q$\\
$1~p$\\
$1~q$\\
$\closed$
\end{center}
  \end{minipage}}};
 \end{tikzpicture}
 \end{center}
 \end{minipage}

 Save this file as tableau_example.tex in the same folder as your LyX
 file.

 3. On LyX, go to the part of your file where 

Rendering of LyX's math screen fonts.

[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 working 
of LyX to really identify the subject...

Anyway, whenever I'm editing a mathematical equation and have a need for a 
symbol not included in the standard latex and AMStex sets, I have to look for 
it elsewhere. 

A good place to look for new symbols is the 'The Comprehensive LaTeX Symbol 
List'
http://mirror.ctan.org/info/symbols/comprehensive/symbols-a4.pdf
So, if I want the \partialslash symbol, I have to edit the preamble and 
insert \usepackage{mathabx}.  If I want the double square bracket delimiters 
\ldbrack and \rdbrack, I have to \usepackage{txfonts}, and so forth. 
It works fine to generate the exported document in PDF or PS and also with 
Instant Preview.  However, the math equation editor (or math mode) does not 
render non-AMS/latex symbols, but leaves them as ERT's.

That's ok if you are creating a document with LyX, but for those of us that use 
LyX to make mathematical calculations as well, the rendition of all symbols 
goes a long way to facilitate the visualization of the mathematical expression.

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, these enhancements will have an effect on 
IP and on the exported document.  Seems to me that the math editor will still 
use the same screen fonts.  Or am I wrong?
-- 
Rudi Gaelzer
Institute of Physics
Federal University of Rio Grande do Sul
BRAZIL
Registered linux user # 153741

Re: migrating (soon to be) old beamer files

[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 an old LyX installation in addition to
 the new one)?

The old files will be converted to the new scheme. If you have files were the 
conversion fails, please send them.

Jürgen

Re: Logic: Tableau Proofs (trees)

[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 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
 tableaux. It can be done in tikz, but it needs additional constructs that I
 have not shown in my previous examples. So the question is whether in your
 modal logic the tableau construction rules create loops or not.

 Since you want to be able to make your own tableaux you will need to learn
 a little bit of LaTeX, as I said before. I will try to put together a mini
 crash course on the things that you'll need, but in the end you'll need to
 do a bit more than just copy-and-paste in order to get what you want. I'll
 post the notes here later on. In the meantime you can try the examples, and
 try tweaking bits of the code to see what happens.



 On Wed, Nov 6, 2013 at 6:12 PM, William Hanson whan...@umn.edu wrote:

 Ernesto,

 I'm writing a paper using LyX, and I need to insert several specific
 tableaus into it.  Using your numbers:

 1) I do not want to add just *any* tableau example.

 2) I do want to add several specific tableaus containing particular
 formulas.  Probably just five or six such tableaus, each of which would
 occupy ten to twenty lines of text.  (By a line of text, I mean a
 horizontal line across the page in the finished, PDF version.  Such a line
 might of course include characters from more that one branch.  In the
 example called Sample Tableau, attached to an earlier message in this
 string, I count 12 horizontal lines of text in the leftmost branch (not
 counting the slanted lines that indicate branching).)

 3) My original idea was indeed to learn to make my own tableaus so that I
 could accomplish 2.

 When you ask which logic? I assume you're asking which object-language
 formulas will appear (with some additional prefixes and suffixes) as items
 in the tableaus.  The answer is:  first-order modal logic plus a lambda
 operator for predicate abstraction.  That is the object language used in
 the Sample Tableau attachment, except that the formulas in the Sample
 Tableau don't happen to contain any modal connectives.  (The modal
 connectives I'm using are the box and the diamond.)

 I've been pressed for time the last few days, so I haven't yet had a
 chance to try the suggestions you made on Nov 4, or the ones you make today
 (Nov 6).  I'll do so tomorrow and let you know what happens.

 Thanks,

 Bill


 On Wed, Nov 6, 2013 at 12:46 PM, Ernesto Posse epo...@cs.queensu.cawrote:

 Didn't my last suggestions help?

 I am still unsure about whether you want to 1) add *any* tableau
 example, 2) add a specific tableau (i.e., a particular example that you
 have in mind with particular formulas), or 3) be able to make your own
 tableaux. If it is 1 or 2, which logic? Please clarify.

 In terms of tools, I'm afraid that there is no tool, to the best of my
 knowledge, that allows you to make tableaux with absolutely no knowledge of
 LaTeX. Even if you try to use a drawing program for this purpose, you'll
 have to write at least the formulas in LaTeX, and it is quite tricky to
 embed formulas in such drawing tools. So if you want to be able to create
 your own, I'm afraid you'll have to learn a little bit.

 As for your example, try doing the following:

 1. In LyX: open your file; go to Document-Settings..-LaTeX Preamble
 and enter the following:

 \usepackage{tikz}

 \def\land{\wedge}
 \def\lor{\vee}
 \def\limp{\to}
 \def\closed{\times}

 2. Open Notepad and enter the following (keep the spaces at the
 beginning of each line):

 \begin{minipage}{1\columnwidth}%
 \begin{center}
  \begin{tikzpicture}
 [level distance=1.5cm,
  level 1/.style={sibling distance=2cm},
  every child node/.style={anchor=north},
  every child/.style={parent anchor=south}]
 \node {\begin{minipage}{4cm}%
  \begin{center}
  $1~\neg ((p \lor (p \land q)) \limp p)$\\
  $1~p \lor (p \land q)$\\
  $1~\neg p $
  \end{center}
\end{minipage}}
 child {node {\begin{minipage}{0.5cm}%
\begin{center}
$1~p$\\
$\closed$
\end{center}
  \end{minipage}}}
  child {node {\begin{minipage}{1.5cm}%
\begin{center}
$1~p \land q$\\
$1~p$\\
$1~q$\\
$\closed$
\end{center}
  \end{minipage}}};
 \end{tikzpicture}
 

Re: lyx 2.0.6 debian failes to run

[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 wrote:

   On Wed, Nov 6, 2013 at 3:20 AM, Wolfgang Engelmann

  

   engelm...@uni-tuebingen.de wrote:

I am sorry to bother you with this off topic issue, but it hinders

me

   

to use Lyx at the moment.

   

   

   

Any suggestions/proposals are very welcome and appreciated

  

   I'm surprised this isn't causing more problems besides LyX and cd

  

   wexpansion. This could be very bad.

  

  

  

   I don't know enough to have any advice on solving the main problem

  

   you're experiencing. If you are really only concerned about LyX (you

  

   should be concerned about more, IMO), you could try running LyX as

  

   root to see if it has the same problem.

 

  Good idea, Scott. Under root it runs without problems. Would it help

  if I create a new user and try it there until I have solved the

  (non-Lyx) issue under my current Home (or Homes)?



 Ah. So either you have a permissions problem with some file LyX needs

 (this should not happen, but...), or there is something in your

 $HOME/.lyx directory that is messing things up. When you run as root,

 it only looks in /root/.lyx, creating what it needs if necessary.



 Try this. Rename your $HOME/.lyx directory to something else, then run

 LyX as your usual username. If things work (after a setup timelag),

 then there is just some messed up configuration file.



 This is the terminal output after following your suggestion:



 wolfgang@wolfgang:~$ Fontconfig warning:
 /etc/fonts/conf.d/65-droid-sans-fonts.conf, line 103: Having multiple
 values in test isn't supported and may not work as expected

 Fontconfig warning: /etc/fonts/conf.d/65-droid-sans-fonts.conf, line 138:
 Having multiple values in test isn't supported and may not work as
 expected

 LyX: Erstellen des Verzeichnisses /home/wolfgang/.lyx/

 LyX: Konfiguriere das Benutzerverzeichnis neu



 Running: python -tt /usr/share/lyx/configure.py

 Traceback (most recent call last):

 File /usr/share/lyx/configure.py, line 17, in module

 filemode = 'w')

 File /usr/lib/python2.7/logging/__init__.py, line 1530, in basicConfig

 hdlr = FileHandler(filename, mode)

 File /usr/lib/python2.7/logging/__init__.py, line 903, in __init__

 StreamHandler.__init__(self, self._open())

 File /usr/lib/python2.7/logging/__init__.py, line 926, in _open

 stream = open(self.baseFilename, self.mode)

 IOError: [Errno 13] Permission denied: '/home/wolfgang/configure.log'

 support/Systemcall.cpp (273): Systemcall: 'python -tt
 /usr/share/lyx/configure.py' finished with exit code 1

 LyX: Fertig!

 LayoutFile.cpp (107): LayoutFileList::Read: unable to find textclass file
 `textclass.lst'.

 LayoutFile.cpp (164): LayoutFileList::Read: no textclasses found!

 ModuleList.cpp (136): unable to find modules file `lyxmodules.lst'.

 No modules will be available.

 Could not create cache directory `/home/wolfgang/.lyx/cache'.



 I waited for about 10 minutes, but lyx was not started. I therefore
 rebooted, but the result was again that lyx did not start. Terminal output
 similar to the above one:



 wolfgang@wolfgang:~$ lyx 

 [1] 4419

 wolfgang@wolfgang:~$ Fontconfig warning:
 /etc/fonts/conf.d/65-droid-sans-fonts.conf, line 103: Having multiple
 values in test isn't supported and may not work as expected

 Fontconfig warning: /etc/fonts/conf.d/65-droid-sans-fonts.conf, line 138:
 Having multiple values in test isn't supported and may not work as
 expected

 LyX: Konfiguriere das Benutzerverzeichnis neu



 Running: python -tt /usr/share/lyx/configure.py

 Traceback (most recent call last):

 File /usr/share/lyx/configure.py, line 17, in module

 filemode = 'w')

 File /usr/lib/python2.7/logging/__init__.py, line 1530, in basicConfig

 hdlr = FileHandler(filename, mode)

 File /usr/lib/python2.7/logging/__init__.py, line 903, in __init__

 StreamHandler.__init__(self, self._open())

 File /usr/lib/python2.7/logging/__init__.py, line 926, in _open

 stream = open(self.baseFilename, self.mode)

 IOError: [Errno 13] Permission denied: '/home/wolfgang/configure.log'

 support/Systemcall.cpp (273): Systemcall: 'python -tt
 /usr/share/lyx/configure.py' finished with exit code 1

 LyX: Fertig!

 LayoutFile.cpp (107): LayoutFileList::Read: unable to find textclass file
 `textclass.lst'.

 LayoutFile.cpp (164): LayoutFileList::Read: no textclasses found!

 ModuleList.cpp (136): unable to find modules file `lyxmodules.lst'.

 No modules will be available.

 Could not create cache directory `/home/wolfgang/.lyx/cache'.



 I do not find the configure.log in my home (wanted to check the permission)


 That is a file LyX wants to create, and it is being denied permissions to do
 so.

 It looks as if you 

Re: problem with centering tables with JASA template

[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 to do the job properly
 on the centering of the table. I am not sure why this as I think they both
 use the same cls file. I enclose 2 examples trying to do the same thing with
 the 2 different templates.

Dear Benoît,

Please respond to the list (others may have your same problem in the
future and will find this discussion when searching; and others might
have time to help). I'm reattaching the two files you sent.

Good detective work. If what you said is correct, then it sounds like
it's a bug in the LyX layout file. I suppose now it is just a question
of figuring out which difference in the two layout files is causing
the difference in behavior. I don't have time to look into this
further.

Best,

Scott


example_JASA_centering_table_bad.lyx
Description: application/lyx


example_JASA_centering_table_good.lyx
Description: application/lyx

Trying to unterstand Beamer overlay-Prinzip

[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 ?

Thanks

uwe

Trying to unterstand Beamer overlay-Prinzip

[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 ?

Thanks

uwe

Re: Rendering of LyX's math screen fonts.

[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, these enhancements will
 have an effect on IP and on the exported document.  Seems to me that the
 math editor will still use the same screen fonts.  Or am I wrong?

You are right, the mentioned features do not affect the look of the math 
editor. However, there are some new symbols in 2.1, mainly from stmaryrd.sty 
and mathtools.sty. To some extent you can also add some on your own: The 
screen appearance of math symbols is defined in the file lib/symbols, which 
contains some very basic documentation for 2.1.
Basically, there are three kinds of symbol definitions in that file:

1) symbols supported by special insets (like the decorations)
2) symbols supported by fonts (like the ones from fontmath.ltx)
3) symbols without any builtin support

Adding symbols of type 1) and 2) requires some programming in LyX, and 2) 
requires also a true type font containing the symbols in a certain order, 
but symbols of type 3) can easily be added by users: All lines starting with 
\def are of this kind. For example, you could define \partialslash like 
this:

\def\partialslash{\partial\kern-12mu/}

The slash is a bit too short, but maybe there is a longer one already 
supported by mathed, which you could use instead. Although this looks like a 
TeX macro definition, it is not used for the output, only for display in 
LyX. There is basically no documentation how exactly this \def works, you 
have to use trial and error. You could also make the mathabx package load 
automatically if this symbol is used (works only for packages in the 
compiled in feature list of LyX, and mathabx is in there):

\def\partialslash{\partial\kern-12mu/} mathabx

I strongly advise against doing so, because this makes your LyX document 
depend on your personal installation, and it would not typeset on vanilla 
installations. This feature is rather for symbols distributed with the 
official symbols file.

Finally, if you want some symbols to appear officially in LyX, you could add 
them to bug , but please note that font changing packages like txfonts 
will not be used.


Georg


PS: It is funny that you also use the math editor for calculations. I used 
to do that a lot for my thesis, but always thought I was the only one.

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

[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 of LyX.

Jerry

On Nov 7, 2013, at 1:30 PM, Georg Baum georg.b...@post.rwth-aachen.de wrote:

 PS: It is funny that you also use the math editor for calculations. I used 
 to do that a lot for my thesis, but always thought I was the only one.

Exporting to arXiv.org

[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 Google (old and doesn't work any more). Surely some
LyX user must know the magic incantations to make Tex output that
arXiv.org will accept!

-Mike Manthey

Re: Exporting to arXiv.org

[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 they have 
accepted LyX-generated LaTeX from me in the past. They don't want pdf 
files that have been generated by TeX; they can determine that by 
(usually) the beginning of the pdf file and then dump it back to you.  
This has to do with fonts; some fonts don't display pdf well on all 
possible machines.

  The only LYX output
option that gets through arXiv's automated filter is html, which then
entails hand editing to make presentable.
I would not consider that reasonable.  Try exporting to plain LaTeX.  
That should work.  Submit diagrams as separate files. Submit 
bibliographies generated by bibtex by running latex, then bibtex.  Also, 
make sure all necessary files are found from the same directory.

  Yet I can find only one
mention of this on Google (old and doesn't work any more). Surely some
LyX user must know the magic incantations to make Tex output that
arXiv.org will accept!


The easiest is if you don't have a separate bibtex file, and if you have 
no diagrams.  Then the export to plain LaTeX should be all they need.


If it doesn't work, contact me off-list and I will try to help.

--
 
David L. Johnson

Department of Mathematics
Lehigh University

Re: Exporting to arXiv.org

[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 case of am. phys. soc. journals that was discussed here 
recently.

Re: Trying to unterstand Beamer overlay-Prinzip

[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 this purpose.

Jürgen

Re: lyx 2.0.6 debian failes to run

[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:
 On Wed, Nov 6, 2013 at 3:20 AM, Wolfgang Engelmann
 
 engelm...@uni-tuebingen.de wrote:
  I am sorry to bother you with this off topic issue, but it
  hinders
  
  me
  
  
  
  to use Lyx at the moment.
  
  
  
  
  
  
  
  Any suggestions/proposals are very welcome and appreciated
 
 I'm surprised this isn't causing more problems besides LyX and
 cd
 
 
 
 wexpansion. This could be very bad.
 
 
 
 
 
 
 
 I don't know enough to have any advice on solving the main
 problem
 
 
 
 you're experiencing. If you are really only concerned about LyX
 (you
 
 
 
 should be concerned about more, IMO), you could try running LyX
 as
 
 
 
 root to see if it has the same problem.

Good idea, Scott. Under root it runs without problems. Would it
help

if I create a new user and try it there until I have solved the

(non-Lyx) issue under my current Home (or Homes)?
   
   Ah. So either you have a permissions problem with some file LyX
   needs
   
   (this should not happen, but...), or there is something in your
   
   $HOME/.lyx directory that is messing things up. When you run as
   root,
   
   it only looks in /root/.lyx, creating what it needs if necessary.
   
   
   
   Try this. Rename your $HOME/.lyx directory to something else, then
   run
   
   LyX as your usual username. If things work (after a setup timelag),
   
   then there is just some messed up configuration file.
  
  This is the terminal output after following your suggestion:
  
  wolfgang@wolfgang:~$ Fontconfig warning:
  /etc/fonts/conf.d/65-droid-sans-fonts.conf, line 103: Having
  multiple values in test isn't supported and may not work as expected
  
  Fontconfig warning: /etc/fonts/conf.d/65-droid-sans-fonts.conf, line
  138: Having multiple values in test isn't supported and may not work
  as expected
  
  LyX: Erstellen des Verzeichnisses /home/wolfgang/.lyx/
  
  LyX: Konfiguriere das Benutzerverzeichnis neu
  
  Running: python -tt /usr/share/lyx/configure.py
  
  Traceback (most recent call last):
  
  File /usr/share/lyx/configure.py, line 17, in module
  
  filemode = 'w')
  
  File /usr/lib/python2.7/logging/__init__.py, line 1530, in
  basicConfig
  
  hdlr = FileHandler(filename, mode)
  
  File /usr/lib/python2.7/logging/__init__.py, line 903, in __init__
  
  StreamHandler.__init__(self, self._open())
  
  File /usr/lib/python2.7/logging/__init__.py, line 926, in _open
  
  stream = open(self.baseFilename, self.mode)
  
  IOError: [Errno 13] Permission denied: '/home/wolfgang/configure.log'
  
  support/Systemcall.cpp (273): Systemcall: 'python -tt
  /usr/share/lyx/configure.py' finished with exit code 1
  
  LyX: Fertig!
  
  LayoutFile.cpp (107): LayoutFileList::Read: unable to find textclass
  file `textclass.lst'.
  
  LayoutFile.cpp (164): LayoutFileList::Read: no textclasses found!
  
  ModuleList.cpp (136): unable to find modules file `lyxmodules.lst'.
  
  No modules will be available.
  
  Could not create cache directory `/home/wolfgang/.lyx/cache'.
  
  I waited for about 10 minutes, but lyx was not started. I therefore
  rebooted, but the result was again that lyx did not start. Terminal
  output similar to the above one:
  
  wolfgang@wolfgang:~$ lyx 
  
  [1] 4419
  
  wolfgang@wolfgang:~$ Fontconfig warning:
  /etc/fonts/conf.d/65-droid-sans-fonts.conf, line 103: Having
  multiple values in test isn't supported and may not work as expected
  
  Fontconfig warning: /etc/fonts/conf.d/65-droid-sans-fonts.conf, line
  138: Having multiple values in test isn't supported and may not work
  as expected
  
  LyX: Konfiguriere das Benutzerverzeichnis neu
  
  Running: python -tt /usr/share/lyx/configure.py
  
  Traceback (most recent call last):
  
  File /usr/share/lyx/configure.py, line 17, in module
  
  filemode = 'w')
  
  File /usr/lib/python2.7/logging/__init__.py, line 1530, in
  basicConfig
  
  hdlr = FileHandler(filename, mode)
  
  File /usr/lib/python2.7/logging/__init__.py, line 903, in __init__
  
  StreamHandler.__init__(self, self._open())
  
  File /usr/lib/python2.7/logging/__init__.py, line 926, in _open
  
  stream = open(self.baseFilename, self.mode)
  
  IOError: [Errno 13] Permission denied: '/home/wolfgang/configure.log'
  
  support/Systemcall.cpp (273): Systemcall: 'python -tt
  /usr/share/lyx/configure.py' finished with exit code 1
  
  LyX: Fertig!
  
  LayoutFile.cpp (107): LayoutFileList::Read: unable to find textclass
  file `textclass.lst'.
  
  LayoutFile.cpp (164): 

Re: lyx 2.0.6 debian failes to run

[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

> > >

> > >  wrote:

> > > > I am sorry to bother you with this off topic issue, but it hinders

> > > > me

> > > >

> > > > to use Lyx at the moment.

> > > >

> > > >

> > > >

> > > > Any suggestions/proposals are very welcome and appreciated

> > >

> > > I'm surprised this isn't causing more problems besides LyX and cd

> > >

> > > w. This could be very bad.

> > >

> > >

> > >

> > > I don't know enough to have any advice on solving the main problem

> > >

> > > you're experiencing. If you are really only concerned about LyX (you

> > >

> > > should be concerned about more, IMO), you could try running LyX as

> > >

> > > root to see if it has the same problem.

> >

> > Good idea, Scott. Under root it runs without problems. Would it help

> > if I create a new user and try it there until I have solved the

> > (non-Lyx) issue under my current Home (or Homes)?

>

> Ah. So either you have a permissions problem with some file LyX needs

> (this should not happen, but...), or there is something in your

> $HOME/.lyx directory that is messing things up. When you run as root,

> it only looks in /root/.lyx, creating what it needs if necessary.

>

> Try this. Rename your $HOME/.lyx directory to something else, then run

> LyX as your usual username. If things work (after a setup timelag),

> then there is just some messed up configuration file.

This is the terminal output after following your suggestion:

wolfgang@wolfgang:~$ Fontconfig warning: 
"/etc/fonts/conf.d/65-droid-sans-fonts.conf", line 103: Having 
multiple values in  isn't supported and may not work as expected


Fontconfig warning: "/etc/fonts/conf.d/65-droid-sans-fonts.conf", line 
138: Having multiple values in  isn't supported and may not work 
as expected


LyX: Erstellen des Verzeichnisses /home/wolfgang/.lyx/

LyX: Konfiguriere das Benutzerverzeichnis neu

Running: python -tt "/usr/share/lyx/configure.py"

Traceback (most recent call last):

File "/usr/share/lyx/configure.py", line 17, in 

filemode = 'w')

File "/usr/lib/python2.7/logging/__init__.py", line 1530, in basicConfig

hdlr = FileHandler(filename, mode)

File "/usr/lib/python2.7/logging/__init__.py", line 903, in __init__

StreamHandler.__init__(self, self._open())

File "/usr/lib/python2.7/logging/__init__.py", line 926, in _open

stream = open(self.baseFilename, self.mode)

IOError: [Errno 13] Permission denied: '/home/wolfgang/configure.log'

support/Systemcall.cpp (273): Systemcall: 'python -tt 
"/usr/share/lyx/configure.py"' finished with exit code 1


LyX: Fertig!

LayoutFile.cpp (107): LayoutFileList::Read: unable to find textclass 
file `textclass.lst'.


LayoutFile.cpp (164): LayoutFileList::Read: no textclasses found!

ModuleList.cpp (136): unable to find modules file `lyxmodules.lst'.

No modules will be available.

Could not create cache directory `/home/wolfgang/.lyx/cache'.

I waited for about 10 minutes, but lyx was not started. I therefore 
rebooted, but the result was again that lyx did not start. Terminal 
output similar to the above one:


wolfgang@wolfgang:~$ lyx &

[1] 4419

wolfgang@wolfgang:~$ Fontconfig warning: 
"/etc/fonts/conf.d/65-droid-sans-fonts.conf", line 103: Having 
multiple values in  isn't supported and may not work as expected


Fontconfig warning: "/etc/fonts/conf.d/65-droid-sans-fonts.conf", line 
138: Having multiple values in  isn't supported and may not work 
as expected


LyX: Konfiguriere das Benutzerverzeichnis neu

Running: python -tt "/usr/share/lyx/configure.py"

Traceback (most recent call last):

File "/usr/share/lyx/configure.py", line 17, in 

filemode = 'w')

File "/usr/lib/python2.7/logging/__init__.py", line 1530, in basicConfig

hdlr = FileHandler(filename, mode)

File "/usr/lib/python2.7/logging/__init__.py", line 903, in __init__

StreamHandler.__init__(self, self._open())

File "/usr/lib/python2.7/logging/__init__.py", line 926, in _open

stream = open(self.baseFilename, self.mode)

IOError: [Errno 13] Permission denied: '/home/wolfgang/configure.log'

support/Systemcall.cpp (273): Systemcall: 'python -tt 
"/usr/share/lyx/configure.py"' finished with exit code 1


LyX: Fertig!

LayoutFile.cpp (107): LayoutFileList::Read: unable to find textclass 
file `textclass.lst'.


LayoutFile.cpp (164): LayoutFileList::Read: no textclasses found!

ModuleList.cpp (136): unable to find modules file `lyxmodules.lst'.

No modules will be available.

Could not create cache directory `/home/wolfgang/.lyx/cache'.

I do not find the configure.log in my home (wanted to check the 
permission)




That is a file LyX wants to create, and it is being denied permissions 
to do so.


It looks as if you may have some 

migrating (soon to be) old beamer files

[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)

[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
tableaux. It can be done in tikz, but it needs additional constructs that I
have not shown in my previous examples. So the question is whether in your
modal logic the tableau construction rules create loops or not.

Since you want to be able to make your own tableaux you will need to learn
a little bit of LaTeX, as I said before. I will try to put together a mini
crash course on the things that you'll need, but in the end you'll need to
do a bit more than just copy-and-paste in order to get what you want. I'll
post the notes here later on. In the meantime you can try the examples, and
try tweaking bits of the code to see what happens.



On Wed, Nov 6, 2013 at 6:12 PM, William Hanson  wrote:

> Ernesto,
>
> I'm writing a paper using LyX, and I need to insert several specific
> tableaus into it.  Using your numbers:
>
> 1) I do not want to add just *any* tableau example.
>
> 2) I do want to add several specific tableaus containing particular
> formulas.  Probably just five or six such tableaus, each of which would
> occupy ten to twenty lines of text.  (By a line of text, I mean a
> horizontal line across the page in the finished, PDF version.  Such a line
> might of course include characters from more that one branch.  In the
> example called Sample Tableau, attached to an earlier message in this
> string, I count 12 horizontal lines of text in the leftmost branch (not
> counting the slanted lines that indicate branching).)
>
> 3) My original idea was indeed to learn to make my own tableaus so that I
> could accomplish 2.
>
> When you ask "which logic?" I assume you're asking which object-language
> formulas will appear (with some additional prefixes and suffixes) as items
> in the tableaus.  The answer is:  first-order modal logic plus a lambda
> operator for predicate abstraction.  That is the object language used in
> the Sample Tableau attachment, except that the formulas in the Sample
> Tableau don't happen to contain any modal connectives.  (The modal
> connectives I'm using are the box and the diamond.)
>
> I've been pressed for time the last few days, so I haven't yet had a
> chance to try the suggestions you made on Nov 4, or the ones you make today
> (Nov 6).  I'll do so tomorrow and let you know what happens.
>
> Thanks,
>
> Bill
>
>
> On Wed, Nov 6, 2013 at 12:46 PM, Ernesto Posse wrote:
>
>> Didn't my last suggestions help?
>>
>> I am still unsure about whether you want to 1) add *any* tableau example,
>> 2) add a specific tableau (i.e., a particular example that you have in mind
>> with particular formulas), or 3) be able to make your own tableaux. If it
>> is 1 or 2, which logic? Please clarify.
>>
>> In terms of tools, I'm afraid that there is no tool, to the best of my
>> knowledge, that allows you to make tableaux with absolutely no knowledge of
>> LaTeX. Even if you try to use a drawing program for this purpose, you'll
>> have to write at least the formulas in LaTeX, and it is quite tricky to
>> embed formulas in such drawing tools. So if you want to be able to create
>> your own, I'm afraid you'll have to learn a little bit.
>>
>> As for your example, try doing the following:
>>
>> 1. In LyX: open your file; go to "Document->Settings..->LaTeX Preamble"
>> and enter the following:
>>
>> \usepackage{tikz}
>>
>> \def\land{\wedge}
>> \def\lor{\vee}
>> \def\limp{\to}
>> \def\closed{\times}
>>
>> 2. Open Notepad and enter the following (keep the spaces at the beginning
>> of each line):
>>
>> \begin{minipage}{1\columnwidth}%
>> \begin{center}
>>  \begin{tikzpicture}
>> [level distance=1.5cm,
>>  level 1/.style={sibling distance=2cm},
>>  every child node/.style={anchor=north},
>>  every child/.style={parent anchor=south}]
>> \node {\begin{minipage}{4cm}%
>>  \begin{center}
>>  $1~\neg ((p \lor (p \land q)) \limp p)$\\
>>  $1~p \lor (p \land q)$\\
>>  $1~\neg p $
>>  \end{center}
>>\end{minipage}}
>> child {node {\begin{minipage}{0.5cm}%
>>\begin{center}
>>$1~p$\\
>>$\closed$
>>\end{center}
>>  \end{minipage}}}
>>  child {node {\begin{minipage}{1.5cm}%
>>\begin{center}
>>$1~p \land q$\\
>>$1~p$\\
>>$1~q$\\
>>$\closed$
>>\end{center}
>>  \end{minipage}}};
>> 

Rendering of LyX's math screen fonts.

[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 working 
of LyX to really identify the subject...

Anyway, whenever I'm editing a mathematical equation and have a need for a 
symbol not included in the standard latex and AMStex sets, I have to look for 
it elsewhere. 

A good place to look for new symbols is the 'The Comprehensive LaTeX Symbol 
List'
http://mirror.ctan.org/info/symbols/comprehensive/symbols-a4.pdf
So, if I want the "\partialslash" symbol, I have to edit the preamble and 
insert "\usepackage{mathabx}".  If I want the double square bracket delimiters 
"\ldbrack" and "\rdbrack", I have to \usepackage{txfonts}, and so forth. 
It works fine to generate the exported document in PDF or PS and also with 
Instant Preview.  However, the math equation editor (or math mode) does not 
render non-AMS/latex symbols, but leaves them as ERT's.

That's ok if you are creating a document with LyX, but for those of us that use 
LyX to make mathematical calculations as well, the rendition of all symbols 
goes a long way to facilitate the visualization of the mathematical expression.

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, these enhancements will have an effect on 
IP and on the exported document.  Seems to me that the math editor will still 
use the same screen fonts.  Or am I wrong?
-- 
Rudi Gaelzer
Institute of Physics
Federal University of Rio Grande do Sul
BRAZIL
Registered linux user # 153741

Re: migrating (soon to be) old beamer files

[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 an old LyX installation in addition to
> the new one)?

The old files will be converted to the new scheme. If you have files were the 
conversion fails, please send them.

Jürgen

Re: Logic: Tableau Proofs (trees)

[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
> 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
> tableaux. It can be done in tikz, but it needs additional constructs that I
> have not shown in my previous examples. So the question is whether in your
> modal logic the tableau construction rules create loops or not.
>
> Since you want to be able to make your own tableaux you will need to learn
> a little bit of LaTeX, as I said before. I will try to put together a mini
> crash course on the things that you'll need, but in the end you'll need to
> do a bit more than just copy-and-paste in order to get what you want. I'll
> post the notes here later on. In the meantime you can try the examples, and
> try tweaking bits of the code to see what happens.
>
>
>
> On Wed, Nov 6, 2013 at 6:12 PM, William Hanson  wrote:
>
>> Ernesto,
>>
>> I'm writing a paper using LyX, and I need to insert several specific
>> tableaus into it.  Using your numbers:
>>
>> 1) I do not want to add just *any* tableau example.
>>
>> 2) I do want to add several specific tableaus containing particular
>> formulas.  Probably just five or six such tableaus, each of which would
>> occupy ten to twenty lines of text.  (By a line of text, I mean a
>> horizontal line across the page in the finished, PDF version.  Such a line
>> might of course include characters from more that one branch.  In the
>> example called Sample Tableau, attached to an earlier message in this
>> string, I count 12 horizontal lines of text in the leftmost branch (not
>> counting the slanted lines that indicate branching).)
>>
>> 3) My original idea was indeed to learn to make my own tableaus so that I
>> could accomplish 2.
>>
>> When you ask "which logic?" I assume you're asking which object-language
>> formulas will appear (with some additional prefixes and suffixes) as items
>> in the tableaus.  The answer is:  first-order modal logic plus a lambda
>> operator for predicate abstraction.  That is the object language used in
>> the Sample Tableau attachment, except that the formulas in the Sample
>> Tableau don't happen to contain any modal connectives.  (The modal
>> connectives I'm using are the box and the diamond.)
>>
>> I've been pressed for time the last few days, so I haven't yet had a
>> chance to try the suggestions you made on Nov 4, or the ones you make today
>> (Nov 6).  I'll do so tomorrow and let you know what happens.
>>
>> Thanks,
>>
>> Bill
>>
>>
>> On Wed, Nov 6, 2013 at 12:46 PM, Ernesto Posse wrote:
>>
>>> Didn't my last suggestions help?
>>>
>>> I am still unsure about whether you want to 1) add *any* tableau
>>> example, 2) add a specific tableau (i.e., a particular example that you
>>> have in mind with particular formulas), or 3) be able to make your own
>>> tableaux. If it is 1 or 2, which logic? Please clarify.
>>>
>>> In terms of tools, I'm afraid that there is no tool, to the best of my
>>> knowledge, that allows you to make tableaux with absolutely no knowledge of
>>> LaTeX. Even if you try to use a drawing program for this purpose, you'll
>>> have to write at least the formulas in LaTeX, and it is quite tricky to
>>> embed formulas in such drawing tools. So if you want to be able to create
>>> your own, I'm afraid you'll have to learn a little bit.
>>>
>>> As for your example, try doing the following:
>>>
>>> 1. In LyX: open your file; go to "Document->Settings..->LaTeX Preamble"
>>> and enter the following:
>>>
>>> \usepackage{tikz}
>>>
>>> \def\land{\wedge}
>>> \def\lor{\vee}
>>> \def\limp{\to}
>>> \def\closed{\times}
>>>
>>> 2. Open Notepad and enter the following (keep the spaces at the
>>> beginning of each line):
>>>
>>> \begin{minipage}{1\columnwidth}%
>>> \begin{center}
>>>  \begin{tikzpicture}
>>> [level distance=1.5cm,
>>>  level 1/.style={sibling distance=2cm},
>>>  every child node/.style={anchor=north},
>>>  every child/.style={parent anchor=south}]
>>> \node {\begin{minipage}{4cm}%
>>>  \begin{center}
>>>  $1~\neg ((p \lor (p \land q)) \limp p)$\\
>>>  $1~p \lor (p \land q)$\\
>>>  $1~\neg p $
>>>  \end{center}
>>>\end{minipage}}
>>> child {node {\begin{minipage}{0.5cm}%
>>>\begin{center}
>>>$1~p$\\
>>>$\closed$
>>>\end{center}
>>>  \end{minipage}}}
>>>  child {node {\begin{minipage}{1.5cm}%
>>>\begin{center}
>>>  

Re: lyx 2.0.6 debian failes to run

[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 Kostyshak wrote:
>
>> > > On Wed, Nov 6, 2013 at 3:20 AM, Wolfgang Engelmann
>
>> > >
>
>> > >  wrote:
>
>> > > > I am sorry to bother you with this off topic issue, but it hinders
>
>> > > > me
>
>> > > >
>
>> > > > to use Lyx at the moment.
>
>> > > >
>
>> > > >
>
>> > > >
>
>> > > > Any suggestions/proposals are very welcome and appreciated
>
>> > >
>
>> > > I'm surprised this isn't causing more problems besides LyX and cd
>
>> > >
>
>> > > w. This could be very bad.
>
>> > >
>
>> > >
>
>> > >
>
>> > > I don't know enough to have any advice on solving the main problem
>
>> > >
>
>> > > you're experiencing. If you are really only concerned about LyX (you
>
>> > >
>
>> > > should be concerned about more, IMO), you could try running LyX as
>
>> > >
>
>> > > root to see if it has the same problem.
>
>> >
>
>> > Good idea, Scott. Under root it runs without problems. Would it help
>
>> > if I create a new user and try it there until I have solved the
>
>> > (non-Lyx) issue under my current Home (or Homes)?
>
>>
>
>> Ah. So either you have a permissions problem with some file LyX needs
>
>> (this should not happen, but...), or there is something in your
>
>> $HOME/.lyx directory that is messing things up. When you run as root,
>
>> it only looks in /root/.lyx, creating what it needs if necessary.
>
>>
>
>> Try this. Rename your $HOME/.lyx directory to something else, then run
>
>> LyX as your usual username. If things work (after a setup timelag),
>
>> then there is just some messed up configuration file.
>
>
>
> This is the terminal output after following your suggestion:
>
>
>
> wolfgang@wolfgang:~$ Fontconfig warning:
> "/etc/fonts/conf.d/65-droid-sans-fonts.conf", line 103: Having multiple
> values in  isn't supported and may not work as expected
>
> Fontconfig warning: "/etc/fonts/conf.d/65-droid-sans-fonts.conf", line 138:
> Having multiple values in  isn't supported and may not work as
> expected
>
> LyX: Erstellen des Verzeichnisses /home/wolfgang/.lyx/
>
> LyX: Konfiguriere das Benutzerverzeichnis neu
>
>
>
> Running: python -tt "/usr/share/lyx/configure.py"
>
> Traceback (most recent call last):
>
> File "/usr/share/lyx/configure.py", line 17, in 
>
> filemode = 'w')
>
> File "/usr/lib/python2.7/logging/__init__.py", line 1530, in basicConfig
>
> hdlr = FileHandler(filename, mode)
>
> File "/usr/lib/python2.7/logging/__init__.py", line 903, in __init__
>
> StreamHandler.__init__(self, self._open())
>
> File "/usr/lib/python2.7/logging/__init__.py", line 926, in _open
>
> stream = open(self.baseFilename, self.mode)
>
> IOError: [Errno 13] Permission denied: '/home/wolfgang/configure.log'
>
> support/Systemcall.cpp (273): Systemcall: 'python -tt
> "/usr/share/lyx/configure.py"' finished with exit code 1
>
> LyX: Fertig!
>
> LayoutFile.cpp (107): LayoutFileList::Read: unable to find textclass file
> `textclass.lst'.
>
> LayoutFile.cpp (164): LayoutFileList::Read: no textclasses found!
>
> ModuleList.cpp (136): unable to find modules file `lyxmodules.lst'.
>
> No modules will be available.
>
> Could not create cache directory `/home/wolfgang/.lyx/cache'.
>
>
>
> I waited for about 10 minutes, but lyx was not started. I therefore
> rebooted, but the result was again that lyx did not start. Terminal output
> similar to the above one:
>
>
>
> wolfgang@wolfgang:~$ lyx &
>
> [1] 4419
>
> wolfgang@wolfgang:~$ Fontconfig warning:
> "/etc/fonts/conf.d/65-droid-sans-fonts.conf", line 103: Having multiple
> values in  isn't supported and may not work as expected
>
> Fontconfig warning: "/etc/fonts/conf.d/65-droid-sans-fonts.conf", line 138:
> Having multiple values in  isn't supported and may not work as
> expected
>
> LyX: Konfiguriere das Benutzerverzeichnis neu
>
>
>
> Running: python -tt "/usr/share/lyx/configure.py"
>
> Traceback (most recent call last):
>
> File "/usr/share/lyx/configure.py", line 17, in 
>
> filemode = 'w')
>
> File "/usr/lib/python2.7/logging/__init__.py", line 1530, in basicConfig
>
> hdlr = FileHandler(filename, mode)
>
> File "/usr/lib/python2.7/logging/__init__.py", line 903, in __init__
>
> StreamHandler.__init__(self, self._open())
>
> File "/usr/lib/python2.7/logging/__init__.py", line 926, in _open
>
> stream = open(self.baseFilename, self.mode)
>
> IOError: [Errno 13] Permission denied: '/home/wolfgang/configure.log'
>
> support/Systemcall.cpp (273): Systemcall: 'python -tt
> "/usr/share/lyx/configure.py"' finished with exit code 1
>
> LyX: Fertig!
>
> LayoutFile.cpp (107): LayoutFileList::Read: unable to find textclass file
> `textclass.lst'.
>
> LayoutFile.cpp (164): LayoutFileList::Read: no textclasses found!
>
> ModuleList.cpp (136): unable to find modules 

Re: problem with centering tables with JASA template

[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 template seems to do the job properly
> on the centering of the table. I am not sure why this as I think they both
> use the same cls file. I enclose 2 examples trying to do the same thing with
> the 2 different templates.

Dear Benoît,

Please respond to the list (others may have your same problem in the
future and will find this discussion when searching; and others might
have time to help). I'm reattaching the two files you sent.

Good detective work. If what you said is correct, then it sounds like
it's a bug in the LyX layout file. I suppose now it is just a question
of figuring out which difference in the two layout files is causing
the difference in behavior. I don't have time to look into this
further.

Best,

Scott


example_JASA_centering_table_bad.lyx
Description: application/lyx


example_JASA_centering_table_good.lyx
Description: application/lyx

Trying to unterstand Beamer overlay-Prinzip

[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 ?

Thanks

uwe

Trying to unterstand Beamer overlay-Prinzip

[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 ?

Thanks

uwe

Re: Rendering of LyX's math screen fonts.

[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, these enhancements will
> have an effect on IP and on the exported document.  Seems to me that the
> math editor will still use the same screen fonts.  Or am I wrong?

You are right, the mentioned features do not affect the look of the math 
editor. However, there are some new symbols in 2.1, mainly from stmaryrd.sty 
and mathtools.sty. To some extent you can also add some on your own: The 
screen appearance of math symbols is defined in the file lib/symbols, which 
contains some very basic documentation for 2.1.
Basically, there are three kinds of symbol definitions in that file:

1) symbols supported by special insets (like the decorations)
2) symbols supported by fonts (like the ones from fontmath.ltx)
3) symbols without any builtin support

Adding symbols of type 1) and 2) requires some programming in LyX, and 2) 
requires also a true type font containing the symbols in a certain order, 
but symbols of type 3) can easily be added by users: All lines starting with 
\def are of this kind. For example, you could define \partialslash like 
this:

\def\partialslash{\partial\kern-12mu/}

The slash is a bit too short, but maybe there is a longer one already 
supported by mathed, which you could use instead. Although this looks like a 
TeX macro definition, it is not used for the output, only for display in 
LyX. There is basically no documentation how exactly this \def works, you 
have to use trial and error. You could also make the mathabx package load 
automatically if this symbol is used (works only for packages in the 
compiled in feature list of LyX, and mathabx is in there):

\def\partialslash{\partial\kern-12mu/} mathabx

I strongly advise against doing so, because this makes your LyX document 
depend on your personal installation, and it would not typeset on vanilla 
installations. This feature is rather for symbols distributed with the 
official symbols file.

Finally, if you want some symbols to appear officially in LyX, you could add 
them to bug , but please note that font changing packages like txfonts 
will not be used.


Georg


PS: It is funny that you also use the math editor for calculations. I used 
to do that a lot for my thesis, but always thought I was the only one.

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

[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 of LyX.

Jerry

On Nov 7, 2013, at 1:30 PM, Georg Baum  wrote:

> PS: It is funny that you also use the math editor for calculations. I used 
> to do that a lot for my thesis, but always thought I was the only one.

Exporting to arXiv.org

[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 Google (old and doesn't work any more). Surely some
LyX user must know the magic incantations to make Tex output that
arXiv.org will accept!

-Mike Manthey

Re: Exporting to arXiv.org

[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 they have 
accepted LyX-generated LaTeX from me in the past. They don't want pdf 
files that have been generated by TeX; they can determine that by 
(usually) the beginning of the pdf file and then dump it back to you.  
This has to do with fonts; some fonts don't display pdf well on all 
possible machines.

  The only LYX output
option that gets through arXiv's automated filter is html, which then
entails hand editing to make presentable.
I would not consider that reasonable.  Try exporting to plain LaTeX.  
That should work.  Submit diagrams as separate files. Submit 
bibliographies generated by bibtex by running latex, then bibtex.  Also, 
make sure all necessary files are found from the same directory.

  Yet I can find only one
mention of this on Google (old and doesn't work any more). Surely some
LyX user must know the magic incantations to make Tex output that
arXiv.org will accept!


The easiest is if you don't have a separate bibtex file, and if you have 
no diagrams.  Then the export to plain LaTeX should be all they need.


If it doesn't work, contact me off-list and I will try to help.

--
 
David L. Johnson

Department of Mathematics
Lehigh University

Re: Exporting to arXiv.org

[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 case of am. phys. soc. journals that was discussed here 
recently.

Re: Trying to unterstand Beamer overlay-Prinzip

[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 this purpose.

Jürgen

Re: lyx 2.0.6 debian failes to run

[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:
> > > > > On Wed, Nov 6, 2013 at 3:20 AM, Wolfgang Engelmann
> > > > > 
> > > > >  wrote:
> > > > > > I am sorry to bother you with this off topic issue, but it
> > > > > > hinders
> > > > > > 
> > > > > > me
> > > > > > 
> > > > > > 
> > > > > > 
> > > > > > to use Lyx at the moment.
> > > > > > 
> > > > > > 
> > > > > > 
> > > > > > 
> > > > > > 
> > > > > > 
> > > > > > 
> > > > > > Any suggestions/proposals are very welcome and appreciated
> > > > > 
> > > > > I'm surprised this isn't causing more problems besides LyX and
> > > > > cd
> > > > > 
> > > > > 
> > > > > 
> > > > > w. This could be very bad.
> > > > > 
> > > > > 
> > > > > 
> > > > > 
> > > > > 
> > > > > 
> > > > > 
> > > > > I don't know enough to have any advice on solving the main
> > > > > problem
> > > > > 
> > > > > 
> > > > > 
> > > > > you're experiencing. If you are really only concerned about LyX
> > > > > (you
> > > > > 
> > > > > 
> > > > > 
> > > > > should be concerned about more, IMO), you could try running LyX
> > > > > as
> > > > > 
> > > > > 
> > > > > 
> > > > > root to see if it has the same problem.
> > > > 
> > > > Good idea, Scott. Under root it runs without problems. Would it
> > > > help
> > > > 
> > > > if I create a new user and try it there until I have solved the
> > > > 
> > > > (non-Lyx) issue under my current Home (or Homes)?
> > > 
> > > Ah. So either you have a permissions problem with some file LyX
> > > needs
> > > 
> > > (this should not happen, but...), or there is something in your
> > > 
> > > $HOME/.lyx directory that is messing things up. When you run as
> > > root,
> > > 
> > > it only looks in /root/.lyx, creating what it needs if necessary.
> > > 
> > > 
> > > 
> > > Try this. Rename your $HOME/.lyx directory to something else, then
> > > run
> > > 
> > > LyX as your usual username. If things work (after a setup timelag),
> > > 
> > > then there is just some messed up configuration file.
> > 
> > This is the terminal output after following your suggestion:
> > 
> > wolfgang@wolfgang:~$ Fontconfig warning:
> > "/etc/fonts/conf.d/65-droid-sans-fonts.conf", line 103: Having
> > multiple values in  isn't supported and may not work as expected
> > 
> > Fontconfig warning: "/etc/fonts/conf.d/65-droid-sans-fonts.conf", line
> > 138: Having multiple values in  isn't supported and may not work
> > as expected
> > 
> > LyX: Erstellen des Verzeichnisses /home/wolfgang/.lyx/
> > 
> > LyX: Konfiguriere das Benutzerverzeichnis neu
> > 
> > Running: python -tt "/usr/share/lyx/configure.py"
> > 
> > Traceback (most recent call last):
> > 
> > File "/usr/share/lyx/configure.py", line 17, in 
> > 
> > filemode = 'w')
> > 
> > File "/usr/lib/python2.7/logging/__init__.py", line 1530, in
> > basicConfig
> > 
> > hdlr = FileHandler(filename, mode)
> > 
> > File "/usr/lib/python2.7/logging/__init__.py", line 903, in __init__
> > 
> > StreamHandler.__init__(self, self._open())
> > 
> > File "/usr/lib/python2.7/logging/__init__.py", line 926, in _open
> > 
> > stream = open(self.baseFilename, self.mode)
> > 
> > IOError: [Errno 13] Permission denied: '/home/wolfgang/configure.log'
> > 
> > support/Systemcall.cpp (273): Systemcall: 'python -tt
> > "/usr/share/lyx/configure.py"' finished with exit code 1
> > 
> > LyX: Fertig!
> > 
> > LayoutFile.cpp (107): LayoutFileList::Read: unable to find textclass
> > file `textclass.lst'.
> > 
> > LayoutFile.cpp (164): LayoutFileList::Read: no textclasses found!
> > 
> > ModuleList.cpp (136): unable to find modules file `lyxmodules.lst'.
> > 
> > No modules will be available.
> > 
> > Could not create cache directory `/home/wolfgang/.lyx/cache'.
> > 
> > I waited for about 10 minutes, but lyx was not started. I therefore
> > rebooted, but the result was again that lyx did not start. Terminal
> > output similar to the above one:
> > 
> > wolfgang@wolfgang:~$ lyx &
> > 
> > [1] 4419
> > 
> > wolfgang@wolfgang:~$ Fontconfig warning:
> > "/etc/fonts/conf.d/65-droid-sans-fonts.conf", line 103: Having
> > multiple values in  isn't supported and may not work as expected
> > 
> > Fontconfig warning: "/etc/fonts/conf.d/65-droid-sans-fonts.conf", line
> > 138: Having multiple values in  isn't supported and may not work
> > as expected
> > 
> > LyX: Konfiguriere das Benutzerverzeichnis neu
> > 
> > Running: python -tt "/usr/share/lyx/configure.py"
> > 
> > Traceback (most recent call last):
> > 
> > File "/usr/share/lyx/configure.py", line 17, in 
> > 
> > filemode = 'w')
> > 
> > File "/usr/lib/python2.7/logging/__init__.py", line 1530, in
> > basicConfig
> > 
> > hdlr = FileHandler(filename, mode)
> > 
> > File "/usr/lib/python2.7/logging/__init__.py", line 903, in