Typos in error messages (Isabelle backend)

isabelle-prover / proving-contest-backends

"proving-contest"-backends for several theorem provers

MIT License

12 stars 5 forks source link

Open wimmers opened 5 years ago

wimmers commented 5 years ago

Some error strings contain typos:

"An error occured while processing checking the Theories" -> "An error occurred while checking the theories"