Skip to content

Merge branch 'main' into fix/isabelle-prose-fp-43

73114be
Select commit
Loading
Failed to load commit list.
Merged

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

Merge branch 'main' into fix/isabelle-prose-fp-43
73114be
Select commit
Loading
Failed to load commit list.