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/General/markup.scala
changeset 38259 2b61c5e27399
parent 38236 d8c7be27e01d
child 38355 8cb265fb12fe 
--- a/src/Pure/General/markup.scala	Tue Aug 10 12:09:53 2010 +0200
+++ b/src/Pure/General/markup.scala	Tue Aug 10 12:29:11 2010 +0200
@@ -203,6 +203,7 @@
   val ERROR = "error"
   val DEBUG = "debug"
   val SYSTEM = "system"
+  val INPUT = "input"
   val STDIN = "stdin"
   val STDOUT = "stdout"
   val SIGNAL = "signal"
isabelle