changeset 34359 | e4ca265c9c8b |
parent 34330 | 0b846b3ccc32 |
child 34370 | e0679b361a0e |
--- a/src/Tools/jEdit/src/prover/Prover.scala Wed Nov 05 16:28:56 2008 +0100 +++ b/src/Tools/jEdit/src/prover/Prover.scala Thu Nov 06 18:19:56 2008 +0100 @@ -64,7 +64,7 @@ case Elem("keyword_decl", List(("name", keyw)), _) => () //TODO: with these keywords simplify the token-regex in ProofDocument case _ => - //TODO + //TODO: can there be other decls? if (st != null) handleResult(st, r, tree) })