14 Commits (0d83598eebf2a0df6ec24a9966e1f2c504246701)

Author	SHA1	Message	Date
Jeremy Tuloup	0d83598eeb	Combine the running and file browsers on tree	5 years ago
Jeremy Tuloup	0fcce28d16	Add a running page	5 years ago
Jeremy Tuloup	595b1e2183	Open notebooks in a new browser tab	5 years ago
Jeremy Tuloup	ebfeaf35c7	Move some plugins to the notebook extension	5 years ago
Jeremy Tuloup	95b39d037e	Add a tree page with the filebrowser	5 years ago
Jeremy Tuloup	8ae20e3609	Add the tooltip extension	5 years ago
Jeremy Tuloup	d9fca8992d	Add the completer extension	5 years ago
Jeremy Tuloup	885833967c	Add command palette	5 years ago
Jeremy Tuloup	1fefdea5f2	Add mathjax2 extension	5 years ago
Jeremy Tuloup	066d9cb65f	Add TODO for formal plugin definition	5 years ago
Jeremy Tuloup	ad8e72dc08	Add support for themes	5 years ago
Jeremy Tuloup	797a1ae9d6	Reuse doc manager from lab	5 years ago
Jeremy Tuloup	3c1b3325ce	Add shortcuts extension	5 years ago
Jeremy Tuloup	ddcf687a78	Initial commit	5 years ago