Yes that seems to work real nice. I like it! Just a few questions/observations that perhaps you have already considered:
Maybe a slightly different layout would make the meaning of the link to source code more obvious. There are some "red" exports such as divide in NonNegativeInteger that have no links. Why is that? It might be nice to format the category information differently from the export list, i.e. with a subheading or color. I looked at http://www.hemmecke.de/fricas/html/NonNegativeInteger.html#l-non-negative-integer for example in the source we see: NonNegativeInteger : Join(OrderedAbelianMonoidSup, SemiRing, CommutativeStar) with ... but you display: AbelianMonoid AbelianSemiGroup BasicType CancellationAbelianMonoid CoercibleTo OutputForm CommutativeStar Comparable Monoid OrderedAbelianMonoid OrderedAbelianMonoidSup OrderedAbelianSemiGroup OrderedCancellationAbelianMonoid OrderedSet PartialOrder SemiGroup SemiRing SemiRng SetCategory Is this some sort of expansion of the original? On 29 May 2014 15:21, Ralf Hemmecke <r...@hemmecke.org> wrote: >> Is there some way to provide links to source code? > > You mean like this? > > http://www.hemmecke.de/fricas/html/BinaryTree.html > > Ralf > > -- > You received this message because you are subscribed to the Google Groups > "FriCAS - computer algebra system" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to fricas-devel+unsubscr...@googlegroups.com. > To post to this group, send email to fricas-devel@googlegroups.com. > Visit this group at http://groups.google.com/group/fricas-devel. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To post to this group, send email to fricas-devel@googlegroups.com. Visit this group at http://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.