Rob, The author of the Latex class ffslides (Mark Wolters) suggested I try putting \obeyspaces right at top line of \begin{document} and that works! Great! All the SML is now spaced correctly. That means I don't have to post-process the tex file. It remains to be seen if that breaks anything else, but so far it is fine. Thanks for the tip! -Dave
On Wed, Oct 5, 2016 at 10:42 PM, David Topham <dtop...@ohlone.edu> wrote: > 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