Re: Attaching References

[William Hanson]

Here's the present situation:

I use Windows.  On Jan 25 I was unable to get LyX 2.0.5.1 to add just three
new references to a document.  (The document already had about 40
references that LyX had previously created.)  I downloaded a new version of
LyX (2.2.2), but I'm unable to use it.  Specifically I can't even open my
document in 2.2.2.  When I try I get the following popup: "The selected
document class Article (Standard Class) requires external files that are
unavailable", and it says I must install article.cls. When I close that
popup I immediately get another one that says I need to install
fancyhdr.sty.  Closing that popup I get a third that tells me  to install
enumitem.sty.  I don't know where to find or how to install any of these
files.  And I don't know enough about LyX or LATEX to be able to follow the
instructions in the User Guide and Customization Manual to solve the
problem.

So I've gone back to trying to make 2.0.5.1 work.  I have a bib file that I
created in Mendeley, but I can't get 2.0.5.1 to insert it into my
document.  Sometimes when I try (using Insert → List/TOC → BibTeX
Bibliography) I'm unable to find this bib file.  Specifically, the box that
pops up in LyX (with the heading LyX: BibTex Bibliography) is empty, and
when I hit the Browse button and then go to the Windows folder that
contains my file its name doesn't appear.  Other times times I can find and
insert this file, but when I try to create a pdf I can't.  (Luatex,
dvipdfm, and pdflatex do nothing.  XeTeX and ps2pdf give error messages.)
Before the present problems started appearing LuaTeX always created a pdf.

So LyX is now doing less for me than it did a couple of days ago.  Then it
would create a bibliography for my document, and that bibliography
contained all the references in the document except the three I needed to
add.  Now it won't create any bibliography at all, and it won't create a
pdf.

How can I get out of this mess?





On Thu, Jan 26, 2017 at 11:04 AM, Richard Heck <rgh...@lyx.org> wrote:

> On 01/26/2017 01:42 AM, William Hanson wrote:
> > Chris,
> > I'm using Windows and LyX 2.0.5.1.  Since I've been unable to make LyX
> > 2.2.2.2 work (more about that later), and since all I needed to do to
> > complete my document was add three references, I tried to make 2.0.5.1
> > do that for me.
> >
> > However, since I first wrote the situation has changed somewhat.  (I
> > suppose that's due to the messing around I've been doing.)
> >
> > I do indeed have a BibTeX Generated Bibliography box at the end of my
> > document.   And when I click on it the window that opens contains a
> > link to the .bib file I created with Mendeley.  This sounds promising,
> > but now when I try to insert a reference into the document (by
> > choosing Citation) the box that pops up is empty.
>
> The most likely problem here is an encoding issue. I expect there is
> some Unicode character in the Mendeley-generated bibfile that LyX is
> choking on. My suggestion would to try bisecting the file to find the
> offending character. First, make a backup of it in case something goes
> wrong. Then open the file in Notepad or something and delete the last
> half of it. Now see if it works in LyX. If so, the problem is in the
> last half, so delete half of that, etc. If it doesn't work, delete more
> of it, until you get something that does work.
>
> Alternatively, if you want to send me the bib file (use this email), I
> can look at it and see what the problem might be. Feel free to send me
> the LyX file that isn't working, too. It may again be some kind of
> encoding issue.
>
> Richard
>
>

Re: Attaching References

[William Hanson]

Chris,
I'm using Windows and LyX 2.0.5.1.  Since I've been unable to make LyX
2.2.2.2 work (more about that later), and since all I needed to do to
complete my document was add three references, I tried to make 2.0.5.1 do
that for me.

However, since I first wrote the situation has changed somewhat.  (I
suppose that's due to the messing around I've been doing.)

I do indeed have a BibTeX Generated Bibliography box at the end of my
document.   And when I click on it the window that opens contains a link to
the .bib file I created with Mendeley.  This sounds promising, but now when
I try to insert a reference into the document (by choosing Citation) the
box that pops up is empty.

And now, unlike earlier today, I'm no longer able to create a pdf using any
of the pdf options under File→Export.  (Some of those pdf commands now
produce error messages, and the ones that don't do nothing.  Previously
LuaTeX produced pdfs.)  So I'm still stuck.

Thanks for responding.  Nice eagle.
Bill






On Wed, Jan 25, 2017 at 4:02 PM, Christopher Menzel <chris.men...@gmail.com>
wrote:

> Hi Bill,
>
> What platform? Mac? Windows? Linux? Also, what sorts of messages are you
> getting? And, just to make sure, did you insert a pointer to your .bib file
> at the end of your document by selecting Insert → List/TOC → BibTeX
> bibliography? All you say is that you stuck the file somewhere but LaTeX
> needs to know where to find it.
>
> In my experience with all three platforms, if you install the latest
> version of TeX for your platform and then the latest version of LyX, things
> generally should Just Work. So if you haven't upgraded your TeX
> installation in a while I'd consider doing that and then installing Lyx
> 2.2.2. (You should rename your copy of LyX 2.0.5.1 first to avoid having it
> overwritten; it'll still work.)
>
> -chris
>
> > On 25 Jan 2017, at 3:16 PM, William Hanson <whan...@umn.edu> wrote:
> >
> > Dear All,
> >
> > I've created a BibTeX (.bib) file in Mendeley Desktop and used the
> Import option in Mendeley to get this file into a folder in my main
> collection of folders (outside Mendeley Desktop).  But I can't get LyX to
> access this file and create citations in documents I'm working on. When I
> try to insert a citation into a document I'm given access only to an old
> list of citations, not to those in the new file just mentioned.  And I
> can't get LyX to let me add the citations in the new file to the old list.
> >
> > I'm using LyX 2.0.5.1, which I've used for years.  I've downloaded
> 2.2.2.2, but but I can barely get started with it.  It keeps telling me
> that I have to add new files to make things work, but I'm unable to do so,
> and the Users Manual doesn't help.
> >
> > What should I do?
> >
> > Bill Hanson
>
>

Attaching References

[William Hanson]

Dear All,

I've created a BibTeX (.bib) file in Mendeley Desktop and used the Import
option in Mendeley to get this file into a folder in my main collection of
folders (outside Mendeley Desktop).  But I can't get LyX to access this
file and create citations in documents I'm working on. When I try to insert
a citation into a document I'm given access only to an old list of
citations, not to those in the new file just mentioned.  And I can't get
LyX to let me add the citations in the new file to the old list.

I'm using LyX 2.0.5.1, which I've used for years.  I've downloaded 2.2.2.2,
but but I can barely get started with it.  It keeps telling me that I have
to add new files to make things work, but I'm unable to do so, and the
Users Manual doesn't help.

What should I do?

Bill Hanson

Re: Reference Problem Redux

[William Hanson]

It worked!  Thanks very much.

-Bill

On Thu, Mar 5, 2015 at 9:51 AM, Enrico Forestieri for...@lyx.org wrote:

 Enrico Forestieri writes:
 
  If so, you can try applying the patch at
  http://www.lyx.org/trac/changeset/417c233d/lyxgit
 
  In this case, it is very easy. You only need editing the configure.py
 file
  in your LyX installation (it is a text file) and change the lines marked
  in red as shown in the lines marked in green (they are only two lines and
  there may be a slight mismatch in the line numbers, as that patch refers
  to the development version).

 It just occurred to me that a simpler option exists. After navigating to
 the temporary directory, click on the .tex file but don't hit the Open
 button or the Enter key. Rather, go to the location where the filename
 was copied in the file browser, change the extension from .tex to .bbl
 and then hit Open. Even if you cannot see it, the file is there (if you
 followed the previous steps) and will be opened.

 --
 Enrico

Re: Reference Problem Redux

[William Hanson]

It worked!  Thanks very much.

-Bill

On Thu, Mar 5, 2015 at 9:51 AM, Enrico Forestieri for...@lyx.org wrote:

 Enrico Forestieri writes:
 
  If so, you can try applying the patch at
  http://www.lyx.org/trac/changeset/417c233d/lyxgit
 
  In this case, it is very easy. You only need editing the configure.py
 file
  in your LyX installation (it is a text file) and change the lines marked
  in red as shown in the lines marked in green (they are only two lines and
  there may be a slight mismatch in the line numbers, as that patch refers
  to the development version).

 It just occurred to me that a simpler option exists. After navigating to
 the temporary directory, click on the .tex file but don't hit the Open
 button or the Enter key. Rather, go to the location where the filename
 was copied in the file browser, change the extension from .tex to .bbl
 and then hit Open. Even if you cannot see it, the file is there (if you
 followed the previous steps) and will be opened.

 --
 Enrico

Re: Reference Problem Redux

[William Hanson]

It worked!  Thanks very much.

-Bill

On Thu, Mar 5, 2015 at 9:51 AM, Enrico Forestieri  wrote:

> Enrico Forestieri writes:
> >
> > If so, you can try applying the patch at
> > http://www.lyx.org/trac/changeset/417c233d/lyxgit
> >
> > In this case, it is very easy. You only need editing the configure.py
> file
> > in your LyX installation (it is a text file) and change the lines marked
> > in red as shown in the lines marked in green (they are only two lines and
> > there may be a slight mismatch in the line numbers, as that patch refers
> > to the development version).
>
> It just occurred to me that a simpler option exists. After navigating to
> the temporary directory, click on the .tex file but don't hit the "Open"
> button or the "Enter" key. Rather, go to the location where the filename
> was copied in the file browser, change the extension from .tex to .bbl
> and then hit "Open". Even if you cannot see it, the file is there (if you
> followed the previous steps) and will be opened.
>
> --
> Enrico
>
>
>
>
>

Re: Reference Problem Redux

[William Hanson]

Enrico,

I can get through step 4 of your instructions, but I'm stymied at step 5.
If I'm doing things correctly, at the end of step 4 I'm in LyX looking at
my document. But there is no Show all files option under the File menu in
LyX.  Or do you mean something other than the File menu by the file
dialog?

Bill

On Tue, Mar 3, 2015 at 4:50 PM, Enrico Forestieri for...@lyx.org wrote:

 William Hanson writes:
 
  Dear All,  Last summer Stefano Franchi did something  for me that I was
  unable do.  He created a tex file out of a lyx file and a bib file.
  I'm in the same bind again.  The problem, then and now, is that when I
 try
  to create a tex file of my LyX document, the resulting tex file does not
  contain the References that are in the original LyX document.  (All the
  references are from BiBtex.  Following Stefano's instructions, I have the
  document itself (a lyx file) and my Bibtex database (a bib file) in the
  same folder--under My Documents in Windows 7).
 
  When I use LyX to create a tex file (by selecting File - Export - LaTeX
  (plain)),  I get an error message saying that the filename ... can cause
  troubles when running the exported file through LaTeX and opening the
  resulting DVI.  If I ignore this warning and press on, I get another
 error
  message that says, There are spaces in the paths to your BibTeX
 database.
  BibTeX will be unable to find them.  (The only space in the path in
  question is between My and Documents in My Documents.  I've tried
  closing this space by renaming My Documents in Windows 7 as
  MyDocuments, but it doesn't help.  I still get the same two error
  messages.)  If I ignore this second warning and continue I get a tex file
  of the document itself but without any of the references.
 
  What should I do?

 Try the following procedure:
 1) Start LyX and preview your document (generate a pdf).
 2) Go to Tools-Preferences-Paths and take note of the
Temporary directory location.
 3) Select File-Import-LaTeX (plain) and navigate to the
Temporary directory location.
 4) Enter the directory whose name starts with lyx_tmpdir and then
the subdirectory named lyx_tmpbuf0 (you may have more than one,
lyx_tmpbuf1, lyx_tmpbuf2, etc., each one corresponding to a different
document).
 5) Select Show all files in the file dialog and choose the file whose
name is the same as that of your document but with extension .bbl.
 6) If tex2lyx does its job, you will now have your bibliography in LyX
format in another tab. Copy everything and paste it in place of
the BibTeX Generated Bibliography inset in your document.
 7) You can now export to latex with complete references.

 HTH

 --
 Enrico

Re: Reference Problem Redux

[William Hanson]

Enrico,

I can get through step 4 of your instructions, but I'm stymied at step 5.
If I'm doing things correctly, at the end of step 4 I'm in LyX looking at
my document. But there is no Show all files option under the File menu in
LyX.  Or do you mean something other than the File menu by the file
dialog?

Bill

On Tue, Mar 3, 2015 at 4:50 PM, Enrico Forestieri for...@lyx.org wrote:

 William Hanson writes:
 
  Dear All,  Last summer Stefano Franchi did something  for me that I was
  unable do.  He created a tex file out of a lyx file and a bib file.
  I'm in the same bind again.  The problem, then and now, is that when I
 try
  to create a tex file of my LyX document, the resulting tex file does not
  contain the References that are in the original LyX document.  (All the
  references are from BiBtex.  Following Stefano's instructions, I have the
  document itself (a lyx file) and my Bibtex database (a bib file) in the
  same folder--under My Documents in Windows 7).
 
  When I use LyX to create a tex file (by selecting File - Export - LaTeX
  (plain)),  I get an error message saying that the filename ... can cause
  troubles when running the exported file through LaTeX and opening the
  resulting DVI.  If I ignore this warning and press on, I get another
 error
  message that says, There are spaces in the paths to your BibTeX
 database.
  BibTeX will be unable to find them.  (The only space in the path in
  question is between My and Documents in My Documents.  I've tried
  closing this space by renaming My Documents in Windows 7 as
  MyDocuments, but it doesn't help.  I still get the same two error
  messages.)  If I ignore this second warning and continue I get a tex file
  of the document itself but without any of the references.
 
  What should I do?

 Try the following procedure:
 1) Start LyX and preview your document (generate a pdf).
 2) Go to Tools-Preferences-Paths and take note of the
Temporary directory location.
 3) Select File-Import-LaTeX (plain) and navigate to the
Temporary directory location.
 4) Enter the directory whose name starts with lyx_tmpdir and then
the subdirectory named lyx_tmpbuf0 (you may have more than one,
lyx_tmpbuf1, lyx_tmpbuf2, etc., each one corresponding to a different
document).
 5) Select Show all files in the file dialog and choose the file whose
name is the same as that of your document but with extension .bbl.
 6) If tex2lyx does its job, you will now have your bibliography in LyX
format in another tab. Copy everything and paste it in place of
the BibTeX Generated Bibliography inset in your document.
 7) You can now export to latex with complete references.

 HTH

 --
 Enrico

Re: Reference Problem Redux

[William Hanson]

Enrico,

I can get through step 4 of your instructions, but I'm stymied at step 5.
If I'm doing things correctly, at the end of step 4 I'm in LyX looking at
my document. But there is no "Show all files" option under the File menu in
LyX.  Or do you mean something other than the File menu by "the file
dialog"?

Bill

On Tue, Mar 3, 2015 at 4:50 PM, Enrico Forestieri <for...@lyx.org> wrote:

> William Hanson writes:
> >
> > Dear All,  Last summer Stefano Franchi did something  for me that I was
> > unable do.  He created a tex file out of a lyx file and a bib file.
> > I'm in the same bind again.  The problem, then and now, is that when I
> try
> > to create a tex file of my LyX document, the resulting tex file does not
> > contain the References that are in the original LyX document.  (All the
> > references are from BiBtex.  Following Stefano's instructions, I have the
> > document itself (a lyx file) and my Bibtex database (a bib file) in the
> > same folder--under My Documents in Windows 7).
> >
> > When I use LyX to create a tex file (by selecting File -> Export -> LaTeX
> > (plain)),  I get an error message saying that the filename "... can cause
> > troubles when running the exported file through LaTeX and opening the
> > resulting DVI".  If I ignore this warning and press on, I get another
> error
> > message that says, "There are spaces in the paths to your BibTeX
> database.
> > BibTeX will be unable to find them".  (The only space in the path in
> > question is between "My" and "Documents" in "My Documents".  I've tried
> > closing this space by renaming "My Documents" in Windows 7 as
> > "MyDocuments", but it doesn't help.  I still get the same two error
> > messages.)  If I ignore this second warning and continue I get a tex file
> > of the document itself but without any of the references.
> >
> > What should I do?
>
> Try the following procedure:
> 1) Start LyX and preview your document (generate a pdf).
> 2) Go to Tools->Preferences->Paths and take note of the
>"Temporary directory" location.
> 3) Select File->Import->LaTeX (plain) and navigate to the
>"Temporary directory" location.
> 4) Enter the directory whose name starts with "lyx_tmpdir" and then
>the subdirectory named lyx_tmpbuf0 (you may have more than one,
>lyx_tmpbuf1, lyx_tmpbuf2, etc., each one corresponding to a different
>document).
> 5) Select "Show all files" in the file dialog and choose the file whose
>name is the same as that of your document but with extension .bbl.
> 6) If tex2lyx does its job, you will now have your bibliography in LyX
>format in another tab. Copy everything and paste it in place of
>the "BibTeX Generated Bibliography" inset in your document.
> 7) You can now export to latex with complete references.
>
> HTH
>
> --
> Enrico
>

Reference Problem Redux

[William Hanson]

Dear All,
Last summer Stefano Franchi did something for me that I was unable do.  He
created a tex file out of a lyx file and a bib file.  I'm in the same bind
again.  The problem, then and now, is that when I try to create a tex file
of my LyX document, the resulting tex file does not contain the References
that are in the original LyX document.  (All the references are from
BiBtex.  Following Stefano's instructions, I have the document itself (a
lyx file) and my Bibtex database (a bib file) in the same folder--under My
Documents in Windows 7).

When I use LyX to create a tex file (by selecting  File - Export - LaTeX
(plain)),  I get an error message saying that the filename ... can cause
troubles when running the exported file through LaTeX and opening the
resulting DVI.  If I ignore this warning and press on, I get another error
message that says, There are spaces in the paths to your BibTeX database.
BibTeX will be unable to find them.  (The only space in the path in
question is between My and Documents in My Documents.  I've tried
closing this space by renaming My Documents in Windows 7 as
MyDocuments, but it doesn't help.  I still get the same two error
messages.)  If I ignore this second warning and continue I get a tex file
of the document itself but without any of the references.

What should I do?

Bill

Reference Problem Redux

[William Hanson]

Dear All,
Last summer Stefano Franchi did something for me that I was unable do.  He
created a tex file out of a lyx file and a bib file.  I'm in the same bind
again.  The problem, then and now, is that when I try to create a tex file
of my LyX document, the resulting tex file does not contain the References
that are in the original LyX document.  (All the references are from
BiBtex.  Following Stefano's instructions, I have the document itself (a
lyx file) and my Bibtex database (a bib file) in the same folder--under My
Documents in Windows 7).

When I use LyX to create a tex file (by selecting  File - Export - LaTeX
(plain)),  I get an error message saying that the filename ... can cause
troubles when running the exported file through LaTeX and opening the
resulting DVI.  If I ignore this warning and press on, I get another error
message that says, There are spaces in the paths to your BibTeX database.
BibTeX will be unable to find them.  (The only space in the path in
question is between My and Documents in My Documents.  I've tried
closing this space by renaming My Documents in Windows 7 as
MyDocuments, but it doesn't help.  I still get the same two error
messages.)  If I ignore this second warning and continue I get a tex file
of the document itself but without any of the references.

What should I do?

Bill

Reference Problem Redux

[William Hanson]

Dear All,
Last summer Stefano Franchi did something for me that I was unable do.  He
created a tex file out of a lyx file and a bib file.  I'm in the same bind
again.  The problem, then and now, is that when I try to create a tex file
of my LyX document, the resulting tex file does not contain the References
that are in the original LyX document.  (All the references are from
BiBtex.  Following Stefano's instructions, I have the document itself (a
lyx file) and my Bibtex database (a bib file) in the same folder--under My
Documents in Windows 7).

When I use LyX to create a tex file (by selecting  File -> Export -> LaTeX
(plain)),  I get an error message saying that the filename "... can cause
troubles when running the exported file through LaTeX and opening the
resulting DVI".  If I ignore this warning and press on, I get another error
message that says, "There are spaces in the paths to your BibTeX database.
BibTeX will be unable to find them".  (The only space in the path in
question is between "My" and "Documents" in "My Documents".  I've tried
closing this space by renaming "My Documents" in Windows 7 as
"MyDocuments", but it doesn't help.  I still get the same two error
messages.)  If I ignore this second warning and continue I get a tex file
of the document itself but without any of the references.

What should I do?

Bill

Re: Generating a Tex

[William Hanson]

The first time I tried to execute your step 1, immediately above, I got an
error saying that it wouldn't work because of spaces.   I tried it again
and I did get myfile.tex.  I then ran pdflatex myfile.tex (your step 2).
But, contrary to your 3, I did not get a file called myfile.log. (It did,
however, produce the following files:  myfile.toc, myfile.aux,
synctex.gz.)

So I'm stuck at this point.

Cheers,

Bill


