Lemma 3.2.0

What's new

Asking, redone. Select a passage and press ⌘K: in the VS Code-style window, Ask now opens as an editor widget under the passage, in your theme's colours, the way VS Code's inline chat opens under a line. It shows the passage, your question and the kind of help, then everything sent with it, each item with its checkbox and the cited equations as thumbnails, and finally the assistant and how to send. In the Classic window the popover keeps its size: the passage and the context list are no longer squeezed out of sight.

• Send now or Review first (ChatGPT Web) replace “Ask and save” and “Review in Lemma” in quick questions; Review first prepares the question in Lemma's ChatGPT page for you to check and send.
• The Questions panel lists every question asked since Lemma opened. A failed or cancelled question can be asked again with one click (Ask Again), with the same text and images, to the same note.
• The question names the printed page as well as the PDF's, the book's authors when the PDF knows them, and puts the passage and your notes before the question. Explain asks the assistant to fill in the steps the book leaves out (“it is not hard to show”), and the command-line tools and API keys no longer forbid ordinary mathematics that the pages don't show.

The Assistants window, redrawn to look like the rest of the workbench, in your theme's colours. A title bar holds the Questions and Connections tabs and Continue Reading; the questions are listed on the side bar's colour, each with a spinner, a check or a cross; the selected one shows its state on one line with the next action beside it, then ChatGPT's page from edge to edge, with VS Code's progress line along its top while it answers. Connections lists the six assistants with their icon and whether each is ready, and the Chrome companion's setup in two steps. Prepare your question (Full Draft…) takes the same look. The Classic window keeps its Mac controls.

Fixed.

• A saved explanation scrolls with the trackpad and the mouse wheel: with the pointer over the explanation, the Notes inspector stopped scrolling.
• Explanations and answers take the theme's colours for text, links, code and quotes, and a displayed equation too wide for the inspector is set smaller so that it fits beside its number, which used to cover the end of the equation.
• In a theme whose focus colour is nearly invisible, such as SynthWave '84, the note's kind, its More Actions menu and the notes filter could not be seen: such controls now take the theme's button colour, made readable. The note editor's links and fields use the theme's link and input colours.
• Switching the Assistants window to Connections while ChatGPT was answering showed an empty page.
• ChatGPT Web: macOS's smart quotes changed the question while Lemma typed it (""" became “”"), so Lemma stopped with “The question could not be inserted intact”. The question stayed in ChatGPT, which shows unsent text again in every new chat, so every later question stopped with “The composer already contains a draft”. Lemma now types with substitutions off, replaces an unsent question it prepared itself, keeps any other draft and offers Replace Draft and Ask Again, and keeps the ChatGPT page in view after a failure.
• ChatGPT Web follows ChatGPT's October page: the composer, Send and Stop are found by their structure in any interface language, images go through the multi-file picker rather than the camera's, and Cancel Question stops the answer being written.
• Answers from ChatGPT Web keep their code blocks (one line per line, with the language, ready for the Lab), tables, bold and italic. A reply with code is no longer saved before it is finished.
• An answer that takes more than an hour (a long review, a slow thinking model) is still saved.

Install or update

• From Lemma 3.1: choose Lemma › Check for Updates…: Lemma shows what is new, installs 3.2.0 and relaunches. If you turned on the daily check, it offers the update by itself.
• From Lemma 3.0: download Lemma-3.2.0.dmg below and drag Lemma into Applications, replacing the old one. From then on, Lemma installs its updates itself.
• New to Lemma: download Lemma-3.2.0.dmg, open it and drag Lemma into Applications (macOS 15 or later, Apple silicon or Intel). This build is not notarized by Apple, so the first time macOS says it cannot verify Lemma: click Done, open System Settings › Privacy & Security and click Open Anyway next to Lemma. You only do this once.

SHA-256 of the disk image: 527c7a6324982f6c148587a7067258810a0b06fa635e92fa2360d5fbb697db2f

Everything earlier releases brought is in the changelog.