Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/VSCode/extension/MANIFEST
author wenzelm
Mon, 11 Sep 2023 19:30:48 +0200
changeset 78659 b5f3d1051b13
parent 75290 c9ee3028c125
child 81045 07d25a1830df
permissions -rw-r--r--
tuned;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
75290
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
     1
 
isabelle-language.json
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
     2
 
isabelle-ml-grammar.json
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
     3
 
isabelle-ml-language.json
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
     4
 
isabelle.png
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
     5
 
isabelle_vscode.png
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
     6
 
media/main.js
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
     7
 
media/Preview_inverse.svg
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
     8
 
media/PreviewOnRightPane_16x_dark.svg
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
     9
 
media/PreviewOnRightPane_16x.svg
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    10
 
media/Preview.svg
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    11
 
media/ViewSource_inverse.svg
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    12
 
media/ViewSource.svg
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    13
 
media/vscode.css
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    14
 
package.json
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    15
 
README.md
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    16
 
src/abbreviations.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    17
 
src/completion.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    18
 
src/decorations.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    19
 
src/extension.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    20
 
src/file.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    21
 
src/library.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    22
 
src/lsp.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    23
 
src/output_view.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    24
 
src/platform.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    25
 
src/prefix_tree.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    26
 
src/preview_panel.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    27
 
src/script_decorations.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    28
 
src/state_panel.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    29
 
src/symbol.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    30
 
src/vscode_lib.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    31
 
test/extension.test.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    32
 
test/index.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    33
 
tsconfig.json
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    34
 
.vscodeignore
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    35
 
.vscode/launch.json
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    36
 
.vscode/settings.json
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    37
 
.vscode/tasks.json
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    38
 
yarn.lock
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    39
 
.yarnrc
isabelle