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/expose_map_syn/sign.ML.patch
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/Isabelle2024/show_types_nv/attrib.ML.patch
my_better_isabelle_prover/patches/Isabelle2024/show_types_nv/etc-options.patch
my_better_isabelle_prover/patches/Isabelle2024/show_types_nv/printer.ML.patch
my_better_isabelle_prover/patches/Isabelle2024/show_types_nv/syntax_phases.ML.patch
my_better_isabelle_prover/patches/Isabelle2025-2/expose_map_syn/sign.ML.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
my_better_isabelle_prover/patches/Isabelle2025-2/show_types_nv/attrib.ML.patch
my_better_isabelle_prover/patches/Isabelle2025-2/show_types_nv/etc-options.patch
my_better_isabelle_prover/patches/Isabelle2025-2/show_types_nv/printer.ML.patch
my_better_isabelle_prover/patches/Isabelle2025-2/show_types_nv/syntax_phases.ML.patch