8 Commits (d9fca8992d9e37b2bf780b8f14480a6853a446fc)

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