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
Thu, 23 Oct 2025 16:15:40 +0200
changeset 83363 486e094b676c
parent 81078 ca20bd1e25fe
child 83576 24c12df8b961
permissions -rw-r--r--
various improvements of Isabelle/VSCode: original changeset by Diana Korchmar, LMU München;
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
83363
486e094b676c various improvements of Isabelle/VSCode: original changeset by Diana Korchmar, LMU München;
wenzelm
parents: 81078
diff changeset 
     8
 
media/documentation-panel.svg
486e094b676c various improvements of Isabelle/VSCode: original changeset by Diana Korchmar, LMU München;
wenzelm
parents: 81078
diff changeset 
     9
 
media/symbol-panel.svg
486e094b676c various improvements of Isabelle/VSCode: original changeset by Diana Korchmar, LMU München;
wenzelm
parents: 81078
diff changeset 
    10
 
media/sledgehammer-panel.svg
486e094b676c various improvements of Isabelle/VSCode: original changeset by Diana Korchmar, LMU München;
wenzelm
parents: 81078
diff changeset 
    11
 
media/output-panel.svg
75290
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    12
 
media/PreviewOnRightPane_16x_dark.svg
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    13
 
media/PreviewOnRightPane_16x.svg
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    14
 
media/Preview.svg
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    15
 
media/ViewSource_inverse.svg
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    16
 
media/ViewSource.svg
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    17
 
media/vscode.css
83363
486e094b676c various improvements of Isabelle/VSCode: original changeset by Diana Korchmar, LMU München;
wenzelm
parents: 81078
diff changeset 
    18
 
media/symbols.css
486e094b676c various improvements of Isabelle/VSCode: original changeset by Diana Korchmar, LMU München;
wenzelm
parents: 81078
diff changeset 
    19
 
media/symbols.js
486e094b676c various improvements of Isabelle/VSCode: original changeset by Diana Korchmar, LMU München;
wenzelm
parents: 81078
diff changeset 
    20
 
media/documentation.css
486e094b676c various improvements of Isabelle/VSCode: original changeset by Diana Korchmar, LMU München;
wenzelm
parents: 81078
diff changeset 
    21
 
media/documentation.js
486e094b676c various improvements of Isabelle/VSCode: original changeset by Diana Korchmar, LMU München;
wenzelm
parents: 81078
diff changeset 
    22
 
media/sledgehammer.css
486e094b676c various improvements of Isabelle/VSCode: original changeset by Diana Korchmar, LMU München;
wenzelm
parents: 81078
diff changeset 
    23
 
media/sledgehammer.js
75290
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    24
 
package.json
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    25
 
README.md
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    26
 
src/decorations.ts
83363
486e094b676c various improvements of Isabelle/VSCode: original changeset by Diana Korchmar, LMU München;
wenzelm
parents: 81078
diff changeset 
    27
 
src/documentation_panel.ts
75290
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    28
 
src/extension.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    29
 
src/file.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    30
 
src/library.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    31
 
src/lsp.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    32
 
src/output_view.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    33
 
src/platform.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    34
 
src/preview_panel.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    35
 
src/script_decorations.ts
83363
486e094b676c various improvements of Isabelle/VSCode: original changeset by Diana Korchmar, LMU München;
wenzelm
parents: 81078
diff changeset 
    36
 
src/sledgehammer_panel.ts
75290
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    37
 
src/state_panel.ts
83363
486e094b676c various improvements of Isabelle/VSCode: original changeset by Diana Korchmar, LMU München;
wenzelm
parents: 81078
diff changeset 
    38
 
src/symbol_panel.ts
75290
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    39
 
src/vscode_lib.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    40
 
test/extension.test.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    41
 
test/index.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    42
 
tsconfig.json
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    43
 
.vscodeignore
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    44
 
.vscode/launch.json
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    45
 
.vscode/settings.json
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    46
 
.vscode/tasks.json
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    47
 
yarn.lock
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    48
 
.yarnrc
isabelle