ReasLab 文档

简体中文

English

简体中文

English

Appearance

产品更新

了解 ReasLab 各版本面向用户的新功能、体验改进与问题修复。

v1.0.8

最新版本
上传与协作体验升级
项目协作PDF

新功能

  • PDF 预览支持点击链接：LaTeX 生成的 PDF 中包含的外部链接，现在可以直接在内置预览中点击打开。

改进与修复

  • 文件上传与 ZIP 导入更可靠：项目文件和 ZIP 压缩包采用统一上传流程，提供更清晰的进度反馈、更完善的异常处理，并支持对失败文件重新上传。
  • 多人协作编辑更稳定：修复远程协作者光标显示问题，并增强文档同步稳定性，使多人编辑状态保持准确一致。
  • 超大项目文件处理优化：大型生成数据文件不再被不必要地加入实时协作流程，减少后台处理并提升项目运行稳定性。
  • AI 会话标题更加清晰：优化会话标题自动生成效果，方便快速识别和重新查找历史对话。

v1.0.7

AI 会话更稳定
AI性能稳定性

改进与修复

  • 长对话保存更高效：优化 ReasLingo 会话的保存方式，减少对话增长后不必要的后台处理，提升长时间会话的稳定性。
  • 空闲会话更加安静：会话内容没有变化时不再周期性唤醒，减少不必要的后台活动。

v1.0.6

Git 导入、嵌套 Lean 项目与 IPOPT 体验升级
LeanGit优化建模OCR

新功能

  • 支持嵌套 Lean 项目：ReasLab 现在可以识别位于项目子目录中的 Lean 工作区，并在设置和编辑过程中显示当前工作区根目录。
  • 新增 IPOPT 求解器：优化求解器设置中新增 IPOPT，可与现有求解器集成一起使用。

改进与修复

  • Git 导入和 Lean 设置进度更清晰：重新设计项目导入与设置反馈，可更直观地查看各阶段进度、错误、日志及重试操作。
  • 支持更大的 OCR PDF：提高 OCR 工作流支持的 PDF 文件大小上限，便于直接处理更大的研究文档。
  • 公告与状态信息更加统一：优化通知弹窗、维护信息及 IDE 状态区域，减少视觉干扰并提升信息可读性。
  • Python 输出目录更整洁：Python 任务未生成图片时，不再留下空的 images 目录。

v1.0.5

LaTeX 生成文件、JSON 编辑与协作者管理
LaTeX编辑器协作Lean

新功能

  • 下载 LaTeX 生成文件：现在可以从 IDE 下载 LaTeX 构建过程中生成的文件，方便检查和复用编译产物。
  • JSON 编辑与格式化：JSON 文件新增专用语法支持和格式化能力，工具结果中的 JSON 输出也更加清晰。
  • 移除项目协作者：项目所有者和管理员现在可以直接在项目设置中移除协作者。

改进与修复

  • Lean 设置更可靠：在项目设置过程中，包含转义字符的 Lean 包名现在可以被正确识别和处理。
  • 系统更新提示更清晰：优化系统更新与维护信息的展示，使状态和时间信息更易理解。

v1.0.4

LaTeX 编辑更快，PDF 预览更可靠
LaTeXPDF协作公告

改进与修复

  • PDF 预览及时更新：LaTeX 编译完成后 PDF 预览会正确刷新，包括由 AI Agent 发起的构建。
  • LaTeX 补全响应更快：降低输入过程中的补全延迟，并减少编辑时不必要的预览更新。
  • 多人协作同步更可靠：改进较慢网络或较大协作文档下的同步流程，减少不必要的超时。
  • AI 编辑与实时预览互不干扰：将 Agent 编辑更新与 LaTeX 实时预览流程解耦，提升连续编辑时的稳定性。
  • 公告视图优化：优化系统公告的布局和可读性。

v1.0.3

系统公告与写作体验改进
系统公告LaTeXMarkdownAgent

新功能

  • 应用内系统公告：ReasLab 现在可以在应用内直接展示产品更新、服务通知和维护信息。
  • 支持选择 OptAgent：在支持的线上优化建模工作流中，现在可以选择 OptAgent。

