src/Pure/Tools/check_keywords.scala
2015-04-01 wenzelm 2015-04-01 added isabelle build option -k, for fast off-line checking of theory sources;