Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/PIDE/markup.scala
changeset 70665 94442fce40a5
parent 70499 f389019024ce
child 70780 034742453594 
--- a/src/Pure/PIDE/markup.scala	Fri Sep 06 18:59:24 2019 +0200
+++ b/src/Pure/PIDE/markup.scala	Fri Sep 06 19:44:54 2019 +0200
@@ -553,6 +553,7 @@
   val COMMAND_TIMING: Properties.Entry = (FUNCTION, "command_timing")
   val THEORY_TIMING: Properties.Entry = (FUNCTION, "theory_timing")
 
+  val Commands_Accepted: Properties.T = List((FUNCTION, "commands_accepted"))
   val Assign_Update: Properties.T = List((FUNCTION, "assign_update"))
   val Removed_Versions: Properties.T = List((FUNCTION, "removed_versions"))
isabelle