Re: [fricas-devel] Re: Documentation in spad files

2015-11-02 Thread Ralf Hemmecke
On 11/02/2015 12:40 PM, Alasdair McAndrew wrote: > Many thanks - I did in fact have a look through those pages. But they seem > more geared to producing stand-alone hypertex files. What I was hoping to > find was how to format text on lines starting with ++ in a spad file. Most interesting is pe

Re: [fricas-devel] Re: Documentation in spad files

2015-11-02 Thread Alasdair McAndrew
Many thanks - I did in fact have a look through those pages. But they seem more geared to producing stand-alone hypertex files. What I was hoping to find was how to format text on lines starting with ++ in a spad file. Thanks again, Alasdair On Mon, Nov 2, 2015 at 10:21 PM, Themos wrote: > He

[fricas-devel] Re: Documentation in spad files

2015-11-02 Thread Themos
Hello Alasdair, to get rid of command windows generated by HyperDoc clicks, try ")close". You can see the system commands help if you follow "Settings" from HyperDoc top-level and then "Commands". Themos Tsikas On Sunday, 1 November 2015 00:04:19 UTC, Alasdair wrote: > > I have belatedly disco

[fricas-devel] Re: Documentation in spad files

2015-11-02 Thread Themos
Hello Alasdair, You may find the pages I wrote a long time ago useful. In fricas, you can see them by clicking on Reference at the top HyperDoc page and then HyperDoc (penultimate button). Regards Themos Tsikas On Sunday, 1 November 2015 00:04:19 UTC, Alasdair wrote: > > I have belatedly di