ReasLab Documentation

English

简体中文

English

简体中文

Appearance

Product Updates

See the user-facing features, improvements, and fixes included in each ReasLab release.

v1.0.8

Latest
More reliable uploads and collaboration
ProjectsCollaborationPDF

New Features

  • Clickable links in PDF previews: External links embedded in LaTeX-generated PDFs can now be opened directly from the built-in preview.

Improvements & Fixes

  • More resilient file uploads and ZIP imports: Project files and ZIP archives now use a unified upload flow with clearer progress, stronger error handling, and retry support for failed files.
  • More reliable collaborative editing: Fixed remote collaborator cursors and strengthened document synchronization so shared editing state remains accurate across participants.
  • Better handling of very large project files: Large generated data files no longer enter the real-time collaboration pipeline unnecessarily, reducing background work and improving project stability.
  • Clearer AI session titles: Improved automatic conversation title generation so sessions are easier to recognize and revisit.

v1.0.7

More reliable AI sessions
AIPerformanceReliability

Improvements & Fixes

  • More efficient long conversations: Optimized how ReasLingo conversations are saved, reducing redundant background work as sessions grow and improving the reliability of long-running chats.
  • Quieter idle sessions: Idle conversations no longer wake periodically when nothing has changed, reducing unnecessary background activity.

v1.0.6

Smoother imports, nested Lean projects, and IPOPT
LeanGitOptimizationOCR

New Features

  • Nested Lean project support: ReasLab can now detect and open a Lean workspace located in a project subdirectory, with the active workspace root shown during setup and editing.
  • IPOPT solver: IPOPT is now available in the optimization solver settings alongside the existing solver integrations.

Improvements & Fixes

  • Clearer Git import and Lean setup progress: Redesigned project import and setup feedback makes each stage easier to follow, with clearer progress, errors, logs, and retry actions.
  • Larger PDF inputs for OCR: Raised the supported PDF size limit for OCR workflows so larger research documents can be processed directly.
  • Cleaner announcements and status information: Refined notification dialogs, maintenance messages, and the IDE status area for a more consistent experience.
  • Cleaner Python outputs: Python execution no longer leaves an empty images directory when a task does not generate images.

v1.0.5

Generated LaTeX files, JSON editing, and collaborator controls
LaTeXEditorCollaborationLean

New Features

  • Download generated LaTeX files: Files produced during LaTeX builds can now be downloaded from the IDE, making it easier to inspect and reuse generated artifacts.
  • JSON editing and formatting: JSON files now have dedicated syntax support and formatting, with clearer JSON output in tool results.
  • Remove project collaborators: Project owners and administrators can remove collaborators directly from project settings.

Improvements & Fixes

  • More reliable Lean setup: Lean packages whose names contain escaped characters are now normalized correctly during project setup.
  • Clearer system update notices: Improved the presentation of system update and maintenance messages so their status and timing are easier to understand.

v1.0.4

Faster LaTeX editing and more reliable previews
LaTeXPDFCollaborationAnnouncements

Improvements & Fixes

  • PDF previews stay current: The PDF preview now refreshes correctly after compilation, including builds initiated by an AI agent.
  • More responsive LaTeX completion: Reduced completion latency while typing and avoided unnecessary preview updates during editing.
  • More reliable collaborative sync: Improved document synchronization for slower or larger collaborative sessions to reduce avoidable timeouts.
  • Less interference between AI editing and live preview: Separated agent-driven editor updates from the LaTeX live-preview lifecycle for a steadier editing experience.
  • Refined announcement view: Improved the layout and readability of in-product announcements.

v1.0.3

System announcements and smoother authoring
AnnouncementsLaTeXMarkdownAgent

New Features

  • In-product system announcements: ReasLab can now present product updates, service notices, and maintenance information directly in the application.
  • OptAgent availability: OptAgent can now be selected for supported production optimization workflows.

Improvements & Fixes

  • Faster and more stable LaTeX assistance: Reduced completion latency and fixed several TexLab issues that could interrupt authoring assistance.
  • More reliable Markdown previews: External asset links no longer trigger a reload loop, and Mermaid diagrams render at their intended size.
  • Quokka opens without leaving ReasLab: Quokka navigation now opens in a new tab so the current ReasLab project page remains available.

