LICENSE
README.md
pyproject.toml
my_better_isabelle_prover/AGENTS.md
my_better_isabelle_prover/__init__.py
my_better_isabelle_prover/__main__.py
my_better_isabelle_prover/cli.py
my_better_isabelle_prover/isabelle.py
my_better_isabelle_prover/patcher.py
my_better_isabelle_prover.egg-info/PKG-INFO
my_better_isabelle_prover.egg-info/SOURCES.txt
my_better_isabelle_prover.egg-info/dependency_links.txt
my_better_isabelle_prover.egg-info/entry_points.txt
my_better_isabelle_prover.egg-info/top_level.txt
my_better_isabelle_prover/patches/__init__.py
my_better_isabelle_prover/patches/Isabelle2024/perspective_eof_clamp/vscode_model.scala.patch
my_better_isabelle_prover/patches/Isabelle2024/pide_control/execution.ML.patch
my_better_isabelle_prover/patches/Isabelle2024/pide_control/language_server.scala.patch
my_better_isabelle_prover/patches/Isabelle2024/pide_control/lsp.scala.patch
my_better_isabelle_prover/patches/Isabelle2024/pide_control/protocol.ML.patch
my_better_isabelle_prover/patches/Isabelle2024/pide_control/protocol.scala.patch
my_better_isabelle_prover/patches/Isabelle2025-2/perspective_eof_clamp/vscode_model.scala.patch
my_better_isabelle_prover/patches/Isabelle2025-2/pide_control/execution.ML.patch
my_better_isabelle_prover/patches/Isabelle2025-2/pide_control/language_server.scala.patch
my_better_isabelle_prover/patches/Isabelle2025-2/pide_control/lsp.scala.patch
my_better_isabelle_prover/patches/Isabelle2025-2/pide_control/protocol.ML.patch
my_better_isabelle_prover/patches/Isabelle2025-2/pide_control/protocol.scala.patch
my_better_isabelle_prover/patches/Isabelle2025-2/register_thy/thy_info.ML.patch