我正在使用 WinEdt,我想安装包 esint。当我编译文档以生成 pdf 时,它会询问我是否要从网上安装包。但是,什么都没有发生,每次它都会询问我是否要安装。我所做的就是去我的 MikTeX 包管理器尝试直接安装它。我选择了“应从互联网安装包”。然后我点击连接设置并单击“使用代理服务器”,但我不知道该输入什么地址。如果有人能帮忙,我将不胜感激。我不太懂技术,所以请尽量减少使用计算机术语/行话。谢谢!
我正在使用 WinEdt,我想安装包 esint。当我编译文档以生成 pdf 时,它会询问我是否要从网上安装包。但是,什么都没有发生,每次它都会询问我是否要安装。我所做的就是去我的 MikTeX 包管理器尝试直接安装它。我选择了“应从互联网安装包”。然后我点击连接设置并单击“使用代理服务器”,但我不知道该输入什么地址。如果有人能帮忙,我将不胜感激。我不太懂技术,所以请尽量减少使用计算机术语/行话。谢谢!