The Isabelle API right now only returns the original text when wired through Isabelle.prove_theory and IsabelleClient.Result.messages. Every other call site silently drops raw: true, but should respect that and return the original output text. The technicalities resolved by Result.messages should also be hidden from the user and just the text returned.
The Isabelle API right now only returns the original text when wired through Isabelle.prove_theory and IsabelleClient.Result.messages. Every other call site silently drops raw: true, but should respect that and return the original output text. The technicalities resolved by Result.messages should also be hidden from the user and just the text returned.