[sage-devel] permission problem installing optional databases in SAGE 6.0

2013-12-22 Thread Greg Marks
Dear SAGE Developers: Building SAGE 6.0 from source on an Ubuntu 12.04 machine, I encountered a problem at step 9, installing the optional databases. Several databases did install without error, namely database_gap-4.6.4, gap_packages-4.6.4.p1, coxeter3-1.1, and cryptominisat-2.9.6. The foll

[sage-devel] Sage 6.x documentation

2013-12-22 Thread Marc Mezzarobba
As noticed by Paul Zimmermann, http://www.sagemath.org/doc/ still points to the documentation of Sage 5.13. For regular manuals, it shouldn't make any difference until sage-6.1 is released, however the developer guide is out of date. -- Marc -- You received this message because you are subsc