14 Commits (47b0c4fe8ed77d640b4b024337d8cb362f97fa74)

Author	SHA1	Message	Date
Mieju	02ef33a318	moved and adjusted user menu css code	4 years ago
Jeremy Tuloup	1350c66456	Switch to settings for other top bar items	4 years ago
Jeremy Tuloup	e049582f4d	Additional renaming	4 years ago
Jeremy Tuloup	78f745573c	First round of renaming to notebook	4 years ago
Jeremy Tuloup	2047e3a5e4	Rename to `RetroLab` (#121) ... * Rename text to RetroLab * More renaming * More renaming * Rename files * Update deps * Update logo * Lint * Update README.md * Minor CSS fix * Update tour * Update screencasts in README.md	5 years ago
Jeremy Tuloup	cc387c81f2	Move document css to edit extension	5 years ago
Jeremy Tuloup	9bb290d1a9	Update to rc13	5 years ago
Jeremy Tuloup	ffbaab1e23	Support for opening new terminals via the URL	5 years ago
Jeremy Tuloup	500f9919ff	Fix CSS import	5 years ago
Jeremy Tuloup	fdc55393cb	Add Edit page	5 years ago
Jeremy Tuloup	ebfeaf35c7	Move some plugins to the notebook extension	5 years ago
Jeremy Tuloup	cae48ed1af	Add kernel status indicator	5 years ago
Jeremy Tuloup	b16b3e523d	Add checkpoint indicator	5 years ago
Jeremy Tuloup	ddcf687a78	Initial commit	5 years ago