...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 <[email protected]> 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 <[email protected]> > 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 >> [email protected]http://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 [email protected] or (510) >> 659-7333. >> > >
_______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
