changeset 53371 | 47b23c582127 |
parent 52442 | d3c5195b7399 |
child 53447 | 3d8dfddefe84 |
--- a/src/Pure/Tools/keywords.scala Mon Sep 02 11:03:02 2013 +0200 +++ b/src/Pure/Tools/keywords.scala Mon Sep 02 16:10:26 2013 +0200 @@ -38,6 +38,7 @@ "prf_decl" -> "proof-decl", "prf_asm" -> "proof-asm", "prf_asm_goal" -> "proof-asm-goal", + "prf_asm_goal_script" -> "proof-asm-goal", "prf_script" -> "proof-script" ).withDefault((s: String) => s)