| Tue, 25 Jun 2013 11:26:15 +0200 | wenzelm | misc tuning and clarification; | file | diff | annotate |
| Mon, 24 Jun 2013 23:33:14 +0200 | wenzelm | improved "isabelle keywords" and "isabelle update_keywords" based on Isabelle/Scala, without requiring to build sessions first; | file | diff | annotate |