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