On Thu, Aug 28, 2014 at 9:03 AM, stefano franchi stefano.fran...@gmail.com
wrote:




 On Wed, Aug 27, 2014 at 11:09 PM, William Hanson whan...@umn.edu wrote:

 Sorry, but I do not seem to be able to reply except by top posting.

 I'm using Windows, 64 bit.

 Here's the very end of my .tex file:

 \begin{quotation}

 \bibliographystyle{plain}

 \bibliography{\string//phil-home.ad.umn.edu/phil-home$/whanson/My
 Documents/BibTeX/library\string}

 \end{quotation}

 \end{document}


 I have tried removing the space in ...My Documents ..., but it doesn't
 help.  In fact in the process of removing the spaces I've somehow managed
 to mess up my document so that now when I convert it to a pdf file there
 are no references at the end.  And in the text all the citations say [?].



 I suppose removing the space in My Documents won't help---not, that is,
 unless you actaully rename the My Documents directory in Windows to
 MyDocuments. And that is not a great idea, as My Documents is a Windows
 standard directory and renaming it will undoubtedly mess things up badly,
 At any rate, since the the address of your bib file is wrapped by a
 \string command, it should actually work even if it contains a space---that
 is what the \string command should take care of. In theory at least.
 We need to know exactly what is the problem that prevents bibtex from
 producing a bbl file. I would suggest the following if you'd like more help:

 1. Export your file  to Latex(plain) and produce something called
 myfile.tex
 2. Run pdflatex myfile.tex in a terminal.
 3. You will see that pdflatex produces (in addition to myfile.pdf) a file
 called myfile.log.
 4. Post that file to the list
 5. Run bibtex myfile and cut and paste everything bibtex spits to the
 terminal into another file. Call it myfile.bib.log.
 6. Post that file to the list as well

 (there are more elegant ways to collect a program's output than what I
 just suggested, but I don't know how to accomplish them in Windows. Perhaps
 other users may help. But the above should work)

 Cheers,
 Stefano



 Bill







 On Wed, Aug 27, 2014 at 2:47 PM, stefano franchi 
 stefano.fran...@gmail.com wrote:




 On Wed, Aug 27, 2014 at 2:26 PM, William Hanson whan...@umn.edu wrote:

 Well, I got as far as your 3, that is I ran bibtex on myfile.tex from
 the command line.  It gave me lots of LateX Errors, like

 LaTeX Warning: Citation `plantinga:1985a' on page 2 undefined on input
 line 103



 That probably means bibtex cannot find your bib file(s).  Look at the
 .tex file in anb editor. At the very end (most likely the next to last
 line), you'll see a line like:
 \bibliography{}

 Inside the braces you will have the complete path to your bibtex file
 (the .bib file, but without the extension). Check that:
 1. That path is indeed correct (is the file really there?).
 2, There are no spaces in the path (fix the problem if otherwise.
 Easiest way is to copy your lyx file and your bib file to a temporary
 directory in your home directory)


 If neither of these suggestions works, please post the complete output
 of the bibtex run (from the terminal)


 But it didn't seem to produce  myfile.bbl; at least I don't see it
 anywhere.  Maybe it didn't generate because of all the errors?
 So I'm stuck at this point.

 Yes, it was not generated because bibtex ran into troubles.



 By the way, I did find a space in the filename, which I closed.  I
 don't know how to tell if there are spaces in the directory structure.



  Which system are you on (Mac, Linux, Win)? I can help with the first
 two, but I am hopeless on Windows.

 Cheers,

 Stefano

 P.S. Also, please do not top post. Answer in line with your replies
 immediately following the relevant point you are responding to. It makes
 for easier and faster reading. Besides, it is the list convention

 --
 __
 Stefano Franchi
 Associate Research Professor
 Department of Hispanic Studies Ph:   +1 (979) 845-2125
 Texas AM University  Fax:  +1 (979) 845-6421
 College Station, Texas, USA

 stef...@tamu.edu
 http://stefano.cleinias.org





 --
 __
 Stefano Franchi
 Associate Research Professor
 Department of Hispanic Studies Ph:   +1 (979) 845-2125
 Texas AM University  Fax:  +1 (979) 845-6421
 College Station, Texas, USA

 stef...@tamu.edu
 http://stefano.cleinias.org

Re: Generating a Tex

[William Hanson]

I am calling pdflatex from the command line of TeXworks.

It did also produce a myfile.pdf file.

What I see on my screen after running pdflatex is a window labeled
myfile.tex - TeXworks.  It contains what apparently is myfile.tex, which I
assume is the TeX version of my paper,




On Thu, Aug 28, 2014 at 11:58 AM, stefano franchi stefano.fran...@gmail.com
 wrote:




 On Thu, Aug 28, 2014 at 11:47 AM, William Hanson whan...@umn.edu wrote:

 The first time I tried to execute your step 1, immediately above, I got
 an error saying that it wouldn't work because of spaces.   I tried it again
 and I did get myfile.tex.  I then ran pdflatex myfile.tex (your step 2).
 But, contrary to your 3, I did not get a file called myfile.log. (It did,
 however, produce the following files:  myfile.toc, myfile.aux,
 synctex.gz.)



 This is strange, pdflatex always produces a log file unless instructed
 otherwise. Are you calling pdflatex from the command line or are you using
 a latex editor (such as texmaker or winedit, for instance). That would
 explain the lack of a log file, as these editors may be configured to erase
 log files and/or move them to other directories.

 Do you also have a myfile.pdf file? That would indicate that the pdflatex
 run was at least partially successful.

 And what did you see on the console when you ran pdflatex (assuming you
 are using a terminal-like interface and not a LaTeX editor)?


 S.



 --
 __
 Stefano Franchi

 stefano.fran...@gmail.com stef...@tamu.edu
 http://stefano.cleinias.org

Re: Generating a Tex

[William Hanson]

Breaking News!  I just ran LaTeX(plain) on myfile.lyx and it produced
mytext.bbl.  I've never gotten a bbl file before.  This is good, isn't it?
Is there an easy way forward from here?


On Thu, Aug 28, 2014 at 12:59 PM, stefano franchi stefano.fran...@gmail.com
 wrote:




 On Thu, Aug 28, 2014 at 12:55 PM, stefano franchi 
 stefano.fran...@gmail.com wrote:




 On Thu, Aug 28, 2014 at 12:26 PM, William Hanson whan...@umn.edu wrote:

 I am calling pdflatex from the command line of TeXworks.

 It did also produce a myfile.pdf file.

 What I see on my screen after running pdflatex is a window labeled
 myfile.tex - TeXworks.  It contains what apparently is myfile.tex, which I
 assume is the TeX version of my paper,



 If you use texworks, you should just be able to select pdflatex from the
 Typeset menu, and it will compile your file to myfile.pdf and also produce
 a myfile.log. For instance, this is what I see in TeXWorks console, when I
 try to compile a test.tex file:

 This is pdfTeX, Version 3.14159265-2.6-1.40.15 (TeX Live 2014) (preloaded
 format=pdflatex)

 restricted \write18 enabled.

 entering extended mode

 (./test.tex

 LaTeX2e 2014/05/01

 Babel 3.9k and hyphenation patterns for 79 languages loaded.

 (/usr/local/texlive/2014/texmf-dist/tex/latex/base/article.cls

 Document Class: article 2007/10/19 v1.4h Standard LaTeX document class

 (/usr/local/texlive/2014/texmf-dist/tex/latex/base/size11.clo))

 (/usr/local/texlive/2014/texmf-dist/tex/latex/base/fontenc.sty

 (/usr/local/texlive/2014/texmf-dist/tex/latex/base/t1enc.def))

 (/usr/local/texlive/2014/texmf-dist/tex/generic/babel/babel.sty

 (/usr/local/texlive/2014/texmf-dist/tex/generic/babel-english/english.ldf

 (/usr/local/texlive/2014/texmf-dist/tex/generic/babel/babel.def)))


 LaTeX Warning: Unused global option(s):

 [article].


 (./test.aux)
 [1{/usr/local/texlive/2014/texmf-var/fonts/map/pdftex/updmap/pdfte

 x.map}] (./test.aux)
 ){/usr/local/texlive/2014/texmf-dist/fonts/enc/dvips/cm-su


 per/cm-super-t1.enc}/usr/local/texlive/2014/texmf-dist/fonts/type1/public/cm-s

 uper/sfrm1095.pfb

 Output written on test.pdf (1 page, 13144 bytes).

 SyncTeX written on test.synctex.gz.

 Transcript written on test.log.


 Notice how on the last line it informs me that it has produced a log file.


 At any rate, try recompiling your file, and if you cannot find the log
 file, juct cut and paste everything you see in TeXWorks's console output
 window into an email message and send it to the list.

 Do the same for a compilation with bibtex (just select bibtex from the
 Typeset menu and hit ctrl-T). Cut and paste the console output into an
 email message and send it to the list.


 That should give us enough info to understand what's going wrong.




 The alternative is to use a good old-fashioned terminal---I believe it is
 called Command prompt in Windows, or at least it used to be. See here [1]
 on how to do it in Windows 7 (with apologies if it is obvious to you).


 [1]
 http://smallbusiness.chron.com/open-terminal-session-windows-7-56627.html




 S.


 --
 __
 Stefano Franchi

 stefano.fran...@gmail.com stef...@tamu.edu
 http://stefano.cleinias.org

Re: Generating a Tex

[William Hanson]

So close, but my bbl file does not show up om TeXWorks.  I don't see any
all files ffrom the open dialog.


On Thu, Aug 28, 2014 at 2:12 PM, stefano franchi stefano.fran...@gmail.com
wrote:




 On Thu, Aug 28, 2014 at 1:54 PM, William Hanson whan...@umn.edu wrote:

 Breaking News!  I just ran LaTeX(plain) on myfile.lyx and it produced
 mytext.bbl.  I've never gotten a bbl file before.  This is good, isn't it?
 Is there an easy way forward from here?



 Assuming your bbl file is correct, you're almost there. You just:

 1. open the myfile.bbl file in TeXWorks (be sure to select all files
 ffrom the open dialog or it won't show up)
 2. Select and copy everything in the bbl file
 3, go to your myfile,.tex file in TeXWorks, delete the two lines (at the
 end), that begin with, respectively, \bibliographystyle and \bibliography
 and replace them with the content you just copied from the bbl file.
 4. Compile the file again with pdflatex to be sure everything works
 correctly and the pdf is how it should be (with all the refs, etcetera).
 5. Send to Springer!

 Cheers,

 Stefano

 --
 __
 Stefano Franchi

 stefano.fran...@gmail.com stef...@tamu.edu
 http://stefano.cleinias.org

Re: Generating a Tex

[William Hanson]

Foiled again, I'm afraid.  All that's in the bbl file is

\begin{thebibliography}{}

\end{thebibliography}


Cheers nonetheless.



On Thu, Aug 28, 2014 at 3:02 PM, stefano franchi stefano.fran...@gmail.com
wrote:




 On Thu, Aug 28, 2014 at 2:46 PM, William Hanson whan...@umn.edu wrote:

 So close, but my bbl file does not show up om TeXWorks.  I don't see any
   all files ffrom the open dialog.



 Look at the last line in the open file dialog screen (see attached
 screenshot, where it says Filter). It is a pop up menu, you need to click
 on it and select the last item all files


 S.

 --
 __
 Stefano Franchi

 stefano.fran...@gmail.com stef...@tamu.edu
 http://stefano.cleinias.org

Re: Generating a Tex

[William Hanson]

The first time I tried to execute your step 1, immediately above, I got an
error saying that it wouldn't work because of spaces.   I tried it again
and I did get myfile.tex.  I then ran pdflatex myfile.tex (your step 2).
But, contrary to your 3, I did not get a file called myfile.log. (It did,
however, produce the following files:  myfile.toc, myfile.aux,
synctex.gz.)

So I'm stuck at this point.

Cheers,

Bill


On Thu, Aug 28, 2014 at 9:03 AM, stefano franchi stefano.fran...@gmail.com
wrote:




 On Wed, Aug 27, 2014 at 11:09 PM, William Hanson whan...@umn.edu wrote:

 Sorry, but I do not seem to be able to reply except by top posting.

 I'm using Windows, 64 bit.

 Here's the very end of my .tex file:

 \begin{quotation}

 \bibliographystyle{plain}

 \bibliography{\string//phil-home.ad.umn.edu/phil-home$/whanson/My
 Documents/BibTeX/library\string}

 \end{quotation}

 \end{document}


 I have tried removing the space in ...My Documents ..., but it doesn't
 help.  In fact in the process of removing the spaces I've somehow managed
 to mess up my document so that now when I convert it to a pdf file there
 are no references at the end.  And in the text all the citations say [?].



 I suppose removing the space in My Documents won't help---not, that is,
 unless you actaully rename the My Documents directory in Windows to
 MyDocuments. And that is not a great idea, as My Documents is a Windows
 standard directory and renaming it will undoubtedly mess things up badly,
 At any rate, since the the address of your bib file is wrapped by a
 \string command, it should actually work even if it contains a space---that
 is what the \string command should take care of. In theory at least.
 We need to know exactly what is the problem that prevents bibtex from
 producing a bbl file. I would suggest the following if you'd like more help:

 1. Export your file  to Latex(plain) and produce something called
 myfile.tex
 2. Run pdflatex myfile.tex in a terminal.
 3. You will see that pdflatex produces (in addition to myfile.pdf) a file
 called myfile.log.
 4. Post that file to the list
 5. Run bibtex myfile and cut and paste everything bibtex spits to the
 terminal into another file. Call it myfile.bib.log.
 6. Post that file to the list as well

 (there are more elegant ways to collect a program's output than what I
 just suggested, but I don't know how to accomplish them in Windows. Perhaps
 other users may help. But the above should work)

 Cheers,
 Stefano



 Bill







 On Wed, Aug 27, 2014 at 2:47 PM, stefano franchi 
 stefano.fran...@gmail.com wrote:




 On Wed, Aug 27, 2014 at 2:26 PM, William Hanson whan...@umn.edu wrote:

 Well, I got as far as your 3, that is I ran bibtex on myfile.tex from
 the command line.  It gave me lots of LateX Errors, like

 LaTeX Warning: Citation `plantinga:1985a' on page 2 undefined on input
 line 103



 That probably means bibtex cannot find your bib file(s).  Look at the
 .tex file in anb editor. At the very end (most likely the next to last
 line), you'll see a line like:
 \bibliography{}

 Inside the braces you will have the complete path to your bibtex file
 (the .bib file, but without the extension). Check that:
 1. That path is indeed correct (is the file really there?).
 2, There are no spaces in the path (fix the problem if otherwise.
 Easiest way is to copy your lyx file and your bib file to a temporary
 directory in your home directory)


 If neither of these suggestions works, please post the complete output
 of the bibtex run (from the terminal)


 But it didn't seem to produce  myfile.bbl; at least I don't see it
 anywhere.  Maybe it didn't generate because of all the errors?
 So I'm stuck at this point.

 Yes, it was not generated because bibtex ran into troubles.



 By the way, I did find a space in the filename, which I closed.  I
 don't know how to tell if there are spaces in the directory structure.



  Which system are you on (Mac, Linux, Win)? I can help with the first
 two, but I am hopeless on Windows.

 Cheers,

 Stefano

 P.S. Also, please do not top post. Answer in line with your replies
 immediately following the relevant point you are responding to. It makes
 for easier and faster reading. Besides, it is the list convention

 --
 __
 Stefano Franchi
 Associate Research Professor
 Department of Hispanic Studies Ph:   +1 (979) 845-2125
 Texas AM University  Fax:  +1 (979) 845-6421
 College Station, Texas, USA

 stef...@tamu.edu
 http://stefano.cleinias.org





 --
 __
 Stefano Franchi
 Associate Research Professor
 Department of Hispanic Studies Ph:   +1 (979) 845-2125
 Texas AM University  Fax:  +1 (979) 845-6421
 College Station, Texas, USA

 stef...@tamu.edu
 http://stefano.cleinias.org

Re: Generating a Tex

[William Hanson]

I am calling pdflatex from the command line of TeXworks.

It did also produce a myfile.pdf file.

What I see on my screen after running pdflatex is a window labeled
myfile.tex - TeXworks.  It contains what apparently is myfile.tex, which I
assume is the TeX version of my paper,




On Thu, Aug 28, 2014 at 11:58 AM, stefano franchi stefano.fran...@gmail.com
 wrote:




 On Thu, Aug 28, 2014 at 11:47 AM, William Hanson whan...@umn.edu wrote:

 The first time I tried to execute your step 1, immediately above, I got
 an error saying that it wouldn't work because of spaces.   I tried it again
 and I did get myfile.tex.  I then ran pdflatex myfile.tex (your step 2).
 But, contrary to your 3, I did not get a file called myfile.log. (It did,
 however, produce the following files:  myfile.toc, myfile.aux,
 synctex.gz.)



 This is strange, pdflatex always produces a log file unless instructed
 otherwise. Are you calling pdflatex from the command line or are you using
 a latex editor (such as texmaker or winedit, for instance). That would
 explain the lack of a log file, as these editors may be configured to erase
 log files and/or move them to other directories.

 Do you also have a myfile.pdf file? That would indicate that the pdflatex
 run was at least partially successful.

 And what did you see on the console when you ran pdflatex (assuming you
 are using a terminal-like interface and not a LaTeX editor)?


 S.



 --
 __
 Stefano Franchi

 stefano.fran...@gmail.com stef...@tamu.edu
 http://stefano.cleinias.org

Re: Generating a Tex

[William Hanson]

Breaking News!  I just ran LaTeX(plain) on myfile.lyx and it produced
mytext.bbl.  I've never gotten a bbl file before.  This is good, isn't it?
Is there an easy way forward from here?


On Thu, Aug 28, 2014 at 12:59 PM, stefano franchi stefano.fran...@gmail.com
 wrote:




 On Thu, Aug 28, 2014 at 12:55 PM, stefano franchi 
 stefano.fran...@gmail.com wrote:




 On Thu, Aug 28, 2014 at 12:26 PM, William Hanson whan...@umn.edu wrote:

 I am calling pdflatex from the command line of TeXworks.

 It did also produce a myfile.pdf file.

 What I see on my screen after running pdflatex is a window labeled
 myfile.tex - TeXworks.  It contains what apparently is myfile.tex, which I
 assume is the TeX version of my paper,



 If you use texworks, you should just be able to select pdflatex from the
 Typeset menu, and it will compile your file to myfile.pdf and also produce
 a myfile.log. For instance, this is what I see in TeXWorks console, when I
 try to compile a test.tex file:

 This is pdfTeX, Version 3.14159265-2.6-1.40.15 (TeX Live 2014) (preloaded
 format=pdflatex)

 restricted \write18 enabled.

 entering extended mode

 (./test.tex

 LaTeX2e 2014/05/01

 Babel 3.9k and hyphenation patterns for 79 languages loaded.

 (/usr/local/texlive/2014/texmf-dist/tex/latex/base/article.cls

 Document Class: article 2007/10/19 v1.4h Standard LaTeX document class

 (/usr/local/texlive/2014/texmf-dist/tex/latex/base/size11.clo))

 (/usr/local/texlive/2014/texmf-dist/tex/latex/base/fontenc.sty

 (/usr/local/texlive/2014/texmf-dist/tex/latex/base/t1enc.def))

 (/usr/local/texlive/2014/texmf-dist/tex/generic/babel/babel.sty

 (/usr/local/texlive/2014/texmf-dist/tex/generic/babel-english/english.ldf

 (/usr/local/texlive/2014/texmf-dist/tex/generic/babel/babel.def)))


 LaTeX Warning: Unused global option(s):

 [article].


 (./test.aux)
 [1{/usr/local/texlive/2014/texmf-var/fonts/map/pdftex/updmap/pdfte

 x.map}] (./test.aux)
 ){/usr/local/texlive/2014/texmf-dist/fonts/enc/dvips/cm-su


 per/cm-super-t1.enc}/usr/local/texlive/2014/texmf-dist/fonts/type1/public/cm-s

 uper/sfrm1095.pfb

 Output written on test.pdf (1 page, 13144 bytes).

 SyncTeX written on test.synctex.gz.

 Transcript written on test.log.


 Notice how on the last line it informs me that it has produced a log file.


 At any rate, try recompiling your file, and if you cannot find the log
 file, juct cut and paste everything you see in TeXWorks's console output
 window into an email message and send it to the list.

 Do the same for a compilation with bibtex (just select bibtex from the
 Typeset menu and hit ctrl-T). Cut and paste the console output into an
 email message and send it to the list.


 That should give us enough info to understand what's going wrong.




 The alternative is to use a good old-fashioned terminal---I believe it is
 called Command prompt in Windows, or at least it used to be. See here [1]
 on how to do it in Windows 7 (with apologies if it is obvious to you).


 [1]
 http://smallbusiness.chron.com/open-terminal-session-windows-7-56627.html




 S.


 --
 __
 Stefano Franchi

 stefano.fran...@gmail.com stef...@tamu.edu
 http://stefano.cleinias.org

Re: Generating a Tex

[William Hanson]

So close, but my bbl file does not show up om TeXWorks.  I don't see any
all files ffrom the open dialog.


