Works! I am a bit confused by keyword structure, that has dots, dashes, and underscores. Are there difficulties with spaces? And for dots, if they are supposed to have some hierarchy, I always liked lists on http://sagemath.org/eval.html (which apparently does not work anymore) It would be nice to have a quick index for finding what you know and want right now, not just for discovering new stuff.
When I click on a keyword, I see big "keyword/keyword" on the top, which is somewhat strange. The documents listed under still show this keyword next to them and clicking on a new one switches to that other keyword. Perhaps the "active keyword" can be removed from lists and clicking a new one would add a condition to the filter rather than replace? With a list of currently active keyword somewhere with "x" next to them to remove some if desired. Thanks for working on it! Andrey On Friday, 13 February 2015 14:19:43 UTC-7, Thierry (sage-googlesucks@xxx) wrote: > > On Fri, Feb 13, 2015 at 12:08:49PM -0800, Andrey Novoseltsev wrote: > > The link does not work, I am getting "Internal Server Error" > > Thanks for the feedback. > > Since there was not much registrations, we just made modifications to the > database structure (changes in the versionning system), so you connected > just at the critical moment, sorry, please tell if it works now: > > https://sageindex.lipn.univ-paris13.fr/ > http://sageindex.lipn.univ-paris13.fr/ > > Ciao, > Thierry > > > > > > -- > > You received this message because you are subscribed to the Google > Groups "sage-devel" group. > > To unsubscribe from this group and stop receiving emails from it, send > an email to [email protected] <javascript:>. > > To post to this group, send email to [email protected] > <javascript:>. > > Visit this group at http://groups.google.com/group/sage-devel. > > For more options, visit https://groups.google.com/d/optout. > > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
