Rob, That idea does work: when I replace all spaces with ~ I get good output. I would need to post-process each tex file though. Maybe I can work out a script to do that and integrate it with docdvi (as Roger suggested)? First I will try to see if/how ffslides may be interfering with obeyspaces. I did read in the ffslides documentation that we can't use verbatim directly since pstricks (postscript) has some problem with that. Maybe a related issue. Thanks for the tip; that is a good work-around for now. -Dave
On Wed, Oct 5, 2016 at 1:05 PM, Rob Arthan <r...@lemma-one.com> wrote: > David, > > The ProofPower environments use \obeyspaces to persuade LaTeX to honour > the spaces > in ML code etc. The ffslides package is doing something that is stopping > \obeyspaces > working properly. A quick fix would be to edit the .tex file (lab.tex in > your example) to replace > spaces between \begin{GFT} and \end{GFT} with tildes. > > Regards, > > Rob. > > On 5 Oct 2016, at 20:55, David Topham <dtop...@ohlone.edu> wrote: > > ...forgot to mention...need to go through postscript, so > latex lab.tex > dvipdf lab.dvi > > On Wed, Oct 5, 2016 at 12:28 PM, David Topham <dtop...@ohlone.edu> wrote: > >> Thanks Roger, In case you wish to see the problem more exactly attached >> is the doc file and the ffslides.cls (which you could also get at CTAN). >> It seems that for SML, the spaces are all removed! I will look into GFT to >> see how spaces are inserted. One issue might be if verbatim environment is >> used? -Dave >> >> >> On Wed, Oct 5, 2016 at 8:35 AM, Roger Bishop Jones <r...@rbjones.com> >> wrote: >> >>> David, >>> >>> Doctex doesn't chose a font, it just generates LaTeX commands for the >>> formal text and any font changing is up to the rest of the document (that >>> you provide in the =TEX sections of the .doc file). >>> >>> It does generate tex for the HOL and ZED paragraphs which is intended to >>> force the layout in the printed version to follow the layout in the source, >>> which tex would not normally do, so I guess the ffslides package is >>> interfering with the way that works. >>> The formal text is translated into tex using an environment GFT which is >>> defined in ProofPower.sty, but its beyond my tex expertise to understand >>> how it works or why ffslides is interfering. >>> >>> It is possible to get slides made with ProofPower formal text in them, >>> the tutorial slides in the ProofPower distribution are examples of how this >>> can be done, though the method used for them is probably rather ancient by >>> now. >>> >>> Roger >>> >>> >>> On 04/10/2016 20:14, David Topham wrote: >>> >>> I am exploring a not often used but nice Latex package named ffslides. >>> It has several advantages in exact control of where things are placed on >>> the page using postscript (actually pstricks) behind the scenes. But, one >>> problem is that the SML in my doc file is getting scrunched together like >>> this: >>> >>> *funsubset([],[])=true* >>> >>> Is there a way for me to choose a different font when doctex extracts >>> the SML? >>> Maybe I could find an alternative that would not squash? >>> >>> -Dave >>> >>> , >>> [])= >>> true >>> >>> >>> _______________________________________________ >>> Proofpower mailing >>> listProofpower@lemma-one.comhttp://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com >>> >>> >>> >>> >>> ------------------------------ >>> This message did not originate from Ohlone College and must be viewed >>> with caution. Viruses and phishing attempts can be transmitted via email. >>> E-mail transmission cannot be guaranteed to be secure or error-free as >>> information could be intercepted, corrupted, lost, destroyed, arrive late >>> or incomplete, or contain viruses. If you have any concerns, please contact >>> the Ohlone College IT Service Desk at itserviced...@ohlone.edu or (510) >>> 659-7333. >>> >> >> > _______________________________________________ > Proofpower mailing list > Proofpower@lemma-one.com > http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com > > >
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com