...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

Reply via email to