fix(assail): PA021 Isabelle detector skips prose blocks + antiquotations (closes #43)#49

hyperpolymath merged 2 commits into

mainhyperpolymath/panic-attack:mainfrom

fix/isabelle-prose-fp-43hyperpolymath/panic-attack:fix/isabelle-prose-fp-43Copy head branch name to clipboard