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 paulson <lp15@cam.ac.uk>
Sun, 03 Aug 2025 20:34:24 +0100
changeset 82913 7c870287f04f
parent 81078 ca20bd1e25fe
permissions -rw-r--r--
New lemmas about improper integrals and other things
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/decorations.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    17
 
src/extension.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    18
 
src/file.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    19
 
src/library.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    20
 
src/lsp.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    21
 
src/output_view.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    22
 
src/platform.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    23
 
src/preview_panel.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    24
 
src/script_decorations.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    25
 
src/state_panel.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    26
 
src/vscode_lib.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    27
 
test/extension.test.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    28
 
test/index.ts
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    29
 
tsconfig.json
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    30
 
.vscodeignore
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    31
 
.vscode/launch.json
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    32
 
.vscode/settings.json
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    33
 
.vscode/tasks.json
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    34
 
yarn.lock
c9ee3028c125 clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm
parents:
diff changeset 
    35
 
.yarnrc
isabelle