10 Commits (95b39d037ea9b78f014103e01ee15b73605b2ce2)

Author	SHA1	Message	Date
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