改进与修复

  • LaTeX 辅助更快更稳定：降低补全延迟，并修复多项可能中断写作辅助的 TexLab 问题。
  • Markdown 预览更可靠：外部资源链接不再触发重复刷新，Mermaid 图表也会按预期尺寸显示。
  • 打开 Quokka 时保留当前页面：Quokka 链接现在会在新标签页打开，当前 ReasLab 项目页面不会被替换。

v1.0.2

ReasFlow 上线，PDF 查看更快
ReasFlowPDFPlayground

新功能

  • ReasFlow 论文助手：ReasFlow 正式接入 ReasLab，为研究写作和论文工作流提供 AI 辅助。

改进与修复

  • 长文档 PDF 预览更快：PDF 页面进入可视区域后再进行渲染，减少长文档首次打开时的处理量。
  • 减少重复的 Playground 引导：关闭 Playground 引导后，本次浏览器会话内将保持隐藏。

v1.0.1

LaTeX 工作流与项目可靠性升级
LaTeXPDFLean项目

新功能

  • 更完整的 LaTeX 写作工具：新增专用写作工具栏、构建目标选择、项目级参考文献补全、章节折叠及大纲一键展开和收起。
  • PDF 阅读控制升级：新增适应宽度与原始尺寸切换、稳定的缩放范围、放大后的横向滚动及演示视图。
  • 数学建模 Agent：Math Modeling Agent 现已可用于支持的数学建模工作流。

改进与修复

  • LaTeX 构建更可靠：构建失败信息更加清晰，支持取消构建；Agent 生成编译结果后会自动刷新预览，并在语言服务无响应时更快恢复。
  • 项目分享与协作更安全：加强分享权限检查，并优化协作文档的首次同步。
  • 项目导入导出更顺畅：Git 导入遇到重名时可以修改项目名，Lean 项目通过 ZIP 上传和下载时也会保留项目元数据。

v1.0.0

Agent 模式、性能升级与新产品
性能Agent编辑器Lean新产品

新功能

  • 全新 Agent 模式：面向复杂任务的 Agent 模式可以自主拆解需求、跨文件编辑并在隔离环境中运行命令，同时通过 Activity 面板展示执行过程；用户可随时切回 Editor 模式。
  • 多维上下文引用：在输入框中使用 @ 搜索项目文件或目录，也可以从文件树拖入文件；Agent 与 Editor 模式均支持。
  • LaTeX 智能编译流程：自动选择 LaTeX 编译器，提升使用不同编译引擎项目的构建体验。
  • 新增产品 Quokka：Quokka 可将教材、论文等数学自然语言内容自动拆解、翻译并迭代修复为可编译的 Lean 项目。
  • 新增产品 Arena：OptArena 提供面向优化建模任务的公开多模态大模型评测平台。

改进与修复

  • 性能架构升级：系统架构与会话管理优化带来更快的响应、更好的并发支持，以及更快的历史会话加载。
  • Lean 性能与协作优化：提升 Lean 语言服务响应速度和多人实时协作体验。

v1.0.0-rc.1

预发布
长篇 AI 回复更加流畅
AI性能Markdown

改进与修复

  • 长篇 AI 消息响应更流畅：持续生成的大型 Agent 回复会优先渲染当前可见内容，并避免对已完成内容重复处理。
  • Markdown 数学公式渲染修复：方括号形式的行间公式现在可以正确显示为块级公式。
  • 交互细节修复：优化窄面板中的搜索控件，并修复删除会话弹窗中的交互问题。

preview

预发布
公开预览版
AILean协作IDE

新功能

  • ReasLingo 嵌入式 AI 助手：深度集成 IDE 工作流，支持自定义模型服务、工具调用、代码 Diff、多模态 OCR、Web 搜索、推理强度、用户规则及会话分享。
  • Lean 4 云端形式化环境：提供 Lean 版本切换、包管理、Infoview、语言服务、语义搜索、Mathlib 项目构建及轻量 Playground。
  • 学术文档引擎：支持多种 TeX 引擎、PDF 预览、SyncTeX 跳转、结构化诊断，以及 Markdown 数学公式和代码高亮。
  • Python 与优化建模：提供隔离的 Python 执行环境、高性能包管理、商业求解器集成、执行历史和建模模板。
  • 实时协作与项目管理：支持无冲突多人编辑、协作者状态、项目权限、GitHub 导入、快照、可视化 Diff、回滚和模板管理。