Mercurial Mercurial > wneuper > isa / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
src/Pure/General/markup.scala
changeset 45397 e8a87398f35d
parent 45173 b8f8488704e2
child 45420 5e5e6ad3922c
equal deleted inserted replaced
45396:709e1d671483 45397:e8a87398f35d 
   230 
   230 
   231 
   231 
   232   /* interactive documents */
 
   232   /* interactive documents */
 
   233 
   233 
   234   val VERSION = "version"
 
   234   val VERSION = "version"
 
   235   val EXEC = "exec"
 
       
   236   val ASSIGN = "assign"
 
   235   val ASSIGN = "assign"
 
   237   val EDIT = "edit"
 
       
   238 
   236 
   239 
   237 
   240   /* prover process */
 
   238   /* prover process */
 
   241 
   239 
   242   val PROVER_COMMAND = "prover_command"
 
   240   val PROVER_COMMAND = "prover_command"
wneuper/isa