|
@@ -13,7 +13,6 @@ import { IMarkdownViewerTracker } from '@jupyterlab/markdownviewer';
|
|
import { INotebookTracker } from '@jupyterlab/notebook';
|
|
import { INotebookTracker } from '@jupyterlab/notebook';
|
|
import { IRenderMimeRegistry } from '@jupyterlab/rendermime';
|
|
import { IRenderMimeRegistry } from '@jupyterlab/rendermime';
|
|
import { ISettingRegistry } from '@jupyterlab/settingregistry';
|
|
import { ISettingRegistry } from '@jupyterlab/settingregistry';
|
|
-
|
|
|
|
import { TableOfContents } from './toc';
|
|
import { TableOfContents } from './toc';
|
|
import {
|
|
import {
|
|
createLatexGenerator,
|
|
createLatexGenerator,
|