Giters

meiersi / scyther-proof

A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Update isar-keywords.el

meiersi opened this issue · comments

commented

The switch to Isabelle 2013 implied some changes to the syntax infrastructure. Check that the isar-keywords.el still works and update if necessary.