Rob, That works great! Thanks so much, Dave

On Sun, Feb 22, 2015 at 9:08 AM, Rob Arthan <r...@lemma-one.com> wrote:

> David,
>
> On 22 Feb 2015, at 16:47, David Topham <dtop...@ohlone.edu> wrote:
>
> I am trying to get a proof listing (of hypothetical syllogism) for
> teaching purposes.
>
> Thanks to help from Roger, I have the proof working, but would like to use
> PrettyPrinter to put each step of proof on different line. I almost have
> it, but ran into a snag with the special character Q (which means something
> special to ProofPower).
>
> I attached the screen capture where you can see the Q has become QQQQ.
>
>
> There is a function translate_for_output which undoes the encoding.
>
> Even easier in your example, there is a function diag_line which
> translates a
> string for output and prints it on standard output followed by a newline
> character.
> If you change your definition of printList
>
> val printList = app diag_line;
>
> it should do what you want.
>
> Regards,
>
> Rob.
>
>
> My goal is something approximating a Fitch-style proof (but I don't need
> the lines for the subproof)
>
> I appreciate any suggestions...
>
> -Dave Topham
> <prettyPrint.jpg>_______________________________________________
> 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

Reply via email to