update leancopilot integration doc

wadkisson · wadkisson · commit 76a936904c2d · 2025-11-29T21:44:41.000-06:00
diff --git a/vscode/extensions/leancopilot-panel/src/extension.ts b/vscode/extensions/leancopilot-panel/src/extension.ts
@@ -384,7 +384,7 @@ class LeanCopilotPanel implements vscode.WebviewViewProvider {
         </head>
         <body>
           <h2>🤖 LeanCopilot integrated!</h2>
-          <div class="small">LeanCopilot is now ready to use in your project! Try using either "suggest_tactics_deepseek" or "#statesearch" for theorem proving assistance!</div>
+          <div class="small">LeanCopilot is now ready to use in your project! Try using "suggest_tactics" for theorem proving assistance!</div>
         </body>
         </html>
       `;
