Yet the attached screenshot seems to indicate that the Jupyter notebook server launched by SageMath does not include selecting the "Header" cell type.
Is there some configuration mechanism for deciding which cell types are offered, which maybe would need to be set up differently? Samuel 2018-01-06 14:47 GMT-06:00 Jason Grout <ja...@jasongrout.org>: > > Cool, thanks, good to see things are getting up to date. > Both of those definitely have the concept of header cells. > > Jason > > > On Sat, Jan 6, 2018 at 11:29 AM Samuel Lelièvre <samuel.lelie...@gmail.com> wrote: >> >> Sage 8.1 has notebook 4.4.1, while Sage 8.2.beta0 up to Sage 8.2.beta1 have notebook 5.2.1. >> >> $ ls /path/to/sage-8.1/upstream | grep notebook >> notebook-4.4.1.tar.gz >> >> $ ls /path/to/sage-8.beta0/upstream | grep notebook >> notebook-5.2.1.tar.gz >> >> $ ls /path/to/sage-8.beta2/upstream | grep notebook >> notebook-5.2.1.tar.gz >> >> -- >> 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 sage-devel+unsubscr...@googlegroups.com. >> To post to this group, send email to sage-devel@googlegroups.com. >> Visit this group at https://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 a topic in the Google Groups "sage-devel" group. > To unsubscribe from this topic, visit https://groups.google.com/d/topic/sage-devel/Pn2nAPSuGig/unsubscribe. > To unsubscribe from this group and all its topics, send an email to sage-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-devel@googlegroups.com. > Visit this group at https://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 sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
