Re: Logic: Tableau Proofs (trees)

2013-11-04 Thread Scott Kostyshak
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 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

Re: LyX XMPP-Enhanced Chat

2013-11-04 Thread Nico Williams
Hi, this is pretty awesome indeed! Would it be possible to do somethin OTR-like (in the sense of hiding extra data) for exchanging cursor movement operations / cursor location, and changes (typing, ...)? That would make it possible to collaboratively edit LyX docs.

Re: Change Slide positions in Beamer branches with lyx2.1beta

2013-11-04 Thread Jürgen Spitzmüller
Am Montag 04 November 2013, 11:46:41 schrieb Uwe Ade: > im working with lyx2.1beta and want change the positions from slides in the > document. This normally works very well with „Ansicht“ „Gliederung des > Dokuments“. > > But if the slides in a Branche. It does´t work. Is this correct? Correct.

Change Slide positions in Beamer branches with lyx2.1beta

2013-11-04 Thread Uwe Ade
Hello,im working with lyx2.1beta and want change the positions from slides in the document. This normally works very well with „Ansicht“ „Gliederung des Dokuments“.But if the slides in a Branche. It does´t work. Is this correct? Theres an example with to slide outside the branch, witch can moved up

Re: Beginners need to tweak layout

2013-11-04 Thread Guenter Milde
On 2013-11-02, Mark Horton wrote: > Thanks for that, the documentation for this is also good, and the whole lot > seems to operate at a higher level. So I experimented, first I tried > editing the preamble…. > \usepackage{scrpage2} > \usepackage{titlesec} > \setkomafont{chapter}{\ttfamily \bfse