Frédéric Collonval 97b8069f01 Backport PR #11622 on branch 3.2.x (Fix menu items for toc) (#11634) há 3 anos atrás
..
application de18e87eed [ci skip] New version há 3 anos atrás
application-extension 97b8069f01 Backport PR #11622 on branch 3.2.x (Fix menu items for toc) (#11634) há 3 anos atrás
apputils 308c541193 Backport PR #11510: Update `sanitize-html` pin to `3.5.3` (#11513) há 3 anos atrás
apputils-extension de18e87eed [ci skip] New version há 3 anos atrás
attachments de18e87eed [ci skip] New version há 3 anos atrás
cells 4bb5dc9cf8 Backport PR #11478: Tweak CSS for scrolled outputs (#11582) há 3 anos atrás
celltags de18e87eed [ci skip] New version há 3 anos atrás
celltags-extension de18e87eed [ci skip] New version há 3 anos atrás
codeeditor de18e87eed [ci skip] New version há 3 anos atrás
codemirror 14bef10b5d Backport PR #11488 on branch 3.2.x (Fix Tex highlights affecting Markdown with standalone `$`) (#11501) há 3 anos atrás
codemirror-extension de18e87eed [ci skip] New version há 3 anos atrás
completer de18e87eed [ci skip] New version há 3 anos atrás
completer-extension de18e87eed [ci skip] New version há 3 anos atrás
console de18e87eed [ci skip] New version há 3 anos atrás
console-extension de18e87eed [ci skip] New version há 3 anos atrás
coreutils de18e87eed [ci skip] New version há 3 anos atrás
csvviewer de18e87eed [ci skip] New version há 3 anos atrás
csvviewer-extension de18e87eed [ci skip] New version há 3 anos atrás
debugger de18e87eed [ci skip] New version há 3 anos atrás
debugger-extension de18e87eed [ci skip] New version há 3 anos atrás
docmanager de18e87eed [ci skip] New version há 3 anos atrás
docmanager-extension de18e87eed [ci skip] New version há 3 anos atrás
docprovider de18e87eed [ci skip] New version há 3 anos atrás
docprovider-extension de18e87eed [ci skip] New version há 3 anos atrás
docregistry cc605ce0db Backport PR #11526: Support file type extension with upper case (#11593) há 3 anos atrás
documentsearch de18e87eed [ci skip] New version há 3 anos atrás
documentsearch-extension de18e87eed [ci skip] New version há 3 anos atrás
extensionmanager de18e87eed [ci skip] New version há 3 anos atrás
extensionmanager-extension de18e87eed [ci skip] New version há 3 anos atrás
filebrowser de18e87eed [ci skip] New version há 3 anos atrás
filebrowser-extension de18e87eed [ci skip] New version há 3 anos atrás
fileeditor de18e87eed [ci skip] New version há 3 anos atrás
fileeditor-extension de18e87eed [ci skip] New version há 3 anos atrás
help-extension de18e87eed [ci skip] New version há 3 anos atrás
htmlviewer de18e87eed [ci skip] New version há 3 anos atrás
htmlviewer-extension de18e87eed [ci skip] New version há 3 anos atrás
hub-extension de18e87eed [ci skip] New version há 3 anos atrás
imageviewer de18e87eed [ci skip] New version há 3 anos atrás
imageviewer-extension de18e87eed [ci skip] New version há 3 anos atrás
inspector de18e87eed [ci skip] New version há 3 anos atrás
inspector-extension de18e87eed [ci skip] New version há 3 anos atrás
javascript-extension de18e87eed [ci skip] New version há 3 anos atrás
json-extension de18e87eed [ci skip] New version há 3 anos atrás
launcher de18e87eed [ci skip] New version há 3 anos atrás
launcher-extension de18e87eed [ci skip] New version há 3 anos atrás
logconsole de18e87eed [ci skip] New version há 3 anos atrás
logconsole-extension de18e87eed [ci skip] New version há 3 anos atrás
mainmenu de18e87eed [ci skip] New version há 3 anos atrás
mainmenu-extension de18e87eed [ci skip] New version há 3 anos atrás
markdownviewer de18e87eed [ci skip] New version há 3 anos atrás
markdownviewer-extension de18e87eed [ci skip] New version há 3 anos atrás
mathjax2 de18e87eed [ci skip] New version há 3 anos atrás
mathjax2-extension de18e87eed [ci skip] New version há 3 anos atrás
metapackage de18e87eed [ci skip] New version há 3 anos atrás
nbconvert-css de18e87eed [ci skip] New version há 3 anos atrás
nbformat de18e87eed [ci skip] New version há 3 anos atrás
notebook 7442e39727 Backport PR #11539: Increase notebook-cell margin in side-by-side mode há 3 anos atrás
notebook-extension d274e9940a Backport PR #11533: Add side-by-side rendering as global setting há 3 anos atrás
observables de18e87eed [ci skip] New version há 3 anos atrás
outputarea c09ee2b81a Backport PR #11457: Only show the head of the outputs and ensure iopub outputs are correctly displayed há 3 anos atrás
pdf-extension de18e87eed [ci skip] New version há 3 anos atrás
property-inspector de18e87eed [ci skip] New version há 3 anos atrás
rendermime a845bae7c2 Backport PR #11517: Allow cross-file anchors with leading number (#11523) há 3 anos atrás
rendermime-extension de18e87eed [ci skip] New version há 3 anos atrás
rendermime-interfaces de18e87eed [ci skip] New version há 3 anos atrás
running de18e87eed [ci skip] New version há 3 anos atrás
running-extension de18e87eed [ci skip] New version há 3 anos atrás
services de18e87eed [ci skip] New version há 3 anos atrás
settingeditor de18e87eed [ci skip] New version há 3 anos atrás
settingeditor-extension de18e87eed [ci skip] New version há 3 anos atrás
settingregistry de18e87eed [ci skip] New version há 3 anos atrás
shared-models 7935872a99 Backport PR #11525: Sync dirty property between clients (#11581) há 3 anos atrás
shortcuts-extension de18e87eed [ci skip] New version há 3 anos atrás
statedb de18e87eed [ci skip] New version há 3 anos atrás
statusbar de18e87eed [ci skip] New version há 3 anos atrás
statusbar-extension de18e87eed [ci skip] New version há 3 anos atrás
terminal de18e87eed [ci skip] New version há 3 anos atrás
terminal-extension de18e87eed [ci skip] New version há 3 anos atrás
theme-dark-extension de18e87eed [ci skip] New version há 3 anos atrás
theme-light-extension de18e87eed [ci skip] New version há 3 anos atrás
toc de18e87eed [ci skip] New version há 3 anos atrás
toc-extension da0a4039ef Restore accidentally removed ToC context menu (#11617) há 3 anos atrás
tooltip de18e87eed [ci skip] New version há 3 anos atrás
tooltip-extension de18e87eed [ci skip] New version há 3 anos atrás
translation de18e87eed [ci skip] New version há 3 anos atrás
translation-extension de18e87eed [ci skip] New version há 3 anos atrás
ui-components de18e87eed [ci skip] New version há 3 anos atrás
ui-components-extension de18e87eed [ci skip] New version há 3 anos atrás
vdom de18e87eed [ci skip] New version há 3 anos atrás
vdom-extension de18e87eed [ci skip] New version há 3 anos atrás
vega5-extension de18e87eed [ci skip] New version há 3 anos atrás