Mercurial Mercurial > repos > isabelle / comparison
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 34242 5ccdc8bf3849
parent 34214 99eefb83a35d
child 36683 41a1210519fd
equal deleted inserted replaced
34241:8611f1813fc9 34242:5ccdc8bf3849 
   151   val DISPOSED = "disposed"
 
   151   val DISPOSED = "disposed"
 
   152 
   152 
   153 
   153 
   154   /* interactive documents */
 
   154   /* interactive documents */
 
   155 
   155 
       
   156   val ASSIGN = "assign"
 
   156   val EDIT = "edit"
 
   157   val EDIT = "edit"
 
   157 
   158 
   158 
   159 
   159   /* messages */
 
   160   /* messages */
 
   160 
   161
isabelle