v1.0.2

ReasFlow and faster PDF viewing
ReasFlowPDFPlayground

New Features

  • ReasFlow paper copilot: ReasFlow is now available in ReasLab for AI-assisted research writing and paper workflows.

Improvements & Fixes

  • Faster large-document PDF previews: PDF pages are rendered as they enter view, reducing initial load work for longer documents.
  • Less repetitive Playground guidance: Dismissing the Playground introduction now keeps it hidden for the current browser session.

v1.0.1

A stronger LaTeX workflow and more dependable projects
LaTeXPDFLeanProjects

New Features

  • Expanded LaTeX authoring tools: Added a dedicated authoring toolbar, build-target selection, project-wide bibliography completion, foldable sections, and outline expand/collapse controls.
  • Improved PDF reading controls: Added fit-width and actual-size switching, safer zoom limits, horizontal scrolling for zoomed pages, and a presentation view.
  • Math Modeling Agent: The Math Modeling Agent is now available for supported modeling workflows.

Improvements & Fixes

  • More reliable LaTeX builds: Builds now provide clearer failure details, support cancellation, refresh previews after agent-generated output, and recover more gracefully when language services become unresponsive.
  • Safer project sharing and collaboration: Strengthened sharing permission checks and improved initial synchronization for collaborative documents.
  • Smoother project import and export: Git imports can be renamed when a project name is already taken, and Lean project metadata is preserved in ZIP uploads and downloads.

v1.0.0

Agent mode, performance upgrades, and new products
PerformanceAgentEditorLeanNew Products

New Features

  • Brand-new Agent mode: Introduces Agent mode for complex tasks. AI can break down requirements, edit across files, run commands in an isolated environment, and show its progress through the Activity panel. You can switch back to Editor mode at any time.
  • Multi-dimensional context references: Use @ in the input box to search for project files or directories, or drag files from the file tree into the conversation in both Agent and Editor modes.
  • LaTeX intelligent compile flow: Automatic LaTeX compiler selection improves compilation for projects that use different engines.
  • New product: Quokka: Quokka converts mathematical textbooks, papers, and other natural-language material into compilable Lean projects through automatic decomposition, translation, and iterative repair.
  • New product: Arena: OptArena provides a public benchmark platform for evaluating multimodal language models on optimization modeling tasks.

Improvements & Fixes

  • Performance architecture upgrade: System architecture and session management improvements deliver faster responses, better support for concurrent use, and quicker loading of conversation history.
  • Lean performance and collaboration: Improved Lean language-server responsiveness and the real-time multi-user editing experience.

v1.0.0-rc.1

Pre-release
Smoother long AI responses
AIPerformanceMarkdown

Improvements & Fixes

  • More responsive long AI messages: Large and continuously streaming agent responses now remain smoother by rendering only the content currently in view and avoiding repeated work for completed blocks.
  • Improved Markdown math rendering: Bracketed display-math syntax is now rendered correctly as a block formula.
  • Small interaction fixes: Improved narrow-panel search controls and preserved interactions in the conversation deletion dialog.

preview

Pre-release
Public Preview
AILeanCollaborationIDE

New Features

  • ReasLingo embedded AI assistant: An AI assistant integrated into the IDE workflow, with custom providers, tool calls, code diff review, multimodal OCR, web search, reasoning controls, user rules, and shareable sessions.
  • Lean 4 cloud formal proof environment: A ready-to-use Lean 4 environment with version switching, package management, Infoview, language services, semantic search, Mathlib project builds, and a lightweight Playground.
  • Academic document engine: LaTeX and Markdown authoring with multiple TeX engines, PDF preview, SyncTeX navigation, structured diagnostics, mathematical typesetting, and syntax highlighting.
  • Python and optimization modeling: Isolated Python execution, fast package management, integrated commercial solvers, execution history, and modeling templates.
  • Real-time collaboration and project management: Conflict-free collaborative editing, collaborator presence, project permissions, GitHub import, snapshots, visual diffs, rollback, and reusable templates.