leanprover
diff --git a/‎vscode-lean4/manual/images/auto-implicit-inlay-hint.png‎
3.15 KB b/‎vscode-lean4/manual/images/auto-implicit-inlay-hint.png‎
3.15 KB
diff --git a/‎vscode-lean4/manual/images/diagnostics.png‎
-9.34 KB b/‎vscode-lean4/manual/images/diagnostics.png‎
-9.34 KB
diff --git a/‎vscode-lean4/manual/images/infoview-go-to-definition.png‎
-5.32 KB b/‎vscode-lean4/manual/images/infoview-go-to-definition.png‎
-5.32 KB
diff --git a/‎vscode-lean4/manual/images/infoview-hover.png‎
-45.2 KB b/‎vscode-lean4/manual/images/infoview-hover.png‎
-45.2 KB
diff --git a/‎vscode-lean4/manual/images/infoview.png‎
-16.2 KB b/‎vscode-lean4/manual/images/infoview.png‎
-16.2 KB
diff --git a/‎vscode-lean4/manual/images/module-hierarchy.png‎
8.35 KB b/‎vscode-lean4/manual/images/module-hierarchy.png‎
8.35 KB
diff --git a/‎vscode-lean4/manual/manual.md‎
Lines changed: 61 additions & 13 deletions b/‎vscode-lean4/manual/manual.md‎
Lines changed: 61 additions & 13 deletions