ProgTutorial/Package/simple-keyword/isar-keywords-simple.el
2009-03-24 Christian Urban added a keyword file, but needs to re-generated whenever something changes with keywords in Isabelle
less more (0) tip