clearer code structure
do not recreate step
tuning
refactoring for clarity
refactoring for clarity
extract Command => ProofEntry conversion
extracted GoalStep conversion method
use extractor object to clarify intent
split ProofEntryData into ParsedProof and ParseEntries
extracted processProof into a separate method
refactored: extracted methods to clarify the algorithm
Merge branch 'isabelle-proof-reader'