[isabelle-dev] NEWS: improved "isabelle update_keywords"

Makarius 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 mailing list