First time here? Check out the FAQ!
answered 2015-11-13 11:39:23 +0100
If you are about .sagews files, you need press ctrl and / buttons. This will work only when your keyboard layout is English.
Best regards, Andrey.