Re: lyx 2.0.6 debian failes to run
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 __init__ > > > > StreamHand
Re: Trying to unterstand Beamer overlay-Prinzip
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: Exporting to arXiv.org
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: Exporting to arXiv.org
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
Exporting to arXiv.org
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
Using LyX for calculations (was Rendering of LyX's math screen fonts.)
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.
Re: Rendering of LyX's math screen fonts.
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.
Trying to unterstand Beamer overlay-Prinzip
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
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: problem with centering tables with JASA template
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
Re: lyx 2.0.6 debian failes to run
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 file `lyxmodules.lst'. > > No modules will be a
Re: Logic: Tableau Proofs (trees)
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} >>>$1~p \land q$\\ >>>
Re: migrating (soon to be) old beamer files
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
Rendering of LyX's math screen fonts.
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: Logic: Tableau Proofs (trees)
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}}}; >> \end{tikzpicture} >> \end{center} >> \end{minipa
migrating (soon to be) old beamer files
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: lyx 2.0.6 debian failes to run
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 very bad permissions problems i