Re: [fricas-devel] Group presentation

2018-05-08 Thread Kurt Pagani
On 08.05.2018 15:36, Martin Baker wrote: > It is hidden for me, I turn off HyperDoc in the start up script and I use > fricas.github.io. > > I think its about time HyperDoc was got rid of. I think its clunky, old > fashioned and off-putting for users and hard to write for developers. > > Martin

Re: [fricas-devel] Group presentation

2018-05-08 Thread Waldek Hebisch
> > On 08/05/18 13:19, Waldek Hebisch wrote: > > Hmm, have you looked at: > > > > https://sourceforge.net/p/fricas/code/HEAD/tree/trunk/src/doc/htex/GROUPP.htex > > > > Do you think that this is "hidden"? > > It is hidden for me, I turn off HyperDoc in the start up script and I > use

Re: [fricas-devel] Group presentation

2018-05-08 Thread Martin Baker
On 08/05/18 13:19, Waldek Hebisch wrote: Hmm, have you looked at: https://sourceforge.net/p/fricas/code/HEAD/tree/trunk/src/doc/htex/GROUPP.htex Do you think that this is "hidden"? It is hidden for me, I turn off HyperDoc in the start up script and I use fricas.github.io. I think its

Re: [fricas-devel] Group presentation

2018-05-08 Thread Waldek Hebisch
Martin Baker wrote: > > Waldek, > > As I said before, I'm not suggesting that the reference documentation > tries to teach the mathematics but I do think it should allow potential > users to match the mathematics to the code. I think my ideal would be to > allow both short and long