[isabelle-dev] NEWS: improved "isabelle update_keywords"
makarius at sketis.net
Tue Jun 25 13:04:23 CEST 2013
In Isabelle/d3c5195b7399 both the basic "isabelle keywords" and the
administrative "isabelle update_keywords" now use standard operations from
This avoids building sessions first, so it is apt to save a lot of time
whenever the Isar command language is changed somewhere in the theories.
(It was an interesting / surreal experience to port some old perl script
that generates legacy elisp sources to Scala, but it worked out quite well
in the end).
More information about the isabelle-dev