# Re: [ProofPower] Font for SML

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