On Thu, Aug 28, 2014 at 2:12 PM, stefano franchi stefano.fran...@gmail.com
wrote:




 On Thu, Aug 28, 2014 at 1:54 PM, William Hanson whan...@umn.edu wrote:

 Breaking News!  I just ran LaTeX(plain) on myfile.lyx and it produced
 mytext.bbl.  I've never gotten a bbl file before.  This is good, isn't it?
 Is there an easy way forward from here?



 Assuming your bbl file is correct, you're almost there. You just:

 1. open the myfile.bbl file in TeXWorks (be sure to select all files
 ffrom the open dialog or it won't show up)
 2. Select and copy everything in the bbl file
 3, go to your myfile,.tex file in TeXWorks, delete the two lines (at the
 end), that begin with, respectively, \bibliographystyle and \bibliography
 and replace them with the content you just copied from the bbl file.
 4. Compile the file again with pdflatex to be sure everything works
 correctly and the pdf is how it should be (with all the refs, etcetera).
 5. Send to Springer!

 Cheers,

 Stefano

 --
 __
 Stefano Franchi

 stefano.fran...@gmail.com stef...@tamu.edu
 http://stefano.cleinias.org

Re: Generating a Tex

[William Hanson]

Foiled again, I'm afraid.  All that's in the bbl file is

\begin{thebibliography}{}

\end{thebibliography}


Cheers nonetheless.



On Thu, Aug 28, 2014 at 3:02 PM, stefano franchi stefano.fran...@gmail.com
wrote:




 On Thu, Aug 28, 2014 at 2:46 PM, William Hanson whan...@umn.edu wrote:

 So close, but my bbl file does not show up om TeXWorks.  I don't see any
   all files ffrom the open dialog.



 Look at the last line in the open file dialog screen (see attached
 screenshot, where it says Filter). It is a pop up menu, you need to click
 on it and select the last item all files


 S.

 --
 __
 Stefano Franchi

 stefano.fran...@gmail.com stef...@tamu.edu
 http://stefano.cleinias.org

Re: Generating a Tex

[William Hanson]

The first time I tried to execute your step 1, immediately above, I got an
error saying that it wouldn't work because of spaces.   I tried it again
and I did get myfile.tex.  I then ran pdflatex myfile.tex (your step 2).
But, contrary to your 3, I did not get a file called myfile.log. (It did,
however, produce the following files:  myfile.toc, myfile.aux,
synctex.gz.)

So I'm stuck at this point.

Cheers,

Bill


On Thu, Aug 28, 2014 at 9:03 AM, stefano franchi <stefano.fran...@gmail.com>
wrote:

>
>
>
> On Wed, Aug 27, 2014 at 11:09 PM, William Hanson <whan...@umn.edu> wrote:
>
>> Sorry, but I do not seem to be able to reply except by "top posting".
>>
>> I'm using Windows, 64 bit.
>>
>> Here's the very end of my .tex file:
>>
>> \begin{quotation}
>>
>> \bibliographystyle{plain}
>>
>> \bibliography{\string"//phil-home.ad.umn.edu/phil-home$/whanson/My
>> Documents/BibTeX/library\string"}
>>
>> \end{quotation}
>>
>> \end{document}
>>
>>
>> I have tried removing the space in "...My Documents ...", but it doesn't
>> help.  In fact in the process of removing the spaces I've somehow managed
>> to mess up my document so that now when I convert it to a pdf file there
>> are no references at the end.  And in the text all the citations say [?].
>>
>>
>>
> I suppose removing the space in "My Documents" won't help---not, that is,
> unless you actaully rename the "My Documents" directory in Windows to
> "MyDocuments". And that is not a great idea, as "My Documents" is a Windows
> standard directory and renaming it will undoubtedly mess things up badly,
> At any rate, since the the address of your bib file is wrapped by a
> \string command, it should actually work even if it contains a space---that
> is what the \string command should take care of. In theory at least.
> We need to know exactly what is the problem that prevents bibtex from
> producing a bbl file. I would suggest the following if you'd like more help:
>
> 1. Export your file  to Latex(plain) and produce something called
> "myfile.tex"
> 2. Run "pdflatex myfile.tex" in a terminal.
> 3. You will see that pdflatex produces (in addition to myfile.pdf) a file
> called myfile.log.
> 4. Post that file to the list
> 5. Run "bibtex myfile" and cut and paste everything bibtex spits to the
> terminal into another file. Call it myfile.bib.log.
> 6. Post that file to the list as well
>
> (there are more elegant ways to collect a program's output than what I
> just suggested, but I don't know how to accomplish them in Windows. Perhaps
> other users may help. But the above should work)
>
> Cheers,
> Stefano
>
>
>
>> Bill
>>
>>
>>
>>
>>
>>
>>
>> On Wed, Aug 27, 2014 at 2:47 PM, stefano franchi <
>> stefano.fran...@gmail.com> wrote:
>>
>>>
>>>
>>>
>>> On Wed, Aug 27, 2014 at 2:26 PM, William Hanson <whan...@umn.edu> wrote:
>>>
>>>> Well, I got as far as your 3, that is I ran bibtex on myfile.tex from
>>>> the command line.  It gave me lots of LateX Errors, like
>>>>
>>>> LaTeX Warning: Citation `plantinga:1985a' on page 2 undefined on input
>>>> line 103
>>>>
>>>
>>>
>>> That probably means bibtex cannot find your bib file(s).  Look at the
>>> .tex file in anb editor. At the very end (most likely the next to last
>>> line), you'll see a line like:
>>> \bibliography{}
>>>
>>> Inside the braces you will have the complete path to your bibtex file
>>> (the .bib file, but without the extension). Check that:
>>> 1. That path is indeed correct (is the file really there?).
>>> 2, There are no spaces in the path (fix the problem if otherwise.
>>> Easiest way is to copy your lyx file and your bib file to a temporary
>>> directory in your home directory)
>>>
>>>
>>> If neither of these suggestions works, please post the complete output
>>> of the bibtex run (from the terminal)
>>>
>>>
>>>> But it didn't seem to produce  myfile.bbl; at least I don't see it
>>>> anywhere.  Maybe it didn't generate because of all the errors?
>>>> So I'm stuck at this point.
>>>>
>>>> Yes, it was not generated because bibtex ran into troubles.
>>>
>>>
>>>
>>>> By the way, I did find a space in the filename, 

Re: Generating a Tex

[William Hanson]

I am calling pdflatex from the command line of TeXworks.

It did also produce a myfile.pdf file.

What I see on my screen after running pdflatex is a window labeled
myfile.tex - TeXworks.  It contains what apparently is myfile.tex, which I
assume is the TeX version of my paper,




On Thu, Aug 28, 2014 at 11:58 AM, stefano franchi <stefano.fran...@gmail.com
> wrote:

>
>
>
> On Thu, Aug 28, 2014 at 11:47 AM, William Hanson <whan...@umn.edu> wrote:
>
>> The first time I tried to execute your step 1, immediately above, I got
>> an error saying that it wouldn't work because of spaces.   I tried it again
>> and I did get myfile.tex.  I then ran pdflatex myfile.tex (your step 2).
>> But, contrary to your 3, I did not get a file called myfile.log. (It did,
>> however, produce the following files:  myfile.toc, myfile.aux,
>> synctex.gz.)
>>
>
>
> This is strange, pdflatex always produces a log file unless instructed
> otherwise. Are you calling pdflatex from the command line or are you using
> a latex editor (such as texmaker or winedit, for instance). That would
> explain the lack of a log file, as these editors may be configured to erase
> log files and/or move them to other directories.
>
> Do you also have a myfile.pdf file? That would indicate that the pdflatex
> run was at least partially successful.
>
> And what did you see on the console when you ran pdflatex (assuming you
> are using a terminal-like interface and not a LaTeX editor)?
>
>
> S.
>
>
>
> --
> __
> Stefano Franchi
>
> stefano.fran...@gmail.com <stef...@tamu.edu>
> http://stefano.cleinias.org
>

Re: Generating a Tex

[William Hanson]

Breaking News!  I just ran LaTeX(plain) on myfile.lyx and it produced
mytext.bbl.  I've never gotten a bbl file before.  This is good, isn't it?
Is there an easy way forward from here?


On Thu, Aug 28, 2014 at 12:59 PM, stefano franchi <stefano.fran...@gmail.com
> wrote:

>
>
>
> On Thu, Aug 28, 2014 at 12:55 PM, stefano franchi <
> stefano.fran...@gmail.com> wrote:
>
>>
>>
>>
>> On Thu, Aug 28, 2014 at 12:26 PM, William Hanson <whan...@umn.edu> wrote:
>>
>>> I am calling pdflatex from the command line of TeXworks.
>>>
>>> It did also produce a myfile.pdf file.
>>>
>>> What I see on my screen after running pdflatex is a window labeled
>>> myfile.tex - TeXworks.  It contains what apparently is myfile.tex, which I
>>> assume is the TeX version of my paper,
>>>
>>>
>>>
>> If you use texworks, you should just be able to select pdflatex from the
>> Typeset menu, and it will compile your file to myfile.pdf and also produce
>> a myfile.log. For instance, this is what I see in TeXWorks console, when I
>> try to compile a test.tex file:
>>
>> This is pdfTeX, Version 3.14159265-2.6-1.40.15 (TeX Live 2014) (preloaded
>> format=pdflatex)
>>
>> restricted \write18 enabled.
>>
>> entering extended mode
>>
>> (./test.tex
>>
>> LaTeX2e <2014/05/01>
>>
>> Babel <3.9k> and hyphenation patterns for 79 languages loaded.
>>
>> (/usr/local/texlive/2014/texmf-dist/tex/latex/base/article.cls
>>
>> Document Class: article 2007/10/19 v1.4h Standard LaTeX document class
>>
>> (/usr/local/texlive/2014/texmf-dist/tex/latex/base/size11.clo))
>>
>> (/usr/local/texlive/2014/texmf-dist/tex/latex/base/fontenc.sty
>>
>> (/usr/local/texlive/2014/texmf-dist/tex/latex/base/t1enc.def))
>>
>> (/usr/local/texlive/2014/texmf-dist/tex/generic/babel/babel.sty
>>
>> (/usr/local/texlive/2014/texmf-dist/tex/generic/babel-english/english.ldf
>>
>> (/usr/local/texlive/2014/texmf-dist/tex/generic/babel/babel.def)))
>>
>>
>> LaTeX Warning: Unused global option(s):
>>
>> [article].
>>
>>
>> (./test.aux)
>> [1{/usr/local/texlive/2014/texmf-var/fonts/map/pdftex/updmap/pdfte
>>
>> x.map}] (./test.aux)
>> ){/usr/local/texlive/2014/texmf-dist/fonts/enc/dvips/cm-su
>>
>>
>> per/cm-super-t1.enc}>
>> uper/sfrm1095.pfb>
>>
>> Output written on test.pdf (1 page, 13144 bytes).
>>
>> SyncTeX written on test.synctex.gz.
>>
>> Transcript written on test.log.
>>
>>
>> Notice how on the last line it informs me that it has produced a log file.
>>
>>
>> At any rate, try recompiling your file, and if you cannot find the log
>> file, juct cut and paste everything you see in TeXWorks's console output
>> window into an email message and send it to the list.
>>
>> Do the same for a compilation with bibtex (just select bibtex from the
>> Typeset menu and hit ctrl-T). Cut and paste the console output into an
>> email message and send it to the list.
>>
>>
>> That should give us enough info to understand what's going wrong.
>>
>>
>>
>
> The alternative is to use a good old-fashioned terminal---I believe it is
> called "Command prompt" in Windows, or at least it used to be. See here [1]
> on how to do it in Windows 7 (with apologies if it is obvious to you).
>
>
> [1]
> http://smallbusiness.chron.com/open-terminal-session-windows-7-56627.html
>
>
>
>
> S.
>
>
> --
> __
> Stefano Franchi
>
> stefano.fran...@gmail.com <stef...@tamu.edu>
> http://stefano.cleinias.org
>

Re: Generating a Tex

[William Hanson]

So close, but my bbl file does not show up om TeXWorks.  I don't see any
""all files" ffrom the open dialog".


On Thu, Aug 28, 2014 at 2:12 PM, stefano franchi <stefano.fran...@gmail.com>
wrote:

>
>
>
> On Thu, Aug 28, 2014 at 1:54 PM, William Hanson <whan...@umn.edu> wrote:
>
>> Breaking News!  I just ran LaTeX(plain) on myfile.lyx and it produced
>> mytext.bbl.  I've never gotten a bbl file before.  This is good, isn't it?
>> Is there an easy way forward from here?
>>
>
>
> Assuming your bbl file is correct, you're almost there. You just:
>
> 1. open the myfile.bbl file in TeXWorks (be sure to select "all files"
> ffrom the open dialog or it won't show up)
> 2. Select and copy everything in the bbl file
> 3, go to your myfile,.tex file in TeXWorks, delete the two lines (at the
> end), that begin with, respectively, \bibliographystyle and \bibliography
> and replace them with the content you just copied from the bbl file.
> 4. Compile the file again with pdflatex to be sure everything works
> correctly and the pdf is how it should be (with all the refs, etcetera).
> 5. Send to Springer!
>
> Cheers,
>
> Stefano
>
> --
> __
> Stefano Franchi
>
> stefano.fran...@gmail.com <stef...@tamu.edu>
> http://stefano.cleinias.org
>

Re: Generating a Tex

[William Hanson]

Foiled again, I'm afraid.  All that's in the bbl file is

\begin{thebibliography}{}

\end{thebibliography}


Cheers nonetheless.



On Thu, Aug 28, 2014 at 3:02 PM, stefano franchi <stefano.fran...@gmail.com>
wrote:

>
>
>
> On Thu, Aug 28, 2014 at 2:46 PM, William Hanson <whan...@umn.edu> wrote:
>
>> So close, but my bbl file does not show up om TeXWorks.  I don't see any
>>   ""all files" ffrom the open dialog".
>>
>>
>
> Look at the last line in the open file dialog screen (see attached
> screenshot, where it says "Filter"). It is a pop up menu, you need to click
> on it and select the last item "all files"
>
>
> S.
>
> --
> __
> Stefano Franchi
>
> stefano.fran...@gmail.com <stef...@tamu.edu>
> http://stefano.cleinias.org
>

Generating a Tex

[William Hanson]

To All,

I have a document that I want to submit to a Springer journal.  Their web
site won't accept my LyX file.  It wants a TeX file.  How do I convert LyX
to TeX?

Bill Hanson

Re: Generating a Tex

[William Hanson]

Thanks.  That worked.


On Wed, Aug 27, 2014 at 10:06 AM, t...@wescottdesign.com wrote:

 Export gives you five different options to generate a LaTeX file.
 Surely one of them (plain would be my first choice) would work.


 On 2014-08-27 08:02, Eisa Alanazi wrote:

 Did you try export on the file menu? I remember LyX had this feature.

 On Aug 27, 2014, at 5:57 PM, William Hanson whan...@umn.edu wrote:

  To All,

 I have a document that I want to submit to a Springer journal.  Their
 web site won't accept my LyX file.  It wants a TeX file.  How do I convert
 LyX to TeX?

 Bill Hanson

Re: Generating a Tex

[William Hanson]

Well, I got as far as your 3, that is I ran bibtex on myfile.tex from the
command line.  It gave me lots of LateX Errors, like

LaTeX Warning: Citation `plantinga:1985a' on page 2 undefined on input line
103

But it didn't seem to produce  myfile.bbl; at least I don't see it
anywhere.  Maybe it didn't generate because of all the errors?
So I'm stuck at this point.

By the way, I did find a space in the filename, which I closed.  I don't
know how to tell if there are spaces in the directory structure.

Thanks for the help.

Bill


On Wed, Aug 27, 2014 at 12:15 PM, stefano franchi stefano.fran...@gmail.com
 wrote:

 (please, always respond to the list---other users may help or find the
 discussion helpful)


 On Wed, Aug 27, 2014 at 11:58 AM, William Hanson whan...@umn.edu wrote:

 You're right, the file I uploaded to the Springer site did not include my
 bibliography.  Alas!  But now I have more questions.  Using your numbering:

 1. Which of the various LaTeX export options should I choose?


 That depends on what TeX engine you are using (pdfteX, XeTeX, LuaTeX). If
 you don't know what I am taking about, it is safe to assume you are using
 the default engine (pdfTeX). Choose either FileExportLaTeX(plain)  or
 FileExportLaTeX(pdfLaTeX). Either should work.



 And how do I export TO something like myfile.tex?  When I choose one of
 the Exports from the file menu I don't get to choose a file name or a
 destination.



 LyX chooses filename and destination for you: you get a file with exactly
 the same filename as your lyx file, in the same directory. The only
 difference will be the extension, which is changed from .lyx to .tex. For
 instance, if yo are working on MyGreatPaperForSpringer.lyx, you will find
 a file called MyGreatPaperforSpringer.tex in the same directory where the
 .lyx file is.


 And I get a warning that the filename it says it's working with can cause
 trouble.


 You probably have spaces in the filename and/or the directory structure.
 Never a good idea when working with pure LaTeX from the command line. LyX
 takes  care of this problem when you compile a LyX file, but you are on
 your own when using LaTeX yourself. Better to rename the files (and/or
 directories) without spaces before exporting to LaTeX




 2  3.  I'm not sure I have the programs you mention.  Are they part of
 LyX?



 The are part of your TeX installation (TexLive, or MacTeX, or MikTeX,
 depending on whether you are on Linux, Mac, or Windows, respectively). LyX
 can't produce pdf files without TeX, so, yes, if you have ever produced a
 pdf file with LyX, you definitely have all these programs. You just never
 see them, because it is LyX that calls them, not you.

 The only program you need in addition to those provided by TeX is a plain
 text editor. You certainly have one on your system. It may be as
 sophisticated as emacs or as simple as textedit.  It does not matter, since
 you will be using the most basic functionality (cut and paste). I don't
 know which platform you are on, so I can't direct you to a specific
 program. But I can guarantee you will have one installed already.  Just
 don't use a word processor (Word, LibreOffice, etc.) to open your tex and
 bbl files. The will most likely save them in a non-text format (doc, odt,
 etc.) that will mess up everything. There are ways to force
 Word/Libreoffice to work as text editors, but if you know how to do that,
 then you don't need any help on editors...

 Cheers,

 S.



 --
 __
 Stefano Franchi
 Associate Research Professor
 Department of Hispanic Studies Ph:   +1 (979) 845-2125
 Texas AM University  Fax:  +1 (979) 845-6421
 College Station, Texas, USA

 stef...@tamu.edu
 http://stefano.cleinias.org

Re: Generating a Tex

[William Hanson]

This looks wonderful.  However I can't get beyond Step 2 where I'm asked to
create a new folder.  I can't do this because I don't have administrative
status.


On Wed, Aug 27, 2014 at 5:43 PM, Waluyo Adi Siswanto was.u...@gmail.com
wrote:

 On 08/27/2014 10:57 PM, William Hanson wrote:

 To All,

 I have a document that I want to submit to a Springer journal.  Their web
 site won't accept my LyX file.  It wants a TeX file.  How do I convert LyX
 to TeX?

 Bill Hanson


 Last time I had a similar problem.
 The way I managed to submit correctly to springer system was documented
 here:

 http://waluyo-adi-siswanto.blogspot.com/2013/06/
 preparing-springer-article-manuscript.html

 I hope this is useful.

 Regards,
 Waluyo

Re: Generating a Tex

[William Hanson]

Sorry, but I do not seem to be able to reply except by top posting.

I'm using Windows, 64 bit.

Here's the very end of my .tex file:

\begin{quotation}

\bibliographystyle{plain}

\bibliography{\string//phil-home.ad.umn.edu/phil-home$/whanson/My
Documents/BibTeX/library\string}

\end{quotation}

\end{document}


I have tried removing the space in ...My Documents ..., but it doesn't
help.  In fact in the process of removing the spaces I've somehow managed
to mess up my document so that now when I convert it to a pdf file there
are no references at the end.  And in the text all the citations say [?].


Bill







On Wed, Aug 27, 2014 at 2:47 PM, stefano franchi stefano.fran...@gmail.com
wrote:




 On Wed, Aug 27, 2014 at 2:26 PM, William Hanson whan...@umn.edu wrote:

 Well, I got as far as your 3, that is I ran bibtex on myfile.tex from the
 command line.  It gave me lots of LateX Errors, like

 LaTeX Warning: Citation `plantinga:1985a' on page 2 undefined on input
 line 103



 That probably means bibtex cannot find your bib file(s).  Look at the .tex
 file in anb editor. At the very end (most likely the next to last line),
 you'll see a line like:
 \bibliography{}

 Inside the braces you will have the complete path to your bibtex file (the
 .bib file, but without the extension). Check that:
 1. That path is indeed correct (is the file really there?).
 2, There are no spaces in the path (fix the problem if otherwise. Easiest
 way is to copy your lyx file and your bib file to a temporary directory in
 your home directory)


 If neither of these suggestions works, please post the complete output of
 the bibtex run (from the terminal)


 But it didn't seem to produce  myfile.bbl; at least I don't see it
 anywhere.  Maybe it didn't generate because of all the errors?
 So I'm stuck at this point.

 Yes, it was not generated because bibtex ran into troubles.



 By the way, I did find a space in the filename, which I closed.  I don't
 know how to tell if there are spaces in the directory structure.



 Which system are you on (Mac, Linux, Win)? I can help with the first two,
 but I am hopeless on Windows.

 Cheers,

 Stefano

 P.S. Also, please do not top post. Answer in line with your replies
 immediately following the relevant point you are responding to. It makes
 for easier and faster reading. Besides, it is the list convention

 --
 __
 Stefano Franchi
 Associate Research Professor
 Department of Hispanic Studies Ph:   +1 (979) 845-2125
 Texas AM University  Fax:  +1 (979) 845-6421
 College Station, Texas, USA

 stef...@tamu.edu
 http://stefano.cleinias.org

Generating a Tex

[William Hanson]

To All,

I have a document that I want to submit to a Springer journal.  Their web
site won't accept my LyX file.  It wants a TeX file.  How do I convert LyX
to TeX?

Bill Hanson

Re: Generating a Tex

[William Hanson]

Thanks.  That worked.


On Wed, Aug 27, 2014 at 10:06 AM, t...@wescottdesign.com wrote:

 Export gives you five different options to generate a LaTeX file.
 Surely one of them (plain would be my first choice) would work.


 On 2014-08-27 08:02, Eisa Alanazi wrote:

 Did you try export on the file menu? I remember LyX had this feature.

 On Aug 27, 2014, at 5:57 PM, William Hanson whan...@umn.edu wrote:

  To All,

 I have a document that I want to submit to a Springer journal.  Their
 web site won't accept my LyX file.  It wants a TeX file.  How do I convert
 LyX to TeX?

 Bill Hanson

Re: Generating a Tex

[William Hanson]

Well, I got as far as your 3, that is I ran bibtex on myfile.tex from the
command line.  It gave me lots of LateX Errors, like

LaTeX Warning: Citation `plantinga:1985a' on page 2 undefined on input line
103

But it didn't seem to produce  myfile.bbl; at least I don't see it
anywhere.  Maybe it didn't generate because of all the errors?
So I'm stuck at this point.

By the way, I did find a space in the filename, which I closed.  I don't
know how to tell if there are spaces in the directory structure.

Thanks for the help.

Bill


On Wed, Aug 27, 2014 at 12:15 PM, stefano franchi stefano.fran...@gmail.com
 wrote:

 (please, always respond to the list---other users may help or find the
 discussion helpful)


 On Wed, Aug 27, 2014 at 11:58 AM, William Hanson whan...@umn.edu wrote:

 You're right, the file I uploaded to the Springer site did not include my
 bibliography.  Alas!  But now I have more questions.  Using your numbering:

 1. Which of the various LaTeX export options should I choose?


 That depends on what TeX engine you are using (pdfteX, XeTeX, LuaTeX). If
 you don't know what I am taking about, it is safe to assume you are using
 the default engine (pdfTeX). Choose either FileExportLaTeX(plain)  or
 FileExportLaTeX(pdfLaTeX). Either should work.



 And how do I export TO something like myfile.tex?  When I choose one of
 the Exports from the file menu I don't get to choose a file name or a
 destination.



 LyX chooses filename and destination for you: you get a file with exactly
 the same filename as your lyx file, in the same directory. The only
 difference will be the extension, which is changed from .lyx to .tex. For
 instance, if yo are working on MyGreatPaperForSpringer.lyx, you will find
 a file called MyGreatPaperforSpringer.tex in the same directory where the
 .lyx file is.


 And I get a warning that the filename it says it's working with can cause
 trouble.


 You probably have spaces in the filename and/or the directory structure.
 Never a good idea when working with pure LaTeX from the command line. LyX
 takes  care of this problem when you compile a LyX file, but you are on
 your own when using LaTeX yourself. Better to rename the files (and/or
 directories) without spaces before exporting to LaTeX




 2  3.  I'm not sure I have the programs you mention.  Are they part of
 LyX?



 The are part of your TeX installation (TexLive, or MacTeX, or MikTeX,
 depending on whether you are on Linux, Mac, or Windows, respectively). LyX
 can't produce pdf files without TeX, so, yes, if you have ever produced a
 pdf file with LyX, you definitely have all these programs. You just never
 see them, because it is LyX that calls them, not you.

 The only program you need in addition to those provided by TeX is a plain
 text editor. You certainly have one on your system. It may be as
 sophisticated as emacs or as simple as textedit.  It does not matter, since
 you will be using the most basic functionality (cut and paste). I don't
 know which platform you are on, so I can't direct you to a specific
 program. But I can guarantee you will have one installed already.  Just
 don't use a word processor (Word, LibreOffice, etc.) to open your tex and
 bbl files. The will most likely save them in a non-text format (doc, odt,
 etc.) that will mess up everything. There are ways to force
 Word/Libreoffice to work as text editors, but if you know how to do that,
 then you don't need any help on editors...

 Cheers,

 S.



 --
 __
 Stefano Franchi
 Associate Research Professor
 Department of Hispanic Studies Ph:   +1 (979) 845-2125
 Texas AM University  Fax:  +1 (979) 845-6421
 College Station, Texas, USA

 stef...@tamu.edu
 http://stefano.cleinias.org

Re: Generating a Tex

[William Hanson]

This looks wonderful.  However I can't get beyond Step 2 where I'm asked to
create a new folder.  I can't do this because I don't have administrative
status.


On Wed, Aug 27, 2014 at 5:43 PM, Waluyo Adi Siswanto was.u...@gmail.com
wrote:

 On 08/27/2014 10:57 PM, William Hanson wrote:

 To All,

 I have a document that I want to submit to a Springer journal.  Their web
 site won't accept my LyX file.  It wants a TeX file.  How do I convert LyX
 to TeX?

 Bill Hanson


 Last time I had a similar problem.
 The way I managed to submit correctly to springer system was documented
 here:

 http://waluyo-adi-siswanto.blogspot.com/2013/06/
 preparing-springer-article-manuscript.html

 I hope this is useful.

 Regards,
 Waluyo

Re: Generating a Tex

[William Hanson]

Sorry, but I do not seem to be able to reply except by top posting.

I'm using Windows, 64 bit.

Here's the very end of my .tex file:

\begin{quotation}

\bibliographystyle{plain}

\bibliography{\string//phil-home.ad.umn.edu/phil-home$/whanson/My
Documents/BibTeX/library\string}

\end{quotation}

\end{document}


I have tried removing the space in ...My Documents ..., but it doesn't
help.  In fact in the process of removing the spaces I've somehow managed
to mess up my document so that now when I convert it to a pdf file there
are no references at the end.  And in the text all the citations say [?].


Bill







On Wed, Aug 27, 2014 at 2:47 PM, stefano franchi stefano.fran...@gmail.com
wrote:




 On Wed, Aug 27, 2014 at 2:26 PM, William Hanson whan...@umn.edu wrote:

 Well, I got as far as your 3, that is I ran bibtex on myfile.tex from the
 command line.  It gave me lots of LateX Errors, like

 LaTeX Warning: Citation `plantinga:1985a' on page 2 undefined on input
 line 103



 That probably means bibtex cannot find your bib file(s).  Look at the .tex
 file in anb editor. At the very end (most likely the next to last line),
 you'll see a line like:
 \bibliography{}

 Inside the braces you will have the complete path to your bibtex file (the
 .bib file, but without the extension). Check that:
 1. That path is indeed correct (is the file really there?).
 2, There are no spaces in the path (fix the problem if otherwise. Easiest
 way is to copy your lyx file and your bib file to a temporary directory in
 your home directory)


 If neither of these suggestions works, please post the complete output of
 the bibtex run (from the terminal)


 But it didn't seem to produce  myfile.bbl; at least I don't see it
 anywhere.  Maybe it didn't generate because of all the errors?
 So I'm stuck at this point.

 Yes, it was not generated because bibtex ran into troubles.



 By the way, I did find a space in the filename, which I closed.  I don't
 know how to tell if there are spaces in the directory structure.



 Which system are you on (Mac, Linux, Win)? I can help with the first two,
 but I am hopeless on Windows.

 Cheers,

 Stefano

 P.S. Also, please do not top post. Answer in line with your replies
 immediately following the relevant point you are responding to. It makes
 for easier and faster reading. Besides, it is the list convention

 --
 __
 Stefano Franchi
 Associate Research Professor
 Department of Hispanic Studies Ph:   +1 (979) 845-2125
 Texas AM University  Fax:  +1 (979) 845-6421
 College Station, Texas, USA

 stef...@tamu.edu
 http://stefano.cleinias.org

Generating a Tex

[William Hanson]

To All,

I have a document that I want to submit to a Springer journal.  Their web
site won't accept my LyX file.  It wants a TeX file.  How do I convert LyX
to TeX?

Bill Hanson

Re: Generating a Tex

[William Hanson]

Thanks.  That worked.


On Wed, Aug 27, 2014 at 10:06 AM, <t...@wescottdesign.com> wrote:

> "Export" gives you five different options to generate a LaTeX file.
> Surely one of them ("plain" would be my first choice) would work.
>
>
> On 2014-08-27 08:02, Eisa Alanazi wrote:
>
>> Did you try "export" on the file menu? I remember LyX had this feature.
>>
>> On Aug 27, 2014, at 5:57 PM, William Hanson <whan...@umn.edu> wrote:
>>
>>  To All,
>>>
>>> I have a document that I want to submit to a Springer journal.  Their
>>> web site won't accept my LyX file.  It wants a TeX file.  How do I convert
>>> LyX to TeX?
>>>
>>> Bill Hanson
>>>
>>

Re: Generating a Tex

[William Hanson]

Well, I got as far as your 3, that is I ran bibtex on myfile.tex from the
command line.  It gave me lots of LateX Errors, like

LaTeX Warning: Citation `plantinga:1985a' on page 2 undefined on input line
103

But it didn't seem to produce  myfile.bbl; at least I don't see it
anywhere.  Maybe it didn't generate because of all the errors?
So I'm stuck at this point.

By the way, I did find a space in the filename, which I closed.  I don't
know how to tell if there are spaces in the directory structure.

Thanks for the help.

Bill


On Wed, Aug 27, 2014 at 12:15 PM, stefano franchi <stefano.fran...@gmail.com
> wrote:

> (please, always respond to the list---other users may help or find the
> discussion helpful)
>
>
> On Wed, Aug 27, 2014 at 11:58 AM, William Hanson <whan...@umn.edu> wrote:
>
>> You're right, the file I uploaded to the Springer site did not include my
>> bibliography.  Alas!  But now I have more questions.  Using your numbering:
>>
>> 1. Which of the various LaTeX export options should I choose?
>>
>
> That depends on what TeX engine you are using (pdfteX, XeTeX, LuaTeX). If
> you don't know what I am taking about, it is safe to assume you are using
> the default engine (pdfTeX). Choose either File>>Export>>LaTeX(plain)  or
> File>>Export>>LaTeX(pdfLaTeX). Either should work.
>
>
>
>> And how do I export TO something like myfile.tex?  When I choose one of
>> the Exports from the file menu I don't get to choose a file name or a
>> destination.
>>
>
>
> LyX chooses filename and destination for you: you get a file with exactly
> the same filename as your lyx file, in the same directory. The only
> difference will be the extension, which is changed from .lyx to .tex. For
> instance, if yo are working on "MyGreatPaperForSpringer.lyx", you will find
> a file called "MyGreatPaperforSpringer.tex" in the same directory where the
> .lyx file is.
>
>
> And I get a warning that the filename it says it's working with can cause
>> trouble.
>>
>
> You probably have spaces in the filename and/or the directory structure.
> Never a good idea when working with pure LaTeX from the command line. LyX
> takes  care of this problem when you compile a LyX file, but you are on
> your own when using LaTeX yourself. Better to rename the files (and/or
> directories) without spaces before exporting to LaTeX
>
>
>
>
>> 2 & 3.  I'm not sure I have the programs you mention.  Are they part of
>> LyX?
>>
>
>
> The are part of your TeX installation (TexLive, or MacTeX, or MikTeX,
> depending on whether you are on Linux, Mac, or Windows, respectively). LyX
> can't produce pdf files without TeX, so, yes, if you have ever produced a
> pdf file with LyX, you definitely have all these programs. You just never
> see them, because it is LyX that calls them, not you.
>
> The only program you need in addition to those provided by TeX is a plain
> text editor. You certainly have one on your system. It may be as
> sophisticated as emacs or as simple as textedit.  It does not matter, since
> you will be using the most basic functionality (cut and paste). I don't
> know which platform you are on, so I can't direct you to a specific
> program. But I can guarantee you will have one installed already.  Just
> don't use a word processor (Word, LibreOffice, etc.) to open your tex and
> bbl files. The will most likely save them in a non-text format (doc, odt,
> etc.) that will mess up everything. There are ways to force
> Word/Libreoffice to work as text editors, but if you know how to do that,
> then you don't need any help on editors...
>
> Cheers,
>
> S.
>
>
>
> --
> __
> Stefano Franchi
> Associate Research Professor
> Department of Hispanic Studies Ph:   +1 (979) 845-2125
> Texas A University  Fax:  +1 (979) 845-6421
> College Station, Texas, USA
>
> stef...@tamu.edu
> http://stefano.cleinias.org
>

Re: Generating a Tex

[William Hanson]

This looks wonderful.  However I can't get beyond Step 2 where I'm asked to
create a new folder.  I can't do this because I don't have administrative
status.


On Wed, Aug 27, 2014 at 5:43 PM, Waluyo Adi Siswanto <was.u...@gmail.com>
wrote:

> On 08/27/2014 10:57 PM, William Hanson wrote:
>
>> To All,
>>
>> I have a document that I want to submit to a Springer journal.  Their web
>> site won't accept my LyX file.  It wants a TeX file.  How do I convert LyX
>> to TeX?
>>
>> Bill Hanson
>>
>
> Last time I had a similar problem.
> The way I managed to submit correctly to springer system was documented
> here:
>
> http://waluyo-adi-siswanto.blogspot.com/2013/06/
> preparing-springer-article-manuscript.html
>
> I hope this is useful.
>
> Regards,
> Waluyo
>

Re: Generating a Tex

[William Hanson]

Sorry, but I do not seem to be able to reply except by "top posting".

I'm using Windows, 64 bit.

Here's the very end of my .tex file:

\begin{quotation}

\bibliographystyle{plain}

\bibliography{\string"//phil-home.ad.umn.edu/phil-home$/whanson/My
Documents/BibTeX/library\string"}

\end{quotation}

\end{document}


I have tried removing the space in "...My Documents ...", but it doesn't
help.  In fact in the process of removing the spaces I've somehow managed
to mess up my document so that now when I convert it to a pdf file there
are no references at the end.  And in the text all the citations say [?].


Bill







On Wed, Aug 27, 2014 at 2:47 PM, stefano franchi <stefano.fran...@gmail.com>
wrote:

>
>
>
> On Wed, Aug 27, 2014 at 2:26 PM, William Hanson <whan...@umn.edu> wrote:
>
>> Well, I got as far as your 3, that is I ran bibtex on myfile.tex from the
>> command line.  It gave me lots of LateX Errors, like
>>
>> LaTeX Warning: Citation `plantinga:1985a' on page 2 undefined on input
>> line 103
>>
>
>
> That probably means bibtex cannot find your bib file(s).  Look at the .tex
> file in anb editor. At the very end (most likely the next to last line),
> you'll see a line like:
> \bibliography{}
>
> Inside the braces you will have the complete path to your bibtex file (the
> .bib file, but without the extension). Check that:
> 1. That path is indeed correct (is the file really there?).
> 2, There are no spaces in the path (fix the problem if otherwise. Easiest
> way is to copy your lyx file and your bib file to a temporary directory in
> your home directory)
>
>
> If neither of these suggestions works, please post the complete output of
> the bibtex run (from the terminal)
>
>
>> But it didn't seem to produce  myfile.bbl; at least I don't see it
>> anywhere.  Maybe it didn't generate because of all the errors?
>> So I'm stuck at this point.
>>
>> Yes, it was not generated because bibtex ran into troubles.
>
>
>
>> By the way, I did find a space in the filename, which I closed.  I don't
>> know how to tell if there are spaces in the directory structure.
>>
>>
>
> Which system are you on (Mac, Linux, Win)? I can help with the first two,
> but I am hopeless on Windows.
>
> Cheers,
>
> Stefano
>
> P.S. Also, please do not "top post." Answer in line with your replies
> immediately following the relevant point you are responding to. It makes
> for easier and faster reading. Besides, it is the list convention
>
> --
> __
> Stefano Franchi
> Associate Research Professor
> Department of Hispanic Studies Ph:   +1 (979) 845-2125
> Texas A University  Fax:  +1 (979) 845-6421
> College Station, Texas, USA
>
> stef...@tamu.edu
> http://stefano.cleinias.org
>

Re: Spellchecker

[William Hanson]

It's 2.0.5.1.  In playing with it a little more I came to the conclusion
that this may just be the spellchecker's way of telling me that it found no
more errors in the remainder  of the document.  Is that plausible?


On Sun, Dec 22, 2013 at 12:13 AM, Liviu Andronic landronim...@gmail.comwrote:

 On Sun, Dec 22, 2013 at 1:11 AM, William Hanson whan...@umn.edu wrote:
  I'm trying to run the spellchecker on a document of about 23,000 words.
  It
  stops about halfway through, says it has reached the end of the document,
  and asks me if I want to start over from the beginning.  I've tried
 creating
  a new, shorter document consisting of the last half of my original, but I
  get the same message when I try to run the spellchecker starting at the
  beginning of it.  Any suggestions?
 
 What version of LyX?

 Liviu


 --
 Do you know how to read?
 http://www.alienetworks.com/srtest.cfm
 http://goodies.xfce.org/projects/applications/xfce4-dict#speed-reader
 Do you know how to write?
 http://garbl.home.comcast.net/~garbl/stylemanual/e.htm#e-mail

Re: Spellchecker

[William Hanson]

Yes, it does detect deliberately introduced errors inserted near the end of
the document.  I was thrown off by the screen message that said it had
reached the end of the document, when it clearly hadn't.  If it had said
that there were no more errors, I would have understood.  All is well.
Thanks.

Bill


On Sun, Dec 22, 2013 at 5:42 PM, William Hanson whan...@umn.edu wrote:

 It's 2.0.5.1.  In playing with it a little more I came to the conclusion
 that this may just be the spellchecker's way of telling me that it found no
 more errors in the remainder  of the document.  Is that plausible?


 On Sun, Dec 22, 2013 at 12:13 AM, Liviu Andronic 
 landronim...@gmail.comwrote:

 On Sun, Dec 22, 2013 at 1:11 AM, William Hanson whan...@umn.edu wrote:
  I'm trying to run the spellchecker on a document of about 23,000 words.
  It
  stops about halfway through, says it has reached the end of the
 document,
  and asks me if I want to start over from the beginning.  I've tried
 creating
  a new, shorter document consisting of the last half of my original, but
 I
  get the same message when I try to run the spellchecker starting at the
  beginning of it.  Any suggestions?
 
 What version of LyX?

 Liviu


 --
 Do you know how to read?
 http://www.alienetworks.com/srtest.cfm
 http://goodies.xfce.org/projects/applications/xfce4-dict#speed-reader
 Do you know how to write?
 http://garbl.home.comcast.net/~garbl/stylemanual/e.htm#e-mail

Re: Spellchecker

[William Hanson]

It's 2.0.5.1.  In playing with it a little more I came to the conclusion
that this may just be the spellchecker's way of telling me that it found no
more errors in the remainder  of the document.  Is that plausible?


On Sun, Dec 22, 2013 at 12:13 AM, Liviu Andronic landronim...@gmail.comwrote:

 On Sun, Dec 22, 2013 at 1:11 AM, William Hanson whan...@umn.edu wrote:
  I'm trying to run the spellchecker on a document of about 23,000 words.
  It
  stops about halfway through, says it has reached the end of the document,
  and asks me if I want to start over from the beginning.  I've tried
 creating
  a new, shorter document consisting of the last half of my original, but I
  get the same message when I try to run the spellchecker starting at the
  beginning of it.  Any suggestions?
 
 What version of LyX?

 Liviu


 --
 Do you know how to read?
 http://www.alienetworks.com/srtest.cfm
 http://goodies.xfce.org/projects/applications/xfce4-dict#speed-reader
 Do you know how to write?
 http://garbl.home.comcast.net/~garbl/stylemanual/e.htm#e-mail

Re: Spellchecker

[William Hanson]

Yes, it does detect deliberately introduced errors inserted near the end of
the document.  I was thrown off by the screen message that said it had
reached the end of the document, when it clearly hadn't.  If it had said
that there were no more errors, I would have understood.  All is well.
Thanks.

Bill


On Sun, Dec 22, 2013 at 5:42 PM, William Hanson whan...@umn.edu wrote:

 It's 2.0.5.1.  In playing with it a little more I came to the conclusion
 that this may just be the spellchecker's way of telling me that it found no
 more errors in the remainder  of the document.  Is that plausible?


 On Sun, Dec 22, 2013 at 12:13 AM, Liviu Andronic 
 landronim...@gmail.comwrote:

 On Sun, Dec 22, 2013 at 1:11 AM, William Hanson whan...@umn.edu wrote:
  I'm trying to run the spellchecker on a document of about 23,000 words.
  It
  stops about halfway through, says it has reached the end of the
 document,
  and asks me if I want to start over from the beginning.  I've tried
 creating
  a new, shorter document consisting of the last half of my original, but
 I
  get the same message when I try to run the spellchecker starting at the
  beginning of it.  Any suggestions?
 
 What version of LyX?

 Liviu


 --
 Do you know how to read?
 http://www.alienetworks.com/srtest.cfm
 http://goodies.xfce.org/projects/applications/xfce4-dict#speed-reader
 Do you know how to write?
 http://garbl.home.comcast.net/~garbl/stylemanual/e.htm#e-mail

Re: Spellchecker

[William Hanson]

It's 2.0.5.1.  In playing with it a little more I came to the conclusion
that this may just be the spellchecker's way of telling me that it found no
more errors in the remainder  of the document.  Is that plausible?


On Sun, Dec 22, 2013 at 12:13 AM, Liviu Andronic <landronim...@gmail.com>wrote:

> On Sun, Dec 22, 2013 at 1:11 AM, William Hanson <whan...@umn.edu> wrote:
> > I'm trying to run the spellchecker on a document of about 23,000 words.
>  It
> > stops about halfway through, says it has reached the end of the document,
> > and asks me if I want to start over from the beginning.  I've tried
> creating
> > a new, shorter document consisting of the last half of my original, but I
> > get the same message when I try to run the spellchecker starting at the
> > beginning of it.  Any suggestions?
> >
> What version of LyX?
>
> Liviu
>
>
> --
> Do you know how to read?
> http://www.alienetworks.com/srtest.cfm
> http://goodies.xfce.org/projects/applications/xfce4-dict#speed-reader
> Do you know how to write?
> http://garbl.home.comcast.net/~garbl/stylemanual/e.htm#e-mail
>

Re: Spellchecker

[William Hanson]

Yes, it does detect deliberately introduced errors inserted near the end of
the document.  I was thrown off by the screen message that said it had
reached the end of the document, when it clearly hadn't.  If it had said
that there were no more errors, I would have understood.  All is well.
Thanks.

Bill


On Sun, Dec 22, 2013 at 5:42 PM, William Hanson <whan...@umn.edu> wrote:

> It's 2.0.5.1.  In playing with it a little more I came to the conclusion
> that this may just be the spellchecker's way of telling me that it found no
> more errors in the remainder  of the document.  Is that plausible?
>
>
> On Sun, Dec 22, 2013 at 12:13 AM, Liviu Andronic 
> <landronim...@gmail.com>wrote:
>
>> On Sun, Dec 22, 2013 at 1:11 AM, William Hanson <whan...@umn.edu> wrote:
>> > I'm trying to run the spellchecker on a document of about 23,000 words.
>>  It
>> > stops about halfway through, says it has reached the end of the
>> document,
>> > and asks me if I want to start over from the beginning.  I've tried
>> creating
>> > a new, shorter document consisting of the last half of my original, but
>> I
>> > get the same message when I try to run the spellchecker starting at the
>> > beginning of it.  Any suggestions?
>> >
>> What version of LyX?
>>
>> Liviu
>>
>>
>> --
>> Do you know how to read?
>> http://www.alienetworks.com/srtest.cfm
>> http://goodies.xfce.org/projects/applications/xfce4-dict#speed-reader
>> Do you know how to write?
>> http://garbl.home.comcast.net/~garbl/stylemanual/e.htm#e-mail
>>
>
>

Spellchecker

[William Hanson]

I'm trying to run the spellchecker on a document of about 23,000 words.  It
stops about halfway through, says it has reached the end of the document,
and asks me if I want to start over from the beginning.  I've tried
creating a new, shorter document consisting of the last half of my
original, but I get the same message when I try to run the spellchecker
starting at the beginning of it.  Any suggestions?

Spellchecker

[William Hanson]

I'm trying to run the spellchecker on a document of about 23,000 words.  It
stops about halfway through, says it has reached the end of the document,
and asks me if I want to start over from the beginning.  I've tried
creating a new, shorter document consisting of the last half of my
original, but I get the same message when I try to run the spellchecker
starting at the beginning of it.  Any suggestions?

Spellchecker

[William Hanson]

I'm trying to run the spellchecker on a document of about 23,000 words.  It
stops about halfway through, says it has reached the end of the document,
and asks me if I want to start over from the beginning.  I've tried
creating a new, shorter document consisting of the last half of my
original, but I get the same message when I try to run the spellchecker
starting at the beginning of it.  Any suggestions?

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: 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: 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.ca>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}]
>&

Re: Logic: Tableau Proofs (trees)

[William Hanson]

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.ca 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{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 you want the tableau. If you
 had it in a TeX box, remove it, put the cursor in its place, and go to
 Insert-File-Child document Click on Browse... and select 
 tableau_example.tex.
 Click OK.

 4. Save your LyX file, and now you should be able to preview it or export
 it.


 PS: Finally, when posting messages to the mailing list please keep the
 same subject line (which you can do by clicking Reply on your e-mail
 client). This allows other people who have a similar problem to follow the
 conversation. Also, ensure that when replying to help from someone in the
 list (including myself), don't forget to CC the mailing list, again, so
 that people can follow the conversation and see the possible solutions.




 On Mon, Nov 4, 2013 at 10:13 PM, William Hanson whan...@umn.edu wrote:

 Despite much help from Ernesto Posse, for which I'm grateful, and which
 has allowed me to make some progress, I'm still far from being able to
 create tableau proofs in LyX.

 The attached file contains an example of what I want to create

Re: Logic: Tableau Proofs (trees)

[William Hanson]

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.ca 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{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 you want the tableau. If you
 had it in a TeX box, remove it, put the cursor in its place, and go to
 Insert-File-Child document Click on Browse... and select 
 tableau_example.tex.
 Click OK.

 4. Save your LyX file, and now you should be able to preview it or export
 it.


 PS: Finally, when posting messages to the mailing list please keep the
 same subject line (which you can do by clicking Reply on your e-mail
 client). This allows other people who have a similar problem to follow the
 conversation. Also, ensure that when replying to help from someone in the
 list (including myself), don't forget to CC the mailing list, again, so
 that people can follow the conversation and see the possible solutions.




 On Mon, Nov 4, 2013 at 10:13 PM, William Hanson whan...@umn.edu wrote:

 Despite much help from Ernesto Posse, for which I'm grateful, and which
 has allowed me to make some progress, I'm still far from being able to
 create tableau proofs in LyX.

 The attached file contains an example of what I want to create

Re: Logic: Tableau Proofs (trees)

[William Hanson]

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.ca> 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{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 you want the tableau. If you
> had it in a TeX box, remove it, put the cursor in its place, and go to
> "Insert->File->Child document...". Click on "Browse..." and select 
> "tableau_example.tex".
> Click OK.
>
> 4. Save your LyX file, and now you should be able to preview it or export
> it.
>
>
> PS: Finally, when posting messages to the mailing list please keep the
> same subject line (which you can do by clicking "Reply" on your e-mail
> client). This allows other people who have a similar problem to follow the
> conversation. Also, ensure that when replying to help from someone in the
> list (including myself), don't forg

Re: Logic: Tableau Proofs (trees)

[William Hanson]

Scott,

Yes, what a good idea.  Here are two examples of what I've been able to do
so far.

In both of the following examples I've copied the code directly out of the
TeX Code box which I got from the Insert menu on the LyX toolbar.

*First example*:  It would be perfect if it did not have those vertical
lines in it.

\def\land{\wedge}
\def\lor{\vee}
\def\limp{\to}
\begin{tikzpicture}
\node {$1\neg ((p \lor (p \land q)) \limp p)$}
child {node {$ 1 p \lor (p \land q)$}
child {node {$1 \neg p $}
child {node {$1 \ p $}}
child {node {$1 p \land q$}
child {node {$1 p $}
child {node {$1 q $}};
\end{tikzpicture}

*Second example*: It would be perfect if the top three lines of text were
centered over the large inverted vee that indicates branching, and if the
latter were the same length on both legs.

def\lor{\vee}
\def\land{\wedge}
\def\limp{\to}
\def\closed{\times}
\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}{5cm}%
1 ~$\neg ((p \lor (p \land q)) \limp p)$\\
1 ~$p \lor (p \land q)$\\
1 ~$\neg p$
\end{minipage}}
child {node {\begin{minipage}{0.6cm}%
1 ~$p$\\
$\closed$
\end{minipage}}}
child {node {\begin{minipage}{1.5cm}%
1 ~$p \land q$\\
1 ~$p$\\
1 ~$q$\\
$\closed$
\end{minipage}}};
\end{tikzpicture}

There they are.  Any Suggestions?

Bill



On Mon, Nov 4, 2013 at 9:50 PM, Scott Kostyshak skost...@lyx.org wrote:

 Hi Bill,

 Have you made an attempt? Could you share it with us?

 Scott

 On Mon, Nov 4, 2013 at 10:13 PM, William Hanson whan...@umn.edu wrote:
  Despite much help from Ernesto Posse, for which I'm grateful, and which
 has
  allowed me to make some progress, I'm still far from being able to create
  tableau proofs in LyX.
 
  The attached file contains an example of what I want to create.  It's a
  tree, each node of which consists of one or more lines of text (one line
  above another).  These multi-line nodes are connected by slanted lines
 that
  indicate branching.  The trees do not contain any vertical lines.  There
 are
  examples in many logic texts, the best source being Melvin Fitting and
  Richard Mendelsohn, First-Order Modal Logic, Kluwer, 1999.
 
  I know there are sources on the web that cover related matters (tress in
  linguistics, sequent-calculus proof), but I've not yet found anything
 that's
  both close to what I need and usable by someone who doesn't know LaTeX.
 
  I've been using LyX for several years.  But since I don't know LaTeX, I'm
  not able to download an existing program and customize it to my needs.
 
  Bill Hanson
 
 

Re: Logic: Tableau Proofs (trees)

[William Hanson]

Scott,

Yes, what a good idea.  Here are two examples of what I've been able to do
so far.

In both of the following examples I've copied the code directly out of the
TeX Code box which I got from the Insert menu on the LyX toolbar.

*First example*:  It would be perfect if it did not have those vertical
lines in it.

\def\land{\wedge}
\def\lor{\vee}
\def\limp{\to}
\begin{tikzpicture}
\node {$1\neg ((p \lor (p \land q)) \limp p)$}
child {node {$ 1 p \lor (p \land q)$}
child {node {$1 \neg p $}
child {node {$1 \ p $}}
child {node {$1 p \land q$}
child {node {$1 p $}
child {node {$1 q $}};
\end{tikzpicture}

*Second example*: It would be perfect if the top three lines of text were
centered over the large inverted vee that indicates branching, and if the
latter were the same length on both legs.

def\lor{\vee}
\def\land{\wedge}
\def\limp{\to}
\def\closed{\times}
\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}{5cm}%
1 ~$\neg ((p \lor (p \land q)) \limp p)$\\
1 ~$p \lor (p \land q)$\\
1 ~$\neg p$
\end{minipage}}
child {node {\begin{minipage}{0.6cm}%
1 ~$p$\\
$\closed$
\end{minipage}}}
child {node {\begin{minipage}{1.5cm}%
1 ~$p \land q$\\
1 ~$p$\\
1 ~$q$\\
$\closed$
\end{minipage}}};
\end{tikzpicture}

There they are.  Any Suggestions?

Bill



On Mon, Nov 4, 2013 at 9:50 PM, Scott Kostyshak skost...@lyx.org wrote:

 Hi Bill,

 Have you made an attempt? Could you share it with us?

 Scott

 On Mon, Nov 4, 2013 at 10:13 PM, William Hanson whan...@umn.edu wrote:
  Despite much help from Ernesto Posse, for which I'm grateful, and which
 has
  allowed me to make some progress, I'm still far from being able to create
  tableau proofs in LyX.
 
  The attached file contains an example of what I want to create.  It's a
  tree, each node of which consists of one or more lines of text (one line
  above another).  These multi-line nodes are connected by slanted lines
 that
  indicate branching.  The trees do not contain any vertical lines.  There
 are
  examples in many logic texts, the best source being Melvin Fitting and
  Richard Mendelsohn, First-Order Modal Logic, Kluwer, 1999.
 
  I know there are sources on the web that cover related matters (tress in
  linguistics, sequent-calculus proof), but I've not yet found anything
 that's
  both close to what I need and usable by someone who doesn't know LaTeX.
 
  I've been using LyX for several years.  But since I don't know LaTeX, I'm
  not able to download an existing program and customize it to my needs.
 
  Bill Hanson
 
 

Re: Logic: Tableau Proofs (trees)

[William Hanson]

Scott,

Yes, what a good idea.  Here are two examples of what I've been able to do
so far.

In both of the following examples I've copied the code directly out of the
TeX Code box which I got from the Insert menu on the LyX toolbar.

*First example*:  It would be perfect if it did not have those vertical
lines in it.

\def\land{\wedge}
\def\lor{\vee}
\def\limp{\to}
\begin{tikzpicture}
\node {$1\neg ((p \lor (p \land q)) \limp p)$}
child {node {$ 1 p \lor (p \land q)$}
child {node {$1 \neg p $}
child {node {$1 \ p $}}
child {node {$1 p \land q$}
child {node {$1 p $}
child {node {$1 q $}};
\end{tikzpicture}

*Second example*: It would be perfect if the top three lines of text were
centered over the large inverted vee that indicates branching, and if the
latter were the same length on both legs.

def\lor{\vee}
\def\land{\wedge}
\def\limp{\to}
\def\closed{\times}
\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}{5cm}%
1 ~$\neg ((p \lor (p \land q)) \limp p)$\\
1 ~$p \lor (p \land q)$\\
1 ~$\neg p$
\end{minipage}}
child {node {\begin{minipage}{0.6cm}%
1 ~$p$\\
$\closed$
\end{minipage}}}
child {node {\begin{minipage}{1.5cm}%
1 ~$p \land q$\\
1 ~$p$\\
1 ~$q$\\
$\closed$
\end{minipage}}};
\end{tikzpicture}

There they are.  Any Suggestions?

Bill



On Mon, Nov 4, 2013 at 9:50 PM, Scott Kostyshak <skost...@lyx.org> wrote:

> Hi Bill,
>
> Have you made an attempt? Could you share it with us?
>
> Scott
>
> On Mon, Nov 4, 2013 at 10:13 PM, William Hanson <whan...@umn.edu> wrote:
> > Despite much help from Ernesto Posse, for which I'm grateful, and which
> has
> > allowed me to make some progress, I'm still far from being able to create
> > tableau proofs in LyX.
> >
> > The attached file contains an example of what I want to create.  It's a
> > tree, each node of which consists of one or more lines of text (one line
> > above another).  These multi-line nodes are connected by slanted lines
> that
> > indicate branching.  The trees do not contain any vertical lines.  There
> are
> > examples in many logic texts, the best source being Melvin Fitting and
> > Richard Mendelsohn, First-Order Modal Logic, Kluwer, 1999.
> >
> > I know there are sources on the web that cover related matters (tress in
> > linguistics, sequent-calculus proof), but I've not yet found anything
> that's
> > both close to what I need and usable by someone who doesn't know LaTeX.
> >
> > I've been using LyX for several years.  But since I don't know LaTeX, I'm
> > not able to download an existing program and customize it to my needs.
> >
> > Bill Hanson
> >
> >
>

Re: Logic: Tableau Proofs (again)

[William Hanson]

Well, that didn't work either.  Sorry for the big message with all the
junk.  I hope some of you will be able to open the attachment.

Bill


On Tue, Oct 29, 2013 at 9:49 AM, William Hanson whan...@umn.edu wrote:

 Dear All,

 Many thanks to Ernesto Posse for the very detailed and helpful response.
 However, what I'm trying to do is eliminate *all* the lines between nodes
 *except* those that indicate a genuine branching of the tree.  In other
 words, I want the overall structure of the tree to look like the following
 (which I tried to attach to my previous messages, but which apparently
 could not be opened).  As usual, any and all help is appreciated.

 Bill






 On Mon, Oct 28, 2013 at 3:45 PM, Ernesto Posse epo...@cs.queensu.cawrote:

 I'm unable to see your attachment, but if I understand what you want, the
 simplest approach is to create phantom nodes in the tree. This can be
 achieved with child [missing] as in the following examples:

 First, a simple tree with two nodes: A and B; A is the root, and B is
 directly below it:

 \begin{tikzpicture}

 \node {A}

child {node {B}};

 \end{tikzpicture}

 Then with node B towards the left:

 \begin{tikzpicture}

 \node {A}

child {node {B}}

child [missing];

 \end{tikzpicture}

 and now, with B towards the right:

 \begin{tikzpicture}

 \node {A}
child [missing]

child {node {B}};

 \end{tikzpicture}

 Now, with your example (I changed the numbers in the nodes, for
 reference):

 \begin{tikzpicture}

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

child {node {$2.~ p \lor (p \land q)$}

   child [missing]

   child {node {$3.~ \neg p $}

  child {node {$4.~ \ p $}}

  child {node {$5.~ p \land q$}

 child [missing]

 child {node {$6.~ p $}

child {node {$7.~ q $}}

child [missing]

child [missing];

 \end{tikzpicture}


 As indicated in the examples above, the position of the child [missing]
 relative to its siblings determines where you get the child nodes. Of
 course you can also add any number of missing children, which increases the
 angle:


 \begin{tikzpicture}

 \node {A}
child [missing]
child [missing]

child {node {B}};

 \end{tikzpicture}

 Furthermore, you can control the distance between sibling nodes:

 \begin{tikzpicture}[sibling distance=4cm]

 \node {A}

child {node {B}}

child {node {C}};

 \end{tikzpicture}


 and even the distance between levels:


 \begin{tikzpicture}[sibling distance=4cm,level distance=5cm]

 \node {A}

child {node {B}}

child {node {C}};

 \end{tikzpicture}


 On Mon, Oct 28, 2013 at 4:06 PM, William Hanson whan...@umn.edu wrote:

 Dear LyX Colleagues,

 I'm still trying to create tableau proofs, which are branching columns
 of text, as illustrated in the attachment.

 Ernesto Posse's sample tableau (below) is helpful, but it contains two
 features I don't want:

 1.  Two sentences at a node, separated by commas.  I want just one
 sentence at each node, as in the attached sample.  I've been figured out
 how to solve this problem by modifying Ernesto's code as follows:

 \def\land{\wedge}
 \def\lor{\vee}
 \def\limp{\to}
 \begin{tikzpicture}
 \node {$1\neg ((p \lor (p \land q)) \limp p)$}
 child {node {$ 1 p \lor (p \land q)$}
 child {node {$1 \neg p $}
 child {node {$1 \ p $}}
 child {node {$1 p \land q$}
 child {node {$1 p $}
 child {node {$1 q $}};
 \end{tikzpicture}

 2.  But the foregoing code retains another feature I don't want:
 vertical lines from node to node when there is no branching.  I want only
 the (approximately) 45 degree (and 315 degree) lines that indicate
 branching, as on the attached sample.

 I've used LyX for several years, but I don't know LaTeX.

 Any and all help appreciated.

 Bill





 [image: Sample 
 Tableau.pdf]https://mail.google.com/mail/u/0/?ui=2ik=fcb7343f58view=attth=141e0e8e8016ae7fattid=0.1disp=saferealattid=f_hn3bnlm80zw
 *Sample Tableau.pdf*
 146K   
 Viewhttps://docs.google.com/viewer?a=vpid=gmailattid=0.1thid=141e0e8e8016ae7fmt=application/pdfauthuser=0url=https://mail.google.com/mail/u/0/?ui%3D2%26ik%3Dfcb7343f58%26view%3Datt%26th%3D141e0e8e8016ae7f%26attid%3D0.1%26disp%3Dsafe%26realattid%3Df_hn3bnlm80%26zwsig=AHIEtbQpDR5qvKd2TSh_O5cOhrpoG-Owmg
 Downloadhttps://mail.google.com/mail/u/0/?ui=2ik=fcb7343f58view=attth=141e0e8e8016ae7fattid=0.1disp=saferealattid=f_hn3bnlm80zw

 Ernesto Posse epo...@cs.queensu.ca
 Oct 22 (6 days ago)

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

 \usepackage{tikz}

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

 \def\land{\wedge}

 \def\lor{\vee}

 \def\limp{\to}

 \begin{tikzpicture}

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

Tableau Proofs: trees again

[William Hanson]

Ernesto, and the group,

Again, Ernesto's many examples of trees are helpful in my quest to create
tableau proofs in LyX.   But these examples still don't have the exact
structure I need.

I've attached (to earlier messages) a pdf file containing an example of
what I'm seeking, but apparently there is trouble viewing it.  I don't
understand this, since in trial e-mails I've sent to myself the file can be
opened and read using Adobe Reader.  I'm using gmail and attaching the file
in the usual way.  I'll attach it again to this message and hope for better
results.

Here's a crude attempt to represent what I'm after. (I hope it comes
through ungarbled.)

not((P or (P  Q)) --P)
P or (P  Q)
not P
  /  \
 /\
/  \
 PP  Q
 x   P
  Q
   x

Each of the seven nodes is a  formula of a specified formal language.  (In
this case it's simple propositional logic.)  Notice that there are no lines
(vertical or sloping) between any of the nodes except when branching
occurs. The only lines in the tree are the sloping ones that indicate
branching.  It is this feature that I'm unable to create.  (I know LyX
pretty well, but I know practically nothing about LaTeX.)

If I could create trees in which nodes are connected with straight lines
only when branching occurs, I'd be well on my way.

Bill

Re: Logic: Tableau Proofs (again)

[William Hanson]

Well, that didn't work either.  Sorry for the big message with all the
junk.  I hope some of you will be able to open the attachment.

Bill


On Tue, Oct 29, 2013 at 9:49 AM, William Hanson whan...@umn.edu wrote:

 Dear All,

 Many thanks to Ernesto Posse for the very detailed and helpful response.
 However, what I'm trying to do is eliminate *all* the lines between nodes
 *except* those that indicate a genuine branching of the tree.  In other
 words, I want the overall structure of the tree to look like the following
 (which I tried to attach to my previous messages, but which apparently
 could not be opened).  As usual, any and all help is appreciated.

 Bill






 On Mon, Oct 28, 2013 at 3:45 PM, Ernesto Posse epo...@cs.queensu.cawrote:

 I'm unable to see your attachment, but if I understand what you want, the
 simplest approach is to create phantom nodes in the tree. This can be
 achieved with child [missing] as in the following examples:

 First, a simple tree with two nodes: A and B; A is the root, and B is
 directly below it:

 \begin{tikzpicture}

 \node {A}

child {node {B}};

 \end{tikzpicture}

 Then with node B towards the left:

 \begin{tikzpicture}

 \node {A}

child {node {B}}

child [missing];

 \end{tikzpicture}

 and now, with B towards the right:

 \begin{tikzpicture}

 \node {A}
child [missing]

child {node {B}};

 \end{tikzpicture}

 Now, with your example (I changed the numbers in the nodes, for
 reference):

 \begin{tikzpicture}

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

child {node {$2.~ p \lor (p \land q)$}

   child [missing]

   child {node {$3.~ \neg p $}

  child {node {$4.~ \ p $}}

  child {node {$5.~ p \land q$}

 child [missing]

 child {node {$6.~ p $}

child {node {$7.~ q $}}

child [missing]

child [missing];

 \end{tikzpicture}


 As indicated in the examples above, the position of the child [missing]
 relative to its siblings determines where you get the child nodes. Of
 course you can also add any number of missing children, which increases the
 angle:


 \begin{tikzpicture}

 \node {A}
child [missing]
child [missing]

child {node {B}};

 \end{tikzpicture}

 Furthermore, you can control the distance between sibling nodes:

 \begin{tikzpicture}[sibling distance=4cm]

 \node {A}

child {node {B}}

child {node {C}};

 \end{tikzpicture}


 and even the distance between levels:


 \begin{tikzpicture}[sibling distance=4cm,level distance=5cm]

 \node {A}

child {node {B}}

child {node {C}};

 \end{tikzpicture}


 On Mon, Oct 28, 2013 at 4:06 PM, William Hanson whan...@umn.edu wrote:

 Dear LyX Colleagues,

 I'm still trying to create tableau proofs, which are branching columns
 of text, as illustrated in the attachment.

 Ernesto Posse's sample tableau (below) is helpful, but it contains two
 features I don't want:

 1.  Two sentences at a node, separated by commas.  I want just one
 sentence at each node, as in the attached sample.  I've been figured out
 how to solve this problem by modifying Ernesto's code as follows:

 \def\land{\wedge}
 \def\lor{\vee}
 \def\limp{\to}
 \begin{tikzpicture}
 \node {$1\neg ((p \lor (p \land q)) \limp p)$}
 child {node {$ 1 p \lor (p \land q)$}
 child {node {$1 \neg p $}
 child {node {$1 \ p $}}
 child {node {$1 p \land q$}
 child {node {$1 p $}
 child {node {$1 q $}};
 \end{tikzpicture}

 2.  But the foregoing code retains another feature I don't want:
 vertical lines from node to node when there is no branching.  I want only
 the (approximately) 45 degree (and 315 degree) lines that indicate
 branching, as on the attached sample.

 I've used LyX for several years, but I don't know LaTeX.

 Any and all help appreciated.

 Bill





 [image: Sample 
 Tableau.pdf]https://mail.google.com/mail/u/0/?ui=2ik=fcb7343f58view=attth=141e0e8e8016ae7fattid=0.1disp=saferealattid=f_hn3bnlm80zw
 *Sample Tableau.pdf*
 146K   
 Viewhttps://docs.google.com/viewer?a=vpid=gmailattid=0.1thid=141e0e8e8016ae7fmt=application/pdfauthuser=0url=https://mail.google.com/mail/u/0/?ui%3D2%26ik%3Dfcb7343f58%26view%3Datt%26th%3D141e0e8e8016ae7f%26attid%3D0.1%26disp%3Dsafe%26realattid%3Df_hn3bnlm80%26zwsig=AHIEtbQpDR5qvKd2TSh_O5cOhrpoG-Owmg
 Downloadhttps://mail.google.com/mail/u/0/?ui=2ik=fcb7343f58view=attth=141e0e8e8016ae7fattid=0.1disp=saferealattid=f_hn3bnlm80zw

 Ernesto Posse epo...@cs.queensu.ca
 Oct 22 (6 days ago)

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

 \usepackage{tikz}

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

 \def\land{\wedge}

 \def\lor{\vee}

 \def\limp{\to}

 \begin{tikzpicture}

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

Tableau Proofs: trees again

[William Hanson]

Ernesto, and the group,

Again, Ernesto's many examples of trees are helpful in my quest to create
tableau proofs in LyX.   But these examples still don't have the exact
structure I need.

I've attached (to earlier messages) a pdf file containing an example of
what I'm seeking, but apparently there is trouble viewing it.  I don't
understand this, since in trial e-mails I've sent to myself the file can be
opened and read using Adobe Reader.  I'm using gmail and attaching the file
in the usual way.  I'll attach it again to this message and hope for better
results.

Here's a crude attempt to represent what I'm after. (I hope it comes
through ungarbled.)

not((P or (P  Q)) --P)
P or (P  Q)
not P
  /  \
 /\
/  \
 PP  Q
 x   P
  Q
   x

Each of the seven nodes is a  formula of a specified formal language.  (In
this case it's simple propositional logic.)  Notice that there are no lines
(vertical or sloping) between any of the nodes except when branching
occurs. The only lines in the tree are the sloping ones that indicate
branching.  It is this feature that I'm unable to create.  (I know LyX
pretty well, but I know practically nothing about LaTeX.)

If I could create trees in which nodes are connected with straight lines
only when branching occurs, I'd be well on my way.

Bill

Re: Logic: Tableau Proofs (again)

[William Hanson]

Well, that didn't work either.  Sorry for the big message with all the
junk.  I hope some of you will be able to open the attachment.

Bill


On Tue, Oct 29, 2013 at 9:49 AM, William Hanson <whan...@umn.edu> wrote:

> Dear All,
>
> Many thanks to Ernesto Posse for the very detailed and helpful response.
> However, what I'm trying to do is eliminate *all* the lines between nodes
> *except* those that indicate a genuine branching of the tree.  In other
> words, I want the overall structure of the tree to look like the following
> (which I tried to attach to my previous messages, but which apparently
> could not be opened).  As usual, any and all help is appreciated.
>
> Bill
>
>
>
>
>
>
> On Mon, Oct 28, 2013 at 3:45 PM, Ernesto Posse <epo...@cs.queensu.ca>wrote:
>
>> I'm unable to see your attachment, but if I understand what you want, the
>> simplest approach is to create "phantom" nodes in the tree. This can be
>> achieved with "child [missing]" as in the following examples:
>>
>> First, a simple tree with two nodes: A and B; A is the root, and B is
>> directly below it:
>>
>> \begin{tikzpicture}
>>
>> \node {A}
>>
>>child {node {B}};
>>
>> \end{tikzpicture}
>>
>> Then with node B towards the left:
>>
>> \begin{tikzpicture}
>>
>> \node {A}
>>
>>child {node {B}}
>>
>>child [missing];
>>
>> \end{tikzpicture}
>>
>> and now, with B towards the right:
>>
>> \begin{tikzpicture}
>>
>> \node {A}
>>child [missing]
>>
>>child {node {B}};
>>
>> \end{tikzpicture}
>>
>> Now, with your example (I changed the numbers in the nodes, for
>> reference):
>>
>> \begin{tikzpicture}
>>
>> \node {$1.~\neg ((p \lor (p \land q)) \limp p)$}
>>
>>child {node {$2.~ p \lor (p \land q)$}
>>
>>   child [missing]
>>
>>   child {node {$3.~ \neg p $}
>>
>>  child {node {$4.~ \ p $}}
>>
>>  child {node {$5.~ p \land q$}
>>
>> child [missing]
>>
>> child {node {$6.~ p $}
>>
>>child {node {$7.~ q $}}
>>
>>child [missing]
>>
>>child [missing];
>>
>> \end{tikzpicture}
>>
>>
>> As indicated in the examples above, the position of the "child [missing]"
>> relative to its siblings determines where you get the child nodes. Of
>> course you can also add any number of missing children, which increases the
>> angle:
>>
>>
>> \begin{tikzpicture}
>>
>> \node {A}
>>child [missing]
>>    child [missing]
>>
>>child {node {B}};
>>
>> \end{tikzpicture}
>>
>> Furthermore, you can control the distance between sibling nodes:
>>
>> \begin{tikzpicture}[sibling distance=4cm]
>>
>> \node {A}
>>
>>child {node {B}}
>>
>>child {node {C}};
>>
>> \end{tikzpicture}
>>
>>
>> and even the distance between levels:
>>
>>
>> \begin{tikzpicture}[sibling distance=4cm,level distance=5cm]
>>
>> \node {A}
>>
>>child {node {B}}
>>
>>child {node {C}};
>>
>> \end{tikzpicture}
>>
>>
>> On Mon, Oct 28, 2013 at 4:06 PM, William Hanson <whan...@umn.edu> wrote:
>>
>>> Dear LyX Colleagues,
>>>
>>> I'm still trying to create tableau proofs, which are branching columns
>>> of text, as illustrated in the attachment.
>>>
>>> Ernesto Posse's sample tableau (below) is helpful, but it contains two
>>> features I don't want:
>>>
>>> 1.  Two sentences at a node, separated by commas.  I want just one
>>> sentence at each node, as in the attached sample.  I've been figured out
>>> how to solve this problem by modifying Ernesto's code as follows:
>>>
>>> \def\land{\wedge}
>>> \def\lor{\vee}
>>> \def\limp{\to}
>>> \begin{tikzpicture}
>>> \node {$1\neg ((p \lor (p \land q)) \limp p)$}
>>> child {node {$ 1 p \lor (p \land q)$}
>>> child {node {$1 \neg p $}
>>> child {node {$1 \ p $}}
>>> child {node {$1 p \land q$}
>>> child {node {$1 p $}
>>> child {node {$1 q $}};
>>> \end{tikzpicture}
>>>
>>>

Tableau Proofs: trees again

[William Hanson]

Ernesto, and the group,

Again, Ernesto's many examples of trees are helpful in my quest to create
tableau proofs in LyX.   But these examples still don't have the exact
structure I need.

I've attached (to earlier messages) a pdf file containing an example of
what I'm seeking, but apparently there is trouble viewing it.  I don't
understand this, since in trial e-mails I've sent to myself the file can be
opened and read using Adobe Reader.  I'm using gmail and attaching the file
in the usual way.  I'll attach it again to this message and hope for better
results.

Here's a crude attempt to represent what I'm after. (I hope it comes
through ungarbled.)

not((P or (P & Q)) -->P)
P or (P & Q)
not P
  /  \
 /\
/  \
 PP & Q
 x   P
  Q
   x

Each of the seven nodes is a  formula of a specified formal language.  (In
this case it's simple propositional logic.)  Notice that there are no lines
(vertical or sloping) between any of the nodes except when branching
occurs. The only lines in the tree are the sloping ones that indicate
branching.  It is this feature that I'm unable to create.  (I know LyX
pretty well, but I know practically nothing about LaTeX.)

If I could create trees in which nodes are connected with straight lines
only when branching occurs, I'd be well on my way.

Bill

Logic: Tableau Proofs (again)

[William Hanson]

Dear LyX Colleagues,

I'm still trying to create tableau proofs, which are branching columns of
text, as illustrated in the attachment.

Ernesto Posse's sample tableau (below) is helpful, but it contains two
features I don't want:

1.  Two sentences at a node, separated by commas.  I want just one sentence
at each node, as in the attached sample.  I've been figured out how to
solve this problem by modifying Ernesto's code as follows:

\def\land{\wedge}
\def\lor{\vee}
\def\limp{\to}
\begin{tikzpicture}
\node {$1\neg ((p \lor (p \land q)) \limp p)$}
child {node {$ 1 p \lor (p \land q)$}
child {node {$1 \neg p $}
child {node {$1 \ p $}}
child {node {$1 p \land q$}
child {node {$1 p $}
child {node {$1 q $}};
\end{tikzpicture}

2.  But the foregoing code retains another feature I don't want: vertical
lines from node to node when there is no branching.  I want only the
(approximately) 45 degree (and 315 degree) lines that indicate branching,
as on the attached sample.

I've used LyX for several years, but I don't know LaTeX.

Any and all help appreciated.

Bill





[image: Sample 
Tableau.pdf]https://mail.google.com/mail/u/0/?ui=2ik=fcb7343f58view=attth=141e0e8e8016ae7fattid=0.1disp=saferealattid=f_hn3bnlm80zw
*Sample Tableau.pdf*
146K   
Viewhttps://docs.google.com/viewer?a=vpid=gmailattid=0.1thid=141e0e8e8016ae7fmt=application/pdfauthuser=0url=https://mail.google.com/mail/u/0/?ui%3D2%26ik%3Dfcb7343f58%26view%3Datt%26th%3D141e0e8e8016ae7f%26attid%3D0.1%26disp%3Dsafe%26realattid%3Df_hn3bnlm80%26zwsig=AHIEtbQpDR5qvKd2TSh_O5cOhrpoG-Owmg
Downloadhttps://mail.google.com/mail/u/0/?ui=2ik=fcb7343f58view=attth=141e0e8e8016ae7fattid=0.1disp=saferealattid=f_hn3bnlm80zw

Ernesto Posse epo...@cs.queensu.ca
Oct 22 (6 days ago)

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

\usepackage{tikz}

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

\def\land{\wedge}

\def\lor{\vee}

\def\limp{\to}

\begin{tikzpicture}

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

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

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

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

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

\end{tikzpicture}


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


Richard Heck rgh...@lyx.org
Oct 22 (6 days ago)

to Ernesto, me, lyx-users
There are lots of useful resources about this here:
http://www.logicmatters.net/latex-for-logicians/trees/

Logic: Tableau Proofs (again)

[William Hanson]

Dear LyX Colleagues,

I'm still trying to create tableau proofs, which are branching columns of
text, as illustrated in the attachment.

Ernesto Posse's sample tableau (below) is helpful, but it contains two
features I don't want:

1.  Two sentences at a node, separated by commas.  I want just one sentence
at each node, as in the attached sample.  I've been figured out how to
solve this problem by modifying Ernesto's code as follows:

\def\land{\wedge}
\def\lor{\vee}
\def\limp{\to}
\begin{tikzpicture}
\node {$1\neg ((p \lor (p \land q)) \limp p)$}
child {node {$ 1 p \lor (p \land q)$}
child {node {$1 \neg p $}
child {node {$1 \ p $}}
child {node {$1 p \land q$}
child {node {$1 p $}
child {node {$1 q $}};
\end{tikzpicture}

2.  But the foregoing code retains another feature I don't want: vertical
lines from node to node when there is no branching.  I want only the
(approximately) 45 degree (and 315 degree) lines that indicate branching,
as on the attached sample.

I've used LyX for several years, but I don't know LaTeX.

Any and all help appreciated.

Bill





[image: Sample 
Tableau.pdf]https://mail.google.com/mail/u/0/?ui=2ik=fcb7343f58view=attth=141e0e8e8016ae7fattid=0.1disp=saferealattid=f_hn3bnlm80zw
*Sample Tableau.pdf*
146K   
Viewhttps://docs.google.com/viewer?a=vpid=gmailattid=0.1thid=141e0e8e8016ae7fmt=application/pdfauthuser=0url=https://mail.google.com/mail/u/0/?ui%3D2%26ik%3Dfcb7343f58%26view%3Datt%26th%3D141e0e8e8016ae7f%26attid%3D0.1%26disp%3Dsafe%26realattid%3Df_hn3bnlm80%26zwsig=AHIEtbQpDR5qvKd2TSh_O5cOhrpoG-Owmg
Downloadhttps://mail.google.com/mail/u/0/?ui=2ik=fcb7343f58view=attth=141e0e8e8016ae7fattid=0.1disp=saferealattid=f_hn3bnlm80zw

Ernesto Posse epo...@cs.queensu.ca
Oct 22 (6 days ago)

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

\usepackage{tikz}

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

\def\land{\wedge}

\def\lor{\vee}

\def\limp{\to}

\begin{tikzpicture}

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

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

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

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

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

\end{tikzpicture}


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


Richard Heck rgh...@lyx.org
Oct 22 (6 days ago)

to Ernesto, me, lyx-users
There are lots of useful resources about this here:
http://www.logicmatters.net/latex-for-logicians/trees/

Logic: Tableau Proofs (again)

[William Hanson]

Dear LyX Colleagues,

I'm still trying to create tableau proofs, which are branching columns of
text, as illustrated in the attachment.

Ernesto Posse's sample tableau (below) is helpful, but it contains two
features I don't want:

1.  Two sentences at a node, separated by commas.  I want just one sentence
at each node, as in the attached sample.  I've been figured out how to
solve this problem by modifying Ernesto's code as follows:

\def\land{\wedge}
\def\lor{\vee}
\def\limp{\to}
\begin{tikzpicture}
\node {$1\neg ((p \lor (p \land q)) \limp p)$}
child {node {$ 1 p \lor (p \land q)$}
child {node {$1 \neg p $}
child {node {$1 \ p $}}
child {node {$1 p \land q$}
child {node {$1 p $}
child {node {$1 q $}};
\end{tikzpicture}

2.  But the foregoing code retains another feature I don't want: vertical
lines from node to node when there is no branching.  I want only the
(approximately) 45 degree (and 315 degree) lines that indicate branching,
as on the attached sample.

I've used LyX for several years, but I don't know LaTeX.

Any and all help appreciated.

Bill





[image: Sample 
Tableau.pdf]
*Sample Tableau.pdf*
146K   
View
Download

Ernesto Posse 
Oct 22 (6 days ago)

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

\usepackage{tikz}

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

\def\land{\wedge}

\def\lor{\vee}

\def\limp{\to}

\begin{tikzpicture}

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

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

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

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

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

\end{tikzpicture}


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


Richard Heck 
Oct 22 (6 days ago)

to Ernesto, me, lyx-users
There are lots of useful resources about this here:
http://www.logicmatters.net/latex-for-logicians/trees/

Re: Logic: Tableau Proofs

[William Hanson]

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


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


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

 Richard


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

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

  \usepackage{tikz}

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

  \def\land{\wedge}

 \def\lor{\vee}

 \def\limp{\to}

 \begin{tikzpicture}

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

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

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

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

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

 \end{tikzpicture}


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




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

  Dear LyX Colleagues,

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

  Bill Hanson




  --
 Ernesto Posse

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

Re: Logic: Tableau Proofs

[William Hanson]

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


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


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

 Richard


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

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

  \usepackage{tikz}

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

  \def\land{\wedge}

 \def\lor{\vee}

 \def\limp{\to}

 \begin{tikzpicture}

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

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

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

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

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

 \end{tikzpicture}


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




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

  Dear LyX Colleagues,

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

  Bill Hanson




  --
 Ernesto Posse

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

Re: Logic: Tableau Proofs

[William Hanson]

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


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

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

Converting LyX files to other formats

[William Hanson]

Dear All,

I'm submitting a paper created in LyX to a journal edited by Springer.
Their web site will not accept my LyX file, but  it says:

A wide range of submission file formats is supported, including: Word,
WordPerfect, RTF, TXT, TIFF, GIF, JPEG, EPS, LaTeX2E, TeX, Postscript,
PICT, Excel, Tar, Zip and Powerpoint. *PDF is not an acceptable file format.

*I hope there is easy way to convert my LyX file into one of these,
presumably LaTeX2E or TeX*.

Bill Hanson
**


*

Converting LyX files to other formats

[William Hanson]

Dear All,

I'm submitting a paper created in LyX to a journal edited by Springer.
Their web site will not accept my LyX file, but  it says:

A wide range of submission file formats is supported, including: Word,
WordPerfect, RTF, TXT, TIFF, GIF, JPEG, EPS, LaTeX2E, TeX, Postscript,
PICT, Excel, Tar, Zip and Powerpoint. *PDF is not an acceptable file format.

*I hope there is easy way to convert my LyX file into one of these,
presumably LaTeX2E or TeX*.

Bill Hanson
**


*

Converting LyX files to other formats

[William Hanson]

Dear All,

I'm submitting a paper created in LyX to a journal edited by Springer.
Their web site will not accept my LyX file, but  it says:

A wide range of submission file formats is supported, including: Word,
WordPerfect, RTF, TXT, TIFF, GIF, JPEG, EPS, LaTeX2E, TeX, Postscript,
PICT, Excel, Tar, Zip and Powerpoint. *PDF is not an acceptable file format.

*I hope there is easy way to convert my LyX file into one of these,
presumably LaTeX2E or TeX*.

Bill Hanson
**


*

Re: Inserting Citations

[William Hanson]

Ray,

I've solved the problem (not being able to insert citations or references),
thanks to the advice you gave in your June 15 message.

The key to the solution was getting to the important stuff that is buried
in Mendeley Desktop.  Under Tools  Options  Document Details, the
Citation Key must be checked, as you said.  And under under Tools  Options
 BibTeX, the right choices must be made, including the right path to the
location where Mendeley had stored my bib files, again as you said.

The foregoing was made harder than it otherwise would have been because my
version of Mendeley Desktop has no 'Tags' or 'Keywords'.  All the stuff I
needed to fiddle with was under Tools  Options.

Many thanks,

Bill



On Fri, Jun 15, 2012 at 2:39 PM, Ray Rashif schivmeis...@gmail.com wrote:

 On 15 June 2012 03:17, William Hanson whan...@umn.edu wrote:
  Ray,
 
 
  I'm trying to make progress by taking mini-steps.  In trying to execute
 one
  of your recommendations, I've hit a snag.  Recently you said:
 
  Choose an existing citation in your LyX document, note down its name
  as seen there. For eg., Michael1999. In Mendeley look for that
  specific bibliographic entry, as close as you can remember. Then find
  the field Citation Key. The two must match.
 
  By Mendeley you mean Mendeley Desktop, right?  In the LyX document I'm
  most concerned with I can find, e.g., the citation [Hanson2006]. And in
  Mendeley Desktop I can find the exact bibliographic entry to which this
  citation refers.  But I don't see any field called Citation Key in
  Mendeley Desktop.  So I'm stuck at this point.

 Both Mendeley Web and Desktop have a 'Citation Key' field. Otherwise,
 citations would have no unique identifier, and hence would not be
 usable in any application. In Web, it's Edit document details 
 Additional Fields.

 In Desktop, it's right below 'Tags' and 'Keywords'. If not, go to
 Options  Document Details and make sure 'Citation Key' is selected
 for every document type. It may be wise to make sure you're fully
 updated to the latest version of the program.

  But moving on just one more mini-step, you continue the passage quoted
 above
  as follows:
 
 
  If not, simply reselect the item in LyX bib dialogue from the
  Available Citations pane and delete the old citation from the
  Selected Citations pane
 
  But this is what I'm simply unable to do, because I can't find any way to
  get any file from my Mendeley Desktop into the Available Citations
 pane in
  LyX.  If only I could do that, I'm pretty sure I could solve my original
  problem, namely, getting all the :[?]s in the pdf replaced with real
  references.

 Look in Options  BibTeX. I personally have these checked:

 Escape LaTeX special characters
 Enable BibTeX syncing
 Create one BibTeX file per collection
 And a path where Mendeley will store the bib file(s)

 You may choose not to sync, in which case simply select a folder or
 the files you want and File  Export.


 --
 GPG/PGP ID: C0711BF1

Re: Inserting Citations

[William Hanson]

Ray,

I've solved the problem (not being able to insert citations or references),
thanks to the advice you gave in your June 15 message.

The key to the solution was getting to the important stuff that is buried
in Mendeley Desktop.  Under Tools  Options  Document Details, the
Citation Key must be checked, as you said.  And under under Tools  Options
 BibTeX, the right choices must be made, including the right path to the
location where Mendeley had stored my bib files, again as you said.

The foregoing was made harder than it otherwise would have been because my
version of Mendeley Desktop has no 'Tags' or 'Keywords'.  All the stuff I
needed to fiddle with was under Tools  Options.

Many thanks,

Bill



On Fri, Jun 15, 2012 at 2:39 PM, Ray Rashif schivmeis...@gmail.com wrote:

 On 15 June 2012 03:17, William Hanson whan...@umn.edu wrote:
  Ray,
 
 
  I'm trying to make progress by taking mini-steps.  In trying to execute
 one
  of your recommendations, I've hit a snag.  Recently you said:
 
  Choose an existing citation in your LyX document, note down its name
  as seen there. For eg., Michael1999. In Mendeley look for that
  specific bibliographic entry, as close as you can remember. Then find
  the field Citation Key. The two must match.
 
  By Mendeley you mean Mendeley Desktop, right?  In the LyX document I'm
  most concerned with I can find, e.g., the citation [Hanson2006]. And in
  Mendeley Desktop I can find the exact bibliographic entry to which this
  citation refers.  But I don't see any field called Citation Key in
  Mendeley Desktop.  So I'm stuck at this point.

 Both Mendeley Web and Desktop have a 'Citation Key' field. Otherwise,
 citations would have no unique identifier, and hence would not be
 usable in any application. In Web, it's Edit document details 
 Additional Fields.

 In Desktop, it's right below 'Tags' and 'Keywords'. If not, go to
 Options  Document Details and make sure 'Citation Key' is selected
 for every document type. It may be wise to make sure you're fully
 updated to the latest version of the program.

  But moving on just one more mini-step, you continue the passage quoted
 above
  as follows:
 
 
  If not, simply reselect the item in LyX bib dialogue from the
  Available Citations pane and delete the old citation from the
  Selected Citations pane
 
  But this is what I'm simply unable to do, because I can't find any way to
  get any file from my Mendeley Desktop into the Available Citations
 pane in
  LyX.  If only I could do that, I'm pretty sure I could solve my original
  problem, namely, getting all the :[?]s in the pdf replaced with real
  references.

 Look in Options  BibTeX. I personally have these checked:

 Escape LaTeX special characters
 Enable BibTeX syncing
 Create one BibTeX file per collection
 And a path where Mendeley will store the bib file(s)

 You may choose not to sync, in which case simply select a folder or
 the files you want and File  Export.


 --
 GPG/PGP ID: C0711BF1

Re: Inserting Citations

[William Hanson]

Ray,

I've solved the problem (not being able to insert citations or references),
thanks to the advice you gave in your June 15 message.

The key to the solution was getting to the important stuff that is buried
in Mendeley Desktop.  Under Tools > Options > Document Details, the
Citation Key must be checked, as you said.  And under under Tools > Options
> BibTeX, the right choices must be made, including the right path to the
location where Mendeley had stored my bib files, again as you said.

The foregoing was made harder than it otherwise would have been because my
version of Mendeley Desktop has no 'Tags' or 'Keywords'.  All the stuff I
needed to fiddle with was under Tools > Options.

Many thanks,

Bill



On Fri, Jun 15, 2012 at 2:39 PM, Ray Rashif <schivmeis...@gmail.com> wrote:

> On 15 June 2012 03:17, William Hanson <whan...@umn.edu> wrote:
> > Ray,
> >
> >
> > I'm trying to make progress by taking mini-steps.  In trying to execute
> one
> > of your recommendations, I've hit a snag.  Recently you said:
> >
> > "Choose an existing citation in your LyX document, note down its name
> > as seen there. For eg., "Michael1999". In Mendeley look for that
> > specific bibliographic entry, as close as you can remember. Then find
> > the field "Citation Key". The two must match."
> >
> > By "Mendeley" you mean Mendeley Desktop, right?  In the LyX document I'm
> > most concerned with I can find, e.g., the citation "[Hanson2006]". And in
> > Mendeley Desktop I can find the exact bibliographic entry to which this
> > citation refers.  But I don't see any field called "Citation Key" in
> > Mendeley Desktop.  So I'm stuck at this point.
>
> Both Mendeley Web and Desktop have a 'Citation Key' field. Otherwise,
> citations would have no unique identifier, and hence would not be
> usable in any application. In Web, it's Edit document details >
> Additional Fields.
>
> In Desktop, it's right below 'Tags' and 'Keywords'. If not, go to
> Options > Document Details and make sure 'Citation Key' is selected
> for every document type. It may be wise to make sure you're fully
> updated to the latest version of the program.
>
> > But moving on just one more mini-step, you continue the passage quoted
> above
> > as follows:
> >
> >
> > "If not, simply reselect the item in LyX bib dialogue from the
> > "Available Citations" pane and delete the old citation from the
> > "Selected Citations" pane"
> >
> > But this is what I'm simply unable to do, because I can't find any way to
> > get any file from my Mendeley Desktop into the "Available Citations"
> pane in
> > LyX.  If only I could do that, I'm pretty sure I could solve my original
> > problem, namely, getting all the :"[?]"s in the pdf replaced with real
> > references.
>
> Look in Options > BibTeX. I personally have these checked:
>
> Escape LaTeX special characters
> Enable BibTeX syncing
> Create one BibTeX file per collection
> And a path where Mendeley will store the bib file(s)
>
> You may choose not to sync, in which case simply select a folder or
> the files you want and File > Export.
>
>
> --
> GPG/PGP ID: C0711BF1
>

Re: Inserting Citations

[William Hanson]

Ray,

I'm trying to make progress by taking mini-steps.  In trying to execute one
of your recommendations, I've hit a snag.  Recently you said:

Choose an existing citation in your LyX document, note down its name
as seen there. For eg., Michael1999. In Mendeley look for that
specific bibliographic entry, as close as you can remember. Then find
the field Citation Key. The two must match.

By Mendeley you mean Mendeley Desktop, right?  In the LyX document I'm
most concerned with I can find, e.g., the citation [Hanson2006]. And in
Mendeley Desktop I can find the exact bibliographic entry to which this
citation refers.  But I don't see any field called Citation Key in
Mendeley Desktop.  So I'm stuck at this point.

But moving on just one more mini-step, you continue the passage quoted
above as follows:

If not, simply reselect the item in LyX bib dialogue from the
Available Citations pane and delete the old citation from the
Selected Citations pane

But this is what I'm simply unable to do, because I can't find any way to
get any file from my Mendeley Desktop into the Available Citations pane
in LyX.  If only I could do that, I'm pretty sure I could solve my original
problem, namely, getting all the :[?]s in the pdf replaced with real
references.

Bill



On Thu, Jun 14, 2012 at 9:52 AM, Ray Rashif schivmeis...@gmail.com wrote:

 On 14 June 2012 11:27, William Hanson whan...@umn.edu wrote:
  Ray,
 
  Thanks for your careful and detailed response.  Here are my answers to
 your
  1-4.
 
  1.  Yes, I had gathered as much.
 
  2.  I was not limited in the number of .bib files I could add when
 running
  LyX on my old computer.  But you're right.  This is minor and can wait.
 
  3.  Yes, this is not an issue.
 
  4.  No, I'm not dealing with  master-child documents.

 Your main problem therefore are citations that appear with a question
 mark (?). Correct?

 1. The bib file you used on the old computer must be the same on the
 new one. Is it? Can you guarantee so? You may want to use a checksum
 utility [1] to verify that they both have the same checksums. Chances
 are they are not, and if so, proceed to (2).

  NEW INFORMATION:  I now realize that the .bib file I used (on my old
  computer) for the most important of my old papers is in my Mendeley
 desktop
  on the new computer but not in my BibTeX folder. Yet I can't figure out
 how
  to move it to the BibTeX folder.  A Windows Explorer search of all my
  documents does not find it, and the Mendeley Desktop doesn't seem to have
  any way to move it.

 The bottom line is that the keys in the LyX document must match the
 keys in the '.bib' file(s). Mendeley here is a third-party, and all it
 does is generate the BibTeX file for you when asked. If what you do is
 select the bib file directly from the folder Mendeley exports to,
 chances are that you're selecting a new version where in turn chances
 are high that keys are not the same as before.

 2. Open up _all_ the bib files with a text editor. Search for a known
 author, which you have cited in one of your documents but appears as a
 '?'. The key is right next to the first curly brace '{'. This key and
 the key LyX shows you for that particular citation must match.
 Otherwise, you've run into a mismatch. Proceed to (3).

 If you're curious, you can manually change the key in the bib file to
 match the one known to LyX. Then preview the document, the citation
 should now be visible.

 3.  Check your Mendeley Desktop settings for where it stores the bib
 file. Copy that file into your working directory (where your relevant
 LyX files are for this particular document or set of documents).
 Update your LyX files now by re-selecting every broken citation.

 It is best to not load in LyX bib files that are generated by a
 third-party application with no LyX integration, because it may be
 overwritten. Mendeley Desktop, for the record, overwrites exported
 (bib) files. That's why there's a big thin warning at the top of the
 file.

 Personally, I prefer to do away with any kind of integration even when
 my final step involves KBibTeX (which does support LyX). I always keep
 my bib files separate from what's generating them, and they reside
 standalone among the related LyX/LaTeX documents. When there are
 changes I simply replace them and update my documents accordingly.


 --
 GPG/PGP ID: C0711BF1

Re: Inserting Citations

[William Hanson]

Ray,

I'm trying to make progress by taking mini-steps.  In trying to execute one
of your recommendations, I've hit a snag.  Recently you said:

Choose an existing citation in your LyX document, note down its name
as seen there. For eg., Michael1999. In Mendeley look for that
specific bibliographic entry, as close as you can remember. Then find
the field Citation Key. The two must match.

By Mendeley you mean Mendeley Desktop, right?  In the LyX document I'm
most concerned with I can find, e.g., the citation [Hanson2006]. And in
Mendeley Desktop I can find the exact bibliographic entry to which this
citation refers.  But I don't see any field called Citation Key in
Mendeley Desktop.  So I'm stuck at this point.

But moving on just one more mini-step, you continue the passage quoted
above as follows:

If not, simply reselect the item in LyX bib dialogue from the
Available Citations pane and delete the old citation from the
Selected Citations pane

But this is what I'm simply unable to do, because I can't find any way to
get any file from my Mendeley Desktop into the Available Citations pane
in LyX.  If only I could do that, I'm pretty sure I could solve my original
problem, namely, getting all the :[?]s in the pdf replaced with real
references.

Bill



On Thu, Jun 14, 2012 at 9:52 AM, Ray Rashif schivmeis...@gmail.com wrote:

 On 14 June 2012 11:27, William Hanson whan...@umn.edu wrote:
  Ray,
 
  Thanks for your careful and detailed response.  Here are my answers to
 your
  1-4.
 
  1.  Yes, I had gathered as much.
 
  2.  I was not limited in the number of .bib files I could add when
 running
  LyX on my old computer.  But you're right.  This is minor and can wait.
 
  3.  Yes, this is not an issue.
 
  4.  No, I'm not dealing with  master-child documents.

 Your main problem therefore are citations that appear with a question
 mark (?). Correct?

 1. The bib file you used on the old computer must be the same on the
 new one. Is it? Can you guarantee so? You may want to use a checksum
 utility [1] to verify that they both have the same checksums. Chances
 are they are not, and if so, proceed to (2).

  NEW INFORMATION:  I now realize that the .bib file I used (on my old
  computer) for the most important of my old papers is in my Mendeley
 desktop
  on the new computer but not in my BibTeX folder. Yet I can't figure out
 how
  to move it to the BibTeX folder.  A Windows Explorer search of all my
  documents does not find it, and the Mendeley Desktop doesn't seem to have
  any way to move it.

 The bottom line is that the keys in the LyX document must match the
 keys in the '.bib' file(s). Mendeley here is a third-party, and all it
 does is generate the BibTeX file for you when asked. If what you do is
 select the bib file directly from the folder Mendeley exports to,
 chances are that you're selecting a new version where in turn chances
 are high that keys are not the same as before.

 2. Open up _all_ the bib files with a text editor. Search for a known
 author, which you have cited in one of your documents but appears as a
 '?'. The key is right next to the first curly brace '{'. This key and
 the key LyX shows you for that particular citation must match.
 Otherwise, you've run into a mismatch. Proceed to (3).

 If you're curious, you can manually change the key in the bib file to
 match the one known to LyX. Then preview the document, the citation
 should now be visible.

 3.  Check your Mendeley Desktop settings for where it stores the bib
 file. Copy that file into your working directory (where your relevant
 LyX files are for this particular document or set of documents).
 Update your LyX files now by re-selecting every broken citation.

 It is best to not load in LyX bib files that are generated by a
 third-party application with no LyX integration, because it may be
 overwritten. Mendeley Desktop, for the record, overwrites exported
 (bib) files. That's why there's a big thin warning at the top of the
 file.

 Personally, I prefer to do away with any kind of integration even when
 my final step involves KBibTeX (which does support LyX). I always keep
 my bib files separate from what's generating them, and they reside
 standalone among the related LyX/LaTeX documents. When there are
 changes I simply replace them and update my documents accordingly.


 --
 GPG/PGP ID: C0711BF1

Re: Inserting Citations

[William Hanson]

Ray,

I'm trying to make progress by taking mini-steps.  In trying to execute one
of your recommendations, I've hit a snag.  Recently you said:

"Choose an existing citation in your LyX document, note down its name
as seen there. For eg., "Michael1999". In Mendeley look for that
specific bibliographic entry, as close as you can remember. Then find
the field "Citation Key". The two must match."

By "Mendeley" you mean Mendeley Desktop, right?  In the LyX document I'm
most concerned with I can find, e.g., the citation "[Hanson2006]". And in
Mendeley Desktop I can find the exact bibliographic entry to which this
citation refers.  But I don't see any field called "Citation Key" in
Mendeley Desktop.  So I'm stuck at this point.

But moving on just one more mini-step, you continue the passage quoted
above as follows:

"If not, simply reselect the item in LyX bib dialogue from the
"Available Citations" pane and delete the old citation from the
"Selected Citations" pane"

But this is what I'm simply unable to do, because I can't find any way to
get any file from my Mendeley Desktop into the "Available Citations" pane
in LyX.  If only I could do that, I'm pretty sure I could solve my original
problem, namely, getting all the :"[?]"s in the pdf replaced with real
references.

Bill



On Thu, Jun 14, 2012 at 9:52 AM, Ray Rashif <schivmeis...@gmail.com> wrote:

> On 14 June 2012 11:27, William Hanson <whan...@umn.edu> wrote:
> > Ray,
> >
> > Thanks for your careful and detailed response.  Here are my answers to
> your
> > 1-4.
> >
> > 1.  Yes, I had gathered as much.
> >
> > 2.  I was not limited in the number of .bib files I could add when
> running
> > LyX on my old computer.  But you're right.  This is minor and can wait.
> >
> > 3.  Yes, this is not an issue.
> >
> > 4.  No, I'm not dealing with  master-child documents.
>
> Your main problem therefore are citations that appear with a question
> mark (?). Correct?
>
> 1. The bib file you used on the old computer must be the same on the
> new one. Is it? Can you guarantee so? You may want to use a checksum
> utility [1] to verify that they both have the same checksums. Chances
> are they are not, and if so, proceed to (2).
>
> > NEW INFORMATION:  I now realize that the .bib file I used (on my old
> > computer) for the most important of my old papers is in my Mendeley
> desktop
> > on the new computer but not in my BibTeX folder. Yet I can't figure out
> how
> > to move it to the BibTeX folder.  A Windows Explorer search of all my
> > documents does not find it, and the Mendeley Desktop doesn't seem to have
> > any way to move it.
>
> The bottom line is that the keys in the LyX document must match the
> keys in the '.bib' file(s). Mendeley here is a third-party, and all it
> does is generate the BibTeX file for you when asked. If what you do is
> select the bib file directly from the folder Mendeley exports to,
> chances are that you're selecting a new version where in turn chances
> are high that keys are not the same as before.
>
> 2. Open up _all_ the bib files with a text editor. Search for a known
> author, which you have cited in one of your documents but appears as a
> '?'. The key is right next to the first curly brace '{'. This key and
> the key LyX shows you for that particular citation must match.
> Otherwise, you've run into a mismatch. Proceed to (3).
>
> If you're curious, you can manually change the key in the bib file to
> match the one known to LyX. Then preview the document, the citation
> should now be visible.
>
> 3.  Check your Mendeley Desktop settings for where it stores the bib
> file. Copy that file into your working directory (where your relevant
> LyX files are for this particular document or set of documents).
> Update your LyX files now by re-selecting every broken citation.
>
> It is best to not load in LyX bib files that are generated by a
> third-party application with no LyX integration, because it may be
> overwritten. Mendeley Desktop, for the record, overwrites exported
> (bib) files. That's why there's a big thin warning at the top of the
> file.
>
> Personally, I prefer to do away with any kind of integration even when
> my final step involves KBibTeX (which does support LyX). I always keep
> my bib files separate from what's generating them, and they reside
> standalone among the related LyX/LaTeX documents. When there are
> changes I simply replace them and update my documents accordingly.
>
>
> --
> GPG/PGP ID: C0711BF1
>

Re: Inserting Citations

[William Hanson]

Ray,

Below you suggest:   just reselect your bib files by browsing to the
correct ones.  That's what I've been doing but it doesn't work. the
problem, as I've described it, still exists.

You also suggest:  check to make sure there is no key mismatch. You
might've changed things in Mendeley which changed the keys, which are  now
no longer the same as the keys known to bibtex (because they  retain the
keys of the first ever bib file processed).  I don't know what you mean by
a key or a key mismatch in this context.

Bill



On Wed, Jun 13, 2012 at 12:44 AM, Ray Rashif schivmeis...@gmail.com wrote:

 On 13 June 2012 04:58, William Hanson whan...@umn.edu wrote:
  My problem is not primarily with creating new documents.  It is mainly
 with
  getting existing LyX documents (that have been transferred to my new
  computer) to appear with the references in them when LyX creates pdf
 files
  from them.  At present the pdf versions of these documents have no
  references at the end, and every citation in the text is replaced with a
  question mark inside of square brackets.  I have been partly successful
 in
  doing what Ray suggests with NEW documents:
 
 
  Start LyX, create a new empty document, insert  list  bibliography,
  select your four bib files, press OK, now type something and press the
  Bib icon, you should be able to select an entry from all four bib
  files. Now preview the document. You should see foo [n] or foo
  (xyz, d), and just one entry in the references. If you cannot
  reproduce this, you are looking at a bug, most probably in your
  installation.
 
  However,
  (1) I can't add more than two of my four .bib files to any new or
 existing
  document.  The program simply ignores the third and fourth.
  (2) When I do succeed in adding one or two .bib files to an existing
  document, some but not all of the citations in the body of the document
  connect to the cited reference, even though that reference is in the .bib
  files that have been added to the document.  These renegade citations
 still
  show up as [?] in the pdf.

 This is what's important. That happens when your document cannot find
 the particular key or file. In these old documents, just reselect your
 bib files by browsing to the correct ones. It might help if you could
 shift these files to a directory with or below your lyx file, then
 change the path to be relative (like ../foo.bib).

 Other than that, check to make sure there is no key mismatch. You
 might've changed things in Mendeley which changed the keys, which are
 now no longer the same as the keys known to bibtex (because they
 retain the keys of the first ever bib file processed). In that case
 you'd have to reselect your citations.


 --
 GPG/PGP ID: C0711BF1

Re: Inserting Citations

[William Hanson]

Ray,

Thanks for your careful and detailed response.  Here are my answers to your
1-4.

1.  Yes, I had gathered as much.

2.  I was not limited in the number of .bib files I could add when running
LyX on my old computer.  But you're right.  This is minor and can wait.

3.  Yes, this is not an issue.

4.  No, I'm not dealing with  master-child documents.

NEW INFORMATION:  I now realize that the .bib file I used (on my old
computer) for the most important of my old papers is in my Mendeley desktop
on the new computer but not in my BibTeX folder. Yet I can't figure out how
to move it to the BibTeX folder.  A Windows Explorer search of all my
documents does not find it, and the Mendeley Desktop doesn't seem to have
any way to move it.

Bill


On Wed, Jun 13, 2012 at 3:47 PM, Ray Rashif schivmeis...@gmail.com wrote:

 On 14 June 2012 04:07, William Hanson whan...@umn.edu wrote:
  Ray,
 
  Below you suggest:   just reselect your bib files by browsing to the
  correct ones.  That's what I've been doing but it doesn't work. the
  problem, as I've described it, still exists.
 
  You also suggest:  check to make sure there is no key mismatch. You
  might've changed things in Mendeley which changed the keys, which are
 now
  no longer the same as the keys known to bibtex (because they  retain the
  keys of the first ever bib file processed).  I don't know what you mean
 by
  a key or a key mismatch in this context.

 Choose an existing citation in your LyX document, note down its name
 as seen there. For eg., Michael1999. In Mendeley look for that
 specific bibliographic entry, as close as you can remember. Then find
 the field Citation Key. The two must match.

 If not, simply reselect the item in LyX bib dialogue from the
 Available Citations pane and delete the old citation from the
 Selected Citations pane. But, let's just run through your initial
 complaint so that you know what to expect from LyX.

 1. No matter which of my four .bib files I add, I'll get only one or
 two References showing up in the final pdf.

 This means the LyX document finds your bib file(s), but is having
 trouble with some/most of the citations.

 Any citation with a '?' will not have a corresponding reference entry
 below. Only valid citations that show up properly in the PDF output
 will have a reference entry in the backmatter.

 2. I don't seem to be able to add more than one of my four .bib files.

 This should not happen. You should be able to add as many bib files as
 you like, as far as I am aware. It may be wise to file a bug report,
 but not before you solve the rest of your problems here. As such, see
 this as a different issue for now, and leave it alone / forget about
 it.

 3. References that do show up are specific to that particular document.

 This is correct. How else would you like it?

 4. When I go to another LyX document and try to add a reference the
 Available Citation field is empty again.

 Correct. You need to re-insert a bibliography and select the desired
 bib files, for every new document. Only master-child documents can
 share bibliographies. You have not mentioned anything about master or
 child documents, so we assume you're not dealing with those.


 --
 GPG/PGP ID: C0711BF1

Re: Inserting Citations

[William Hanson]

Ray,

Below you suggest:   just reselect your bib files by browsing to the
correct ones.  That's what I've been doing but it doesn't work. the
problem, as I've described it, still exists.

You also suggest:  check to make sure there is no key mismatch. You
might've changed things in Mendeley which changed the keys, which are  now
no longer the same as the keys known to bibtex (because they  retain the
keys of the first ever bib file processed).  I don't know what you mean by
a key or a key mismatch in this context.

Bill



On Wed, Jun 13, 2012 at 12:44 AM, Ray Rashif schivmeis...@gmail.com wrote:

 On 13 June 2012 04:58, William Hanson whan...@umn.edu wrote:
  My problem is not primarily with creating new documents.  It is mainly
 with
  getting existing LyX documents (that have been transferred to my new
  computer) to appear with the references in them when LyX creates pdf
 files
  from them.  At present the pdf versions of these documents have no
  references at the end, and every citation in the text is replaced with a
  question mark inside of square brackets.  I have been partly successful
 in
  doing what Ray suggests with NEW documents:
 
 
  Start LyX, create a new empty document, insert  list  bibliography,
  select your four bib files, press OK, now type something and press the
  Bib icon, you should be able to select an entry from all four bib
  files. Now preview the document. You should see foo [n] or foo
  (xyz, d), and just one entry in the references. If you cannot
  reproduce this, you are looking at a bug, most probably in your
  installation.
 
  However,
  (1) I can't add more than two of my four .bib files to any new or
 existing
  document.  The program simply ignores the third and fourth.
  (2) When I do succeed in adding one or two .bib files to an existing
  document, some but not all of the citations in the body of the document
  connect to the cited reference, even though that reference is in the .bib
  files that have been added to the document.  These renegade citations
 still
  show up as [?] in the pdf.

 This is what's important. That happens when your document cannot find
 the particular key or file. In these old documents, just reselect your
 bib files by browsing to the correct ones. It might help if you could
 shift these files to a directory with or below your lyx file, then
 change the path to be relative (like ../foo.bib).

 Other than that, check to make sure there is no key mismatch. You
 might've changed things in Mendeley which changed the keys, which are
 now no longer the same as the keys known to bibtex (because they
 retain the keys of the first ever bib file processed). In that case
 you'd have to reselect your citations.


 --
 GPG/PGP ID: C0711BF1

Re: Inserting Citations

[William Hanson]

Ray,

Thanks for your careful and detailed response.  Here are my answers to your
1-4.

1.  Yes, I had gathered as much.

2.  I was not limited in the number of .bib files I could add when running
LyX on my old computer.  But you're right.  This is minor and can wait.

3.  Yes, this is not an issue.

4.  No, I'm not dealing with  master-child documents.

NEW INFORMATION:  I now realize that the .bib file I used (on my old
computer) for the most important of my old papers is in my Mendeley desktop
on the new computer but not in my BibTeX folder. Yet I can't figure out how
to move it to the BibTeX folder.  A Windows Explorer search of all my
documents does not find it, and the Mendeley Desktop doesn't seem to have
any way to move it.

Bill


On Wed, Jun 13, 2012 at 3:47 PM, Ray Rashif schivmeis...@gmail.com wrote:

 On 14 June 2012 04:07, William Hanson whan...@umn.edu wrote:
  Ray,
 
  Below you suggest:   just reselect your bib files by browsing to the
  correct ones.  That's what I've been doing but it doesn't work. the
  problem, as I've described it, still exists.
 
  You also suggest:  check to make sure there is no key mismatch. You
  might've changed things in Mendeley which changed the keys, which are
 now
  no longer the same as the keys known to bibtex (because they  retain the
  keys of the first ever bib file processed).  I don't know what you mean
 by
  a key or a key mismatch in this context.

 Choose an existing citation in your LyX document, note down its name
 as seen there. For eg., Michael1999. In Mendeley look for that
 specific bibliographic entry, as close as you can remember. Then find
 the field Citation Key. The two must match.

 If not, simply reselect the item in LyX bib dialogue from the
 Available Citations pane and delete the old citation from the
 Selected Citations pane. But, let's just run through your initial
 complaint so that you know what to expect from LyX.

 1. No matter which of my four .bib files I add, I'll get only one or
 two References showing up in the final pdf.

 This means the LyX document finds your bib file(s), but is having
 trouble with some/most of the citations.

 Any citation with a '?' will not have a corresponding reference entry
 below. Only valid citations that show up properly in the PDF output
 will have a reference entry in the backmatter.

 2. I don't seem to be able to add more than one of my four .bib files.

 This should not happen. You should be able to add as many bib files as
 you like, as far as I am aware. It may be wise to file a bug report,
 but not before you solve the rest of your problems here. As such, see
 this as a different issue for now, and leave it alone / forget about
 it.

 3. References that do show up are specific to that particular document.

 This is correct. How else would you like it?

 4. When I go to another LyX document and try to add a reference the
 Available Citation field is empty again.

 Correct. You need to re-insert a bibliography and select the desired
 bib files, for every new document. Only master-child documents can
 share bibliographies. You have not mentioned anything about master or
 child documents, so we assume you're not dealing with those.


 --
 GPG/PGP ID: C0711BF1

Re: Inserting Citations

[William Hanson]

Ray,

Below you suggest:  " just reselect your bib files by browsing to the
correct ones."  That's what I've been doing but it doesn't work. the
problem, as I've described it, still exists.

You also suggest:  "check to make sure there is no key mismatch. You
might've changed things in Mendeley which changed the keys, which are  now
no longer the same as the keys known to bibtex (because they  retain the
keys of the first ever bib file processed)."  I don't know what you mean by
a key or a key mismatch in this context.

Bill



On Wed, Jun 13, 2012 at 12:44 AM, Ray Rashif <schivmeis...@gmail.com> wrote:

> On 13 June 2012 04:58, William Hanson <whan...@umn.edu> wrote:
> > My problem is not primarily with creating new documents.  It is mainly
> with
> > getting existing LyX documents (that have been transferred to my new
> > computer) to appear with the references in them when LyX creates pdf
> files
> > from them.  At present the pdf versions of these documents have no
> > references at the end, and every citation in the text is replaced with a
> > question mark inside of square brackets.  I have been partly successful
> in
> > doing what Ray suggests with NEW documents:
> >
> >
> > Start LyX, create a new empty document, insert > list > bibliography,
> > select your four bib files, press OK, now type something and press the
> > Bib icon, you should be able to select an entry from all four bib
> > files. Now preview the document. You should see "foo [n]" or "foo
> > (xyz, d)", and just one entry in the references. If you cannot
> > reproduce this, you are looking at a bug, most probably in your
> > installation.
> >
> > However,
> > (1) I can't add more than two of my four .bib files to any new or
> existing
> > document.  The program simply ignores the third and fourth.
> > (2) When I do succeed in adding one or two .bib files to an existing
> > document, some but not all of the citations in the body of the document
> > connect to the cited reference, even though that reference is in the .bib
> > files that have been added to the document.  These renegade citations
> still
> > show up as [?] in the pdf.
>
> This is what's important. That happens when your document cannot find
> the particular key or file. In these old documents, just reselect your
> bib files by browsing to the correct ones. It might help if you could
> shift these files to a directory with or below your lyx file, then
> change the path to be relative (like ../foo.bib).
>
> Other than that, check to make sure there is no key mismatch. You
> might've changed things in Mendeley which changed the keys, which are
> now no longer the same as the keys known to bibtex (because they
> retain the keys of the first ever bib file processed). In that case
> you'd have to reselect your citations.
>
>
> --
> GPG/PGP ID: C0711BF1
>

Re: Inserting Citations

[William Hanson]

Ray,

Thanks for your careful and detailed response.  Here are my answers to your
1-4.

1.  Yes, I had gathered as much.

2.  I was not limited in the number of .bib files I could add when running
LyX on my old computer.  But you're right.  This is minor and can wait.

3.  Yes, this is not an issue.

4.  No, I'm not dealing with  master-child documents.

NEW INFORMATION:  I now realize that the .bib file I used (on my old
computer) for the most important of my old papers is in my Mendeley desktop
on the new computer but not in my BibTeX folder. Yet I can't figure out how
to move it to the BibTeX folder.  A Windows Explorer search of all my
documents does not find it, and the Mendeley Desktop doesn't seem to have
any way to move it.

Bill


On Wed, Jun 13, 2012 at 3:47 PM, Ray Rashif <schivmeis...@gmail.com> wrote:

> On 14 June 2012 04:07, William Hanson <whan...@umn.edu> wrote:
> > Ray,
> >
> > Below you suggest:  " just reselect your bib files by browsing to the
> > correct ones."  That's what I've been doing but it doesn't work. the
> > problem, as I've described it, still exists.
> >
> > You also suggest:  "check to make sure there is no key mismatch. You
> > might've changed things in Mendeley which changed the keys, which are
> now
> > no longer the same as the keys known to bibtex (because they  retain the
> > keys of the first ever bib file processed)."  I don't know what you mean
> by
> > a key or a key mismatch in this context.
>
> Choose an existing citation in your LyX document, note down its name
> as seen there. For eg., "Michael1999". In Mendeley look for that
> specific bibliographic entry, as close as you can remember. Then find
> the field "Citation Key". The two must match.
>
> If not, simply reselect the item in LyX bib dialogue from the
> "Available Citations" pane and delete the old citation from the
> "Selected Citations" pane. But, let's just run through your initial
> complaint so that you know what to expect from LyX.
>
> 1. "No matter which of my four .bib files I add, I'll get only one or
> two References showing up in the final pdf."
>
> This means the LyX document finds your bib file(s), but is having
> trouble with some/most of the citations.
>
> Any citation with a '?' will not have a corresponding reference entry
> below. Only valid citations that show up properly in the PDF output
> will have a reference entry in the backmatter.
>
> 2. "I don't seem to be able to add more than one of my four .bib files."
>
> This should not happen. You should be able to add as many bib files as
> you like, as far as I am aware. It may be wise to file a bug report,
> but not before you solve the rest of your problems here. As such, see
> this as a different issue for now, and leave it alone / forget about
> it.
>
> 3. "References that do show up are specific to that particular document."
>
> This is correct. How else would you like it?
>
> 4. "When I go to another LyX document and try to add a reference the
> Available Citation field is empty again."
>
> Correct. You need to re-insert a bibliography and select the desired
> bib files, for every new document. Only master-child documents can
> share bibliographies. You have not mentioned anything about master or
> child documents, so we assume you're not dealing with those.
>
>
> --
> GPG/PGP ID: C0711BF1
>

Re: Inserting Citations

[William Hanson]

To All,

I'm still having trouble getting LyX 2.0.3 to allow me to insert citations
into documents created on a new Dell (running Windows 7).  (My old HP,
which runs Windows XP, has no trouble doing this). On the Dell LyX works
just fine until I click the Insert Citation tab.  It brings up the usual
LyX: Citation window, but the Available Citation field is empty.

However, my BibTeX folder contains four non-empty BibTeX Database (.bib)
files (the same ones I used earlier on the HP, and which I transferred to
the Dell via Mendeley).  I've tried making my .bib files available to LyX
using  insert  list / TOC  BibTeX bibliography.  But no matter which of
my four .bib files I add, I'll get only one or two References showing up in
the final pdf.  And I don't seem to be able to add more than one of my four
.bib files.  Also the references that do show up are specific to that
particular document.  When I go to another LyX document and try to add a
reference the Available Citation field is empty again.

For more information on the problem, see the correspondence below.

Bill Hanson




On Mon, Jun 11, 2012 at 11:26 PM, Scott Kostyshak skost...@princeton.eduwrote:

  *From:* William Hanson [whan...@umn.edu]
  *Sent:* Tuesday, June 12, 2012 12:08 AM
 **
  Bill,

 Please respond to the list so that others can see your message. This is
 good so that
 (1) if we get a solution it will be searchable by others that have this
 problem in the future
 (2) if we find a solution others will not be working to try to solve your
 problem when it is already solved, and
 (3) most people on this list know a lot more than I do so you're much more
 likely to get a solution.


 Thanks.  My BibTeX bibliography is empty, so that's the problem.  But I
 can't seem to get my .bib files into it.  I don't know what you mean when
 you say I should make sure my BibTeX folder is in the path.  What path?

 I don't know how to deal with this issue for Windows. You could search
 (using windows search) for files in your tex distribution (for example,
 search for .bib files) and put your BibTeX files there and hopefully that
 would be in the path. Or see below.


 When I click rescan nothing happens.  Clicking browse takes me to
 what looks like Windows Explorer, but it won't let me do anything with my
 BibTeX folder.  So I'm still stuck.

 This should work. What do you mean that it won't let you do anything with
 your BibTeX folder? You need to add the individual .bib files. Also, they
 must have the .bib extension otherwise they will not be found in that
 window. If they do not have the extension, you can just rename the files to
 add the extension to them.

 Does that work?

 Also, what version of LyX are you using?

 Scott

Re: Inserting Citations

[William Hanson]

Manolo,

Thanks, but I don't see any BibTex Generated Bibliography grey
rectangle.

Bill

On Tue, Jun 12, 2012 at 1:10 PM, Manolo Martínez
man...@austrohungaro.comwrote:

 Bill,

 Once you insert a BibTex bibliography, you can click the BibTex
 Generated Bibliography grey rectangle and add more databases with the
 Add button at the top right corner of the dialog box that appears.
 Probably, you need more than one of your databases. Try adding all four.

 Cheers,
 Manolo

 On 06/12/12 at 01:05pm, William Hanson wrote:
  To All,
 
  I'm still having trouble getting LyX 2.0.3 to allow me to insert
 citations
  into documents created on a new Dell (running Windows 7).  (My old HP,
  which runs Windows XP, has no trouble doing this). On the Dell LyX works
  just fine until I click the Insert Citation tab.  It brings up the usual
  LyX: Citation window, but the Available Citation field is empty.
 
  However, my BibTeX folder contains four non-empty BibTeX Database (.bib)
  files (the same ones I used earlier on the HP, and which I transferred to
  the Dell via Mendeley).  I've tried making my .bib files available to LyX
  using  insert  list / TOC  BibTeX bibliography.  But no matter which of
  my four .bib files I add, I'll get only one or two References showing up
 in
  the final pdf.  And I don't seem to be able to add more than one of my
 four
  .bib files.  Also the references that do show up are specific to that
  particular document.  When I go to another LyX document and try to add a
  reference the Available Citation field is empty again.
 
  For more information on the problem, see the correspondence below.
 
  Bill Hanson
 
 
 
 
  On Mon, Jun 11, 2012 at 11:26 PM, Scott Kostyshak 
 skost...@princeton.eduwrote:
 
*From:* William Hanson [whan...@umn.edu]
*Sent:* Tuesday, June 12, 2012 12:08 AM
   **
Bill,
  
   Please respond to the list so that others can see your message. This is
   good so that
   (1) if we get a solution it will be searchable by others that have this
   problem in the future
   (2) if we find a solution others will not be working to try to solve
 your
   problem when it is already solved, and
   (3) most people on this list know a lot more than I do so you're much
 more
   likely to get a solution.
  
  
   Thanks.  My BibTeX bibliography is empty, so that's the problem.  But
 I
   can't seem to get my .bib files into it.  I don't know what you mean
 when
   you say I should make sure my BibTeX folder is in the path.  What
 path?
  
   I don't know how to deal with this issue for Windows. You could search
   (using windows search) for files in your tex distribution (for example,
   search for .bib files) and put your BibTeX files there and hopefully
 that
   would be in the path. Or see below.
  
  
   When I click rescan nothing happens.  Clicking browse takes me to
   what looks like Windows Explorer, but it won't let me do anything
 with my
   BibTeX folder.  So I'm still stuck.
  
   This should work. What do you mean that it won't let you do anything
 with
   your BibTeX folder? You need to add the individual .bib files. Also,
 they
   must have the .bib extension otherwise they will not be found in that
   window. If they do not have the extension, you can just rename the
 files to
   add the extension to them.
  
   Does that work?
  
   Also, what version of LyX are you using?
  
   Scott
  

 --

Re: Inserting Citations

[William Hanson]

My problem is not primarily with creating new documents.  It is mainly with
getting existing LyX documents (that have been transferred to my new
computer) to appear with the references in them when LyX creates pdf files
from them.  At present the pdf versions of these documents have no
references at the end, and every citation in the text is replaced with a
question mark inside of square brackets.  I have been partly successful in
doing what Ray suggests with NEW documents:

Start LyX, create a new empty document, insert  list  bibliography,
select your four bib files, press OK, now type something and press the
Bib icon, you should be able to select an entry from all four bib
files. Now preview the document. You should see foo [n] or foo
(xyz, d), and just one entry in the references. If you cannot
reproduce this, you are looking at a bug, most probably in your
installation.

However,
(1) I can't add more than two of my four .bib files to any new or existing
document.  The program simply ignores the third and fourth.
(2) When I do succeed in adding one or two .bib files to an existing
document, some but not all of the citations in the body of the document
connect to the cited reference, even though that reference is in the .bib
files that have been added to the document.  These renegade citations still
show up as [?] in the pdf.

On Tue, Jun 12, 2012 at 1:49 PM, Ray Rashif schivmeis...@gmail.com wrote:

 On 13 June 2012 02:05, William Hanson whan...@umn.edu wrote:
  To All,
 
  I'm still having trouble getting LyX 2.0.3 to allow me to insert
 citations
  into documents created on a new Dell (running Windows 7).  (My old HP,
 which
  runs Windows XP, has no trouble doing this). On the Dell LyX works just
 fine
  until I click the Insert Citation tab.  It brings up the usual LyX:
 Citation
  window, but the Available Citation field is empty.
 
  However, my BibTeX folder contains four non-empty BibTeX Database (.bib)
  files (the same ones I used earlier on the HP, and which I transferred to
  the Dell via Mendeley).  I've tried making my .bib files available to LyX
  using  insert  list / TOC  BibTeX bibliography.  But no matter which
 of my
  four .bib files I add, I'll get only one or two References showing up in
 the
  final pdf.  And I don't seem to be able to add more than one of my four
 .bib
  files.  Also the references that do show up are specific to that
 particular
  document.  When I go to another LyX document and try to add a reference
 the
  Available Citation field is empty again.

 All bibliographic data are available on a per-document basis, and
 references will only appear _as cited_. This means there will not be
 any reference entry at the end of the document for any works _not_
 cited. For child documents, citations can be seen only in the master
 preview.

 Start LyX, create a new empty document, insert  list  bibliography,
 select your four bib files, press OK, now type something and press the
 Bib icon, you should be able to select an entry from all four bib
 files. Now preview the document. You should see foo [n] or foo
 (xyz, d), and just one entry in the references. If you cannot
 reproduce this, you are looking at a bug, most probably in your
 installation.


 --
 GPG/PGP ID: C0711BF1

Re: Inserting Citations

[William Hanson]

To All,

I'm still having trouble getting LyX 2.0.3 to allow me to insert citations
into documents created on a new Dell (running Windows 7).  (My old HP,
which runs Windows XP, has no trouble doing this). On the Dell LyX works
just fine until I click the Insert Citation tab.  It brings up the usual
LyX: Citation window, but the Available Citation field is empty.

However, my BibTeX folder contains four non-empty BibTeX Database (.bib)
files (the same ones I used earlier on the HP, and which I transferred to
the Dell via Mendeley).  I've tried making my .bib files available to LyX
using  insert  list / TOC  BibTeX bibliography.  But no matter which of
my four .bib files I add, I'll get only one or two References showing up in
the final pdf.  And I don't seem to be able to add more than one of my four
.bib files.  Also the references that do show up are specific to that
particular document.  When I go to another LyX document and try to add a
reference the Available Citation field is empty again.

For more information on the problem, see the correspondence below.

Bill Hanson




On Mon, Jun 11, 2012 at 11:26 PM, Scott Kostyshak skost...@princeton.eduwrote:

  *From:* William Hanson [whan...@umn.edu]
  *Sent:* Tuesday, June 12, 2012 12:08 AM
 **
  Bill,

 Please respond to the list so that others can see your message. This is
 good so that
 (1) if we get a solution it will be searchable by others that have this
 problem in the future
 (2) if we find a solution others will not be working to try to solve your
 problem when it is already solved, and
 (3) most people on this list know a lot more than I do so you're much more
 likely to get a solution.


 Thanks.  My BibTeX bibliography is empty, so that's the problem.  But I
 can't seem to get my .bib files into it.  I don't know what you mean when
 you say I should make sure my BibTeX folder is in the path.  What path?

 I don't know how to deal with this issue for Windows. You could search
 (using windows search) for files in your tex distribution (for example,
 search for .bib files) and put your BibTeX files there and hopefully that
 would be in the path. Or see below.


 When I click rescan nothing happens.  Clicking browse takes me to
 what looks like Windows Explorer, but it won't let me do anything with my
 BibTeX folder.  So I'm still stuck.

 This should work. What do you mean that it won't let you do anything with
 your BibTeX folder? You need to add the individual .bib files. Also, they
 must have the .bib extension otherwise they will not be found in that
 window. If they do not have the extension, you can just rename the files to
 add the extension to them.

 Does that work?

 Also, what version of LyX are you using?

 Scott

Re: Inserting Citations

[William Hanson]

Manolo,

Thanks, but I don't see any BibTex Generated Bibliography grey
rectangle.

Bill

On Tue, Jun 12, 2012 at 1:10 PM, Manolo Martínez
man...@austrohungaro.comwrote:

 Bill,

 Once you insert a BibTex bibliography, you can click the BibTex
 Generated Bibliography grey rectangle and add more databases with the
 Add button at the top right corner of the dialog box that appears.
 Probably, you need more than one of your databases. Try adding all four.

 Cheers,
 Manolo

 On 06/12/12 at 01:05pm, William Hanson wrote:
  To All,
 
  I'm still having trouble getting LyX 2.0.3 to allow me to insert
 citations
  into documents created on a new Dell (running Windows 7).  (My old HP,
  which runs Windows XP, has no trouble doing this). On the Dell LyX works
  just fine until I click the Insert Citation tab.  It brings up the usual
  LyX: Citation window, but the Available Citation field is empty.
 
  However, my BibTeX folder contains four non-empty BibTeX Database (.bib)
  files (the same ones I used earlier on the HP, and which I transferred to
  the Dell via Mendeley).  I've tried making my .bib files available to LyX
  using  insert  list / TOC  BibTeX bibliography.  But no matter which of
  my four .bib files I add, I'll get only one or two References showing up
 in
  the final pdf.  And I don't seem to be able to add more than one of my
 four
  .bib files.  Also the references that do show up are specific to that
  particular document.  When I go to another LyX document and try to add a
  reference the Available Citation field is empty again.
 
  For more information on the problem, see the correspondence below.
 
  Bill Hanson
 
 
 
 
  On Mon, Jun 11, 2012 at 11:26 PM, Scott Kostyshak 
 skost...@princeton.eduwrote:
 
*From:* William Hanson [whan...@umn.edu]
*Sent:* Tuesday, June 12, 2012 12:08 AM
   **
Bill,
  
   Please respond to the list so that others can see your message. This is
   good so that
   (1) if we get a solution it will be searchable by others that have this
   problem in the future
   (2) if we find a solution others will not be working to try to solve
 your
   problem when it is already solved, and
   (3) most people on this list know a lot more than I do so you're much
 more
   likely to get a solution.
  
  
   Thanks.  My BibTeX bibliography is empty, so that's the problem.  But
 I
   can't seem to get my .bib files into it.  I don't know what you mean
 when
   you say I should make sure my BibTeX folder is in the path.  What
 path?
  
   I don't know how to deal with this issue for Windows. You could search
   (using windows search) for files in your tex distribution (for example,
   search for .bib files) and put your BibTeX files there and hopefully
 that
   would be in the path. Or see below.
  
  
   When I click rescan nothing happens.  Clicking browse takes me to
   what looks like Windows Explorer, but it won't let me do anything
 with my
   BibTeX folder.  So I'm still stuck.
  
   This should work. What do you mean that it won't let you do anything
 with
   your BibTeX folder? You need to add the individual .bib files. Also,
 they
   must have the .bib extension otherwise they will not be found in that
   window. If they do not have the extension, you can just rename the
 files to
   add the extension to them.
  
   Does that work?
  
   Also, what version of LyX are you using?
  
   Scott
  

 --

Re: Inserting Citations

[William Hanson]

My problem is not primarily with creating new documents.  It is mainly with
getting existing LyX documents (that have been transferred to my new
computer) to appear with the references in them when LyX creates pdf files
from them.  At present the pdf versions of these documents have no
references at the end, and every citation in the text is replaced with a
question mark inside of square brackets.  I have been partly successful in
doing what Ray suggests with NEW documents:

Start LyX, create a new empty document, insert  list  bibliography,
select your four bib files, press OK, now type something and press the
Bib icon, you should be able to select an entry from all four bib
files. Now preview the document. You should see foo [n] or foo
(xyz, d), and just one entry in the references. If you cannot
reproduce this, you are looking at a bug, most probably in your
installation.

However,
(1) I can't add more than two of my four .bib files to any new or existing
document.  The program simply ignores the third and fourth.
(2) When I do succeed in adding one or two .bib files to an existing
document, some but not all of the citations in the body of the document
connect to the cited reference, even though that reference is in the .bib
files that have been added to the document.  These renegade citations still
show up as [?] in the pdf.

On Tue, Jun 12, 2012 at 1:49 PM, Ray Rashif schivmeis...@gmail.com wrote:

 On 13 June 2012 02:05, William Hanson whan...@umn.edu wrote:
  To All,
 
  I'm still having trouble getting LyX 2.0.3 to allow me to insert
 citations
  into documents created on a new Dell (running Windows 7).  (My old HP,
 which
  runs Windows XP, has no trouble doing this). On the Dell LyX works just
 fine
  until I click the Insert Citation tab.  It brings up the usual LyX:
 Citation
  window, but the Available Citation field is empty.
 
  However, my BibTeX folder contains four non-empty BibTeX Database (.bib)
  files (the same ones I used earlier on the HP, and which I transferred to
  the Dell via Mendeley).  I've tried making my .bib files available to LyX
  using  insert  list / TOC  BibTeX bibliography.  But no matter which
 of my
  four .bib files I add, I'll get only one or two References showing up in
 the
  final pdf.  And I don't seem to be able to add more than one of my four
 .bib
  files.  Also the references that do show up are specific to that
 particular
  document.  When I go to another LyX document and try to add a reference
 the
  Available Citation field is empty again.

 All bibliographic data are available on a per-document basis, and
 references will only appear _as cited_. This means there will not be
 any reference entry at the end of the document for any works _not_
 cited. For child documents, citations can be seen only in the master
 preview.

 Start LyX, create a new empty document, insert  list  bibliography,
 select your four bib files, press OK, now type something and press the
 Bib icon, you should be able to select an entry from all four bib
 files. Now preview the document. You should see foo [n] or foo
 (xyz, d), and just one entry in the references. If you cannot
 reproduce this, you are looking at a bug, most probably in your
 installation.


 --
 GPG/PGP ID: C0711BF1

Re: Inserting Citations

[William Hanson]

To All,

I'm still having trouble getting LyX 2.0.3 to allow me to insert citations
into documents created on a new Dell (running Windows 7).  (My old HP,
which runs Windows XP, has no trouble doing this). On the Dell LyX works
just fine until I click the Insert Citation tab.  It brings up the usual
LyX: Citation window, but the Available Citation field is empty.

However, my BibTeX folder contains four non-empty BibTeX Database (.bib)
files (the same ones I used earlier on the HP, and which I transferred to
the Dell via Mendeley).  I've tried making my .bib files available to LyX
using  insert > list / TOC > BibTeX bibliography.  But no matter which of
my four .bib files I add, I'll get only one or two References showing up in
the final pdf.  And I don't seem to be able to add more than one of my four
.bib files.  Also the references that do show up are specific to that
particular document.  When I go to another LyX document and try to add a
reference the Available Citation field is empty again.

For more information on the problem, see the correspondence below.

Bill Hanson




On Mon, Jun 11, 2012 at 11:26 PM, Scott Kostyshak <skost...@princeton.edu>wrote:

>  *From:* William Hanson [whan...@umn.edu]
>  *Sent:* Tuesday, June 12, 2012 12:08 AM
> **
>  Bill,
>
> Please respond to the list so that others can see your message. This is
> good so that
> (1) if we get a solution it will be searchable by others that have this
> problem in the future
> (2) if we find a solution others will not be working to try to solve your
> problem when it is already solved, and
> (3) most people on this list know a lot more than I do so you're much more
> likely to get a solution.
>
>
> >Thanks.  My BibTeX bibliography is empty, so that's the problem.  But I
> can't seem to get my .bib files >into it.  I don't know what you mean when
> you say I should make sure "my BibTeX folder is in the >path".  What path?
>
> I don't know how to deal with this issue for Windows. You could search
> (using windows search) for files in your tex distribution (for example,
> search for .bib files) and put your BibTeX files there and hopefully that
> would be in the path. Or see below.
>
>
> >When I click "rescan" nothing happens.  Clicking "browse" takes me to
> what looks like Windows >Explorer, but it won't let me do anything with my
> BibTeX folder.  So I'm still stuck.
>
> This should work. What do you mean that it won't let you do anything with
> your BibTeX folder? You need to add the individual .bib files. Also, they
> must have the .bib extension otherwise they will not be found in that
> window. If they do not have the extension, you can just rename the files to
> add the extension to them.
>
> Does that work?
>
> Also, what version of LyX are you using?
>
> Scott
>

Re: Inserting Citations

[William Hanson]

Manolo,

Thanks, but I don't see any "BibTex Generated Bibliography" grey
rectangle.

Bill

On Tue, Jun 12, 2012 at 1:10 PM, Manolo Martínez
<man...@austrohungaro.com>wrote:

> Bill,
>
> Once you insert a BibTex bibliography, you can click the "BibTex
> Generated Bibliography" grey rectangle and add more databases with the
> "Add" button at the top right corner of the dialog box that appears.
> Probably, you need more than one of your databases. Try adding all four.
>
> Cheers,
> Manolo
>
> On 06/12/12 at 01:05pm, William Hanson wrote:
> > To All,
> >
> > I'm still having trouble getting LyX 2.0.3 to allow me to insert
> citations
> > into documents created on a new Dell (running Windows 7).  (My old HP,
> > which runs Windows XP, has no trouble doing this). On the Dell LyX works
> > just fine until I click the Insert Citation tab.  It brings up the usual
> > LyX: Citation window, but the Available Citation field is empty.
> >
> > However, my BibTeX folder contains four non-empty BibTeX Database (.bib)
> > files (the same ones I used earlier on the HP, and which I transferred to
> > the Dell via Mendeley).  I've tried making my .bib files available to LyX
> > using  insert > list / TOC > BibTeX bibliography.  But no matter which of
> > my four .bib files I add, I'll get only one or two References showing up
> in
> > the final pdf.  And I don't seem to be able to add more than one of my
> four
> > .bib files.  Also the references that do show up are specific to that
> > particular document.  When I go to another LyX document and try to add a
> > reference the Available Citation field is empty again.
> >
> > For more information on the problem, see the correspondence below.
> >
> > Bill Hanson
> >
> >
> >
> >
> > On Mon, Jun 11, 2012 at 11:26 PM, Scott Kostyshak <
> skost...@princeton.edu>wrote:
> >
> > >  *From:* William Hanson [whan...@umn.edu]
> > >  *Sent:* Tuesday, June 12, 2012 12:08 AM
> > > **
> > >  Bill,
> > >
> > > Please respond to the list so that others can see your message. This is
> > > good so that
> > > (1) if we get a solution it will be searchable by others that have this
> > > problem in the future
> > > (2) if we find a solution others will not be working to try to solve
> your
> > > problem when it is already solved, and
> > > (3) most people on this list know a lot more than I do so you're much
> more
> > > likely to get a solution.
> > >
> > >
> > > >Thanks.  My BibTeX bibliography is empty, so that's the problem.  But
> I
> > > can't seem to get my .bib files >into it.  I don't know what you mean
> when
> > > you say I should make sure "my BibTeX folder is in the >path".  What
> path?
> > >
> > > I don't know how to deal with this issue for Windows. You could search
> > > (using windows search) for files in your tex distribution (for example,
> > > search for .bib files) and put your BibTeX files there and hopefully
> that
> > > would be in the path. Or see below.
> > >
> > >
> > > >When I click "rescan" nothing happens.  Clicking "browse" takes me to
> > > what looks like Windows >Explorer, but it won't let me do anything
> with my
> > > BibTeX folder.  So I'm still stuck.
> > >
> > > This should work. What do you mean that it won't let you do anything
> with
> > > your BibTeX folder? You need to add the individual .bib files. Also,
> they
> > > must have the .bib extension otherwise they will not be found in that
> > > window. If they do not have the extension, you can just rename the
> files to
> > > add the extension to them.
> > >
> > > Does that work?
> > >
> > > Also, what version of LyX are you using?
> > >
> > > Scott
> > >
>
> --
>

Re: Inserting Citations

[William Hanson]

My problem is not primarily with creating new documents.  It is mainly with
getting existing LyX documents (that have been transferred to my new
computer) to appear with the references in them when LyX creates pdf files
from them.  At present the pdf versions of these documents have no
references at the end, and every citation in the text is replaced with a
question mark inside of square brackets.  I have been partly successful in
doing what Ray suggests with NEW documents:

Start LyX, create a new empty document, insert > list > bibliography,
select your four bib files, press OK, now type something and press the
Bib icon, you should be able to select an entry from all four bib
files. Now preview the document. You should see "foo [n]" or "foo
(xyz, d)", and just one entry in the references. If you cannot
reproduce this, you are looking at a bug, most probably in your
installation.

However,
(1) I can't add more than two of my four .bib files to any new or existing
document.  The program simply ignores the third and fourth.
(2) When I do succeed in adding one or two .bib files to an existing
document, some but not all of the citations in the body of the document
connect to the cited reference, even though that reference is in the .bib
files that have been added to the document.  These renegade citations still
show up as [?] in the pdf.

On Tue, Jun 12, 2012 at 1:49 PM, Ray Rashif <schivmeis...@gmail.com> wrote:

> On 13 June 2012 02:05, William Hanson <whan...@umn.edu> wrote:
> > To All,
> >
> > I'm still having trouble getting LyX 2.0.3 to allow me to insert
> citations
> > into documents created on a new Dell (running Windows 7).  (My old HP,
> which
> > runs Windows XP, has no trouble doing this). On the Dell LyX works just
> fine
> > until I click the Insert Citation tab.  It brings up the usual LyX:
> Citation
> > window, but the Available Citation field is empty.
> >
> > However, my BibTeX folder contains four non-empty BibTeX Database (.bib)
> > files (the same ones I used earlier on the HP, and which I transferred to
> > the Dell via Mendeley).  I've tried making my .bib files available to LyX
> > using  insert > list / TOC > BibTeX bibliography.  But no matter which
> of my
> > four .bib files I add, I'll get only one or two References showing up in
> the
> > final pdf.  And I don't seem to be able to add more than one of my four
> .bib
> > files.  Also the references that do show up are specific to that
> particular
> > document.  When I go to another LyX document and try to add a reference
> the
> > Available Citation field is empty again.
>
> All bibliographic data are available on a per-document basis, and
> references will only appear _as cited_. This means there will not be
> any reference entry at the end of the document for any works _not_
> cited. For child documents, citations can be seen only in the master
> preview.
>
> Start LyX, create a new empty document, insert > list > bibliography,
> select your four bib files, press OK, now type something and press the
> Bib icon, you should be able to select an entry from all four bib
> files. Now preview the document. You should see "foo [n]" or "foo
> (xyz, d)", and just one entry in the references. If you cannot
> reproduce this, you are looking at a bug, most probably in your
> installation.
>
>
> --
> GPG/PGP ID: C0711BF1
>

Will LyX produce a LaTeX2E or TeX file?

[William Hanson]

I'm trying to submit a manuscript via the Springer web site to one of their
journals (Philosophical Studies).  Although the web site says they accept
many formats, including LaTeX2E and TeX, it won't accept the file that LyX
has produced.  Any ideas?  (I've contacted Springer too but so far have
received no response.)

Bill Hanson

Re: Will LyX produce a LaTeX2E or TeX file?

[William Hanson]

Thanks Stefano,

It worked, but I now have another problem.  The Springer web site has
accepted the .tex file that you helped me create, but when I look at the
contents of that file on their web site (in order to give it my Final
Approval) the references do not show up.  (There's no list of references
at the end of my paper, and all the little reference items in the text or
the paper appear as [?], rather than as [7], etc.) I suppose this is
because the references are in a BibTeX Generated Bibliography, as it says
at the end of my .lyx file.  How do I get that to Springer so that the two
files will work together to make the references to appear as they
should?

Bill


On Tue, Apr 17, 2012 at 11:00 AM, stefano franchi stefano.fran...@gmail.com
 wrote:

 On Tue, Apr 17, 2012 at 10:50 AM, William Hanson whan...@umn.edu wrote:
  I'm trying to submit a manuscript via the Springer web site to one of
 their
  journals (Philosophical Studies).  Although the web site says they accept
  many formats, including LaTeX2E and TeX, it won't accept the file that
 LyX
  has produced.  Any ideas?  (I've contacted Springer too but so far have
  received no response.)

 Lyx will produce a LaTeX2e file IF you export the file as such:

 FileExportLatex(plain)

 It will produce a will with extension .tex in the same directory as
 the original Lyx file.
 Notice that the .lyx file that you open in Lyx is not latex and will
 most likely not be accepted by Springer.


 Cheers,

 Stefano



 --
 __
 Stefano Franchi
 Associate Research Professor
 Department of Hispanic StudiesPh:   +1 (979) 845-2125
 Texas AM University  Fax:  +1 (979) 845-6421
 College Station, Texas, USA

 stef...@tamu.edu
 http://stefano.cleinias.org

Re: Will LyX produce a LaTeX2E or TeX file?

[William Hanson]

The solution Richard Heck proposes is one I'd like to follow.  But when I
go to Export I'm asked to choose between four different versions of LaTeX.
Which one should I use?

Bill Hanson

On Tue, Apr 17, 2012 at 3:59 PM, Liviu Andronic landronim...@gmail.comwrote:

 On Tue, Apr 17, 2012 at 10:42 PM, UD ehud.kap...@gmail.com wrote:
  The problem that Hanson ran into is a common one, which I have commented
 on
  here
  in the past.  It would be really nice if there was a simple way to
 automate
  the solution so that new users will
  not need to come  to this list again (some users do not know that it
 exists)
  to find out
  how to solve this problem (of generating a Latex file that is acceptable
 to
  journals, with all
  the references included in the .tex file).
 
 Best would be to document it on the wiki, and use appropriate keywords
 to make it easily searchable/findeable, and/or point people to it when
 they inquire on the list. Unless there is a smart script that could
 handle this, I don't think that LyX could adapt itself to the quirks
 of all the journals out there.

 Cheers
 Liviu

Re: Will LyX produce a LaTeX2E or TeX file?

[William Hanson]

Thanks Stefano,

I now seem to be tantalizingly close to creating a zip folder (or zip
archive?) to send to Philosophical Studies.  I've created a .bib file that
contains only the references I use in my paper, but this file is inside the
Mendeley Desktop. And I *cannot* move it to any other location.  So in
particular I can't get it into the folder that contains the .tex file of my
manuscript.  If only I could do that, I think I would be able to apply
WinZip to create the zipped entity (file?, folder?, archive?) I need, which
I could then send to Philosophical Studies.

I'm in philosophy at the University of Minnesota in Minneapolis, by the
way.  I've met Chris only once or twice, but we've corresponded.  I admire
his work.

Bill

On Tue, Apr 17, 2012 at 6:01 PM, stefano franchi
stefano.fran...@gmail.comwrote:

 On Tue, Apr 17, 2012 at 2:23 PM, William Hanson whan...@umn.edu wrote:
  Stefano,
 
  I don't know what you mean when you say I should run latex and then
 bibtex
  on your
  file.  I've already exported my original LyX file using your
  FileExportLatex(plain) instruction.  So I now have both a .lyx and
 a
  .tex version of my file.  I am using bibtex, by the way.
 

 I meant you need to run the latex program on the .tex file you
 exported from Lyx. How to do that depends (slightly) on which platform
 you work on.
 But forget about that: I just checked the Springer instructions for
 Philosophical studies,  and, as I suspected, they accept multi-file
 manuscript zipped into a single archive. So my suggestion is to avoid
 the complications of extracting the references and instead pack both
 your lyx-exported .tex file and your bibliography (in a bib file) into
 a single archive and then upload that.
 How to do that, again, depends on your platform. If you are on Windows
 there are many utilities that allow you to create zip archives. I
 don't use Windows, so I can't be precise, but I vaguely remember a
 program called  WinZip that did just that. Windows users on this list
 may provide more specific advice.
 On lInux, you'd just use the zip command from the command line. Open a
 terminal window, move to the directory where your tex and bib files
 are:

 $cd /my/working/directory

 and then issue the zip command:

 $zip my_manuscript_archive my_file.tex my_references.bib

 that will produce a file called  my_manuscript_archive.zip, which you
 can then upload to the Springer site

 On the Mac, you can do the same thing, I believe. Mac users may want
 to provide more specific advice.

 Note that Springer usually requires that your .bib file contains only
 the references you use in your manuscript. If you have a  bib file
 with other references (as most people do), you should save it as a new
 file and then eliminate all the extra references (how to do that
 depends on which software you use to manage your references).


  Since you're a philosopher and at Texas AM, you must know Chris Menzel.

 I certainly do. We were even in the same dept for a few years.


 Cheers,

 Stefano


 --
 __
 Stefano Franchi
 Associate Research Professor
 Department of Hispanic StudiesPh:   +1 (979) 845-2125
 Texas AM University  Fax:  +1 (979) 845-6421
 College Station, Texas, USA

 stef...@tamu.edu
 http://stefano.cleinias.org