First time here? Check out the FAQ!
answered 2017-02-06 15:06:21 +0100
The answer is yes, see some more details on this answer : https://ask.sagemath.org/question/35826/terminal-with-autocomplete-no-longer